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 Jobs -
View All JobsEssential
Essential
EssentialEssential
EssentialEssential
Essential
Essential
Essential
Essential
Professor, Mathematics (Temporary)
Lecturer or Senior Lecturer in Data Science
Professor [Open Rank]
Assistant Professor of Mathematical Sciences
Assistant Professor of Mathematical Sciences
Lecturer - Pure Mathematics
Senior Lecturer/Lecturer in Mathematics Education
Research Assistant Professor in Optimization and Operations Research / Statistics and Data Science / Financial Mathematics / Engineering and Computational Mathematics / Mathematical Science (several posts)
Teaching Assistant (Quantitative Reasoning with Data)
Postdoctoral Associate in Mathematical Analysis and Partial Differential Equations (PDEs)
Related Conferences in Mathematics
The 9th International Conference on Computational Harmonic Analysis 2026
–
Nashville, TN, United States
