Portugal10 days
FLoC 2026: The 9th Federated Logic Conference
The Federated Logic Conference (FLoC) brings together the world's leading researchers in logic and computer science.
About This Event
The Federated Logic Conference (FLoC) brings together the world's leading researchers in logic and computer science.
Featuring summer schools, workshops, and main conferences including CP, FSCD, ICLP, KR, LICS, SAT, CAV, CSF, IJCAR, ITP.
Topics & Focus Areas
Logic in Computer ScienceAutomated ReasoningConstraint ProgrammingKnowledge RepresentationVerificationTheorem Proving
Official Conference Website
Visit the official website of FLoC 2026: The 9th Federated Logic Conference for registration details, submission deadlines, and the full programme.
Related Conferences in Mathematics
Fifty-seventh Southeastern International Conference on Combinatorics, Graph Theory, and Computing
–
Boca Raton, FL, United States
THE 2026 GAINESVILLE INTERNATIONAL NUMBER THEORY CONFERENCE (ALLADI70)
–
Gainesville, FL, United States