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
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
Teaching Fellow in Applied Mathematics / Natural Sciences: AY 25-26, Includes Summer 2025 (Anticipated)
Campus Within Walls Adjunct Faculty - Mathematics
Professor in Mathematics or Statistics
Assistant Professor
Assistant/Associate Professor in Abstract Mathematics
Instructor, Mathematics
Faculty Position in Actuarial Science
AI4X Postdoctoral Fellowship
Chair Professor/Professor/Associate Professor/Assistant Professor in the Department of Mathematics [Ref. A/578/09]
![Chair Professor/Professor/Associate Professor/Assistant Professor in the Department of Mathematics [Ref. A/578/09]](/_next/image?url=https%3A%2F%2Facademicjobs.s3.amazonaws.com%2Fimg%2Funiversity-logo%2FCity%20University%20of%20Hong%20Kong%20logo.jpg&w=128&q=75)
Chair Professor/Professor/Associate Professor/Assistant Professor (Biostatistics) in the Department of Biostatistics [Ref. A/496/09]
Related Conferences in Mathematics
THE 2026 GAINESVILLE INTERNATIONAL NUMBER THEORY CONFERENCE (ALLADI70)
–
Gainesville, FL, United States
