Portugal4 days
Forty-First Annual ACM/IEEE Symposium on Logic in Computer Science
Annual international forum on logic in computer science, part of FLoC 2026.
About This Event
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.