FLoC 2026: The 9th Federated Logic Conference

About this event

FLoC 2026 (the 9th Federated Logic Conference) is a major federated conference bringing together the logic and computer science communities. The event emphasizes logic as a foundational framework and tool for modeling in computer science, with connections to areas including artificial intelligence, computational complexity, distributed computing, databases, hardware design, programming languages, and software engineering. The programme spans summer schools, multiple workshops (including mentoring workshops), and two main conference weeks hosting several co-located conferences such as CAV, CSF, IJCAR, ITP, LICS, SAT, CP, FSCD, ICLP, and KR. The page also lists keynote speakers and their talk titles/dates, and notes that registration is open with early-bird rates ending on 15 May.