Annual international forum on logic in computer science, part of FLoC 2026.
Topics & Focus Areas
Logic in computer scienceAutomated deductionComputational logicLogic and computationLogical foundations of programming
Official Conference Website
Visit the official website of Forty-First Annual ACM/IEEE Symposium on Logic in Computer Science for registration details, submission deadlines, and the full programme.
Related Jobs -
View All JobsEssential
EssentialEssential
Essential.jpg&w=128&q=75)
Essential
Essential
Essential.png&w=128&q=75)
Essential
Essential
Essential.png&w=128&q=75)
Associate and Full Professor in the Knight Foundation School of Computer and Information Sciences
Non-tenure track, Open-Rank, Teaching Faculty in Computer and Information Sciences
The Donald R. Beall Defense Fellowship Program
VE Teacher in ICT - Cybersecurity and Networking
Faculty - Information Technology
Open-rank, tenured, or tenure-track faculty positions at the School of Computing and Data Sciences
Computer Information Science Faculty
Research Staff - Human-in-the-Loop AI Perception System for Autonomous Vehicles
Assistant Professor - Computer Science
Lecturer in Informatics
Related Conferences in Computer Science
EUROGRAPHICS 2026 - 47th Annual Conference of the European Association for Computer Graphics
–
Aachen, Germany
2026 ACM SIGGRAPH Symposium on Interactive 3D Graphics and Games (I3D 2026)
–
San Francisco, CA, USA
