Portugal10 days
FLoC 2026: The 9th Federated Logic Conference
Mathematics and Statistics Conference
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
Abu Dhabi, Abu Dhabi6
Post-Doctoral Associate in the Division of Science (Mathematics) - Dr. Mostafa Sabri
New York University, Abu Dhabi
Abu Dhabi, Abu Dhabi3
Post-Doctoral Associate in the Division of Science, Mathematics
New York University, Abu Dhabi
Milano, Lombardia3
Public Selection for the Recruitment of no. 1 Post-doctoral Appointee
Università degli Studi di Milano-Bicocca
Knoxville, Tennessee0
Adjunct Instructor - Mathematics and/or Statistics
Pellissippi State Community College