- van 2026-07-13 tot 2026-07-29
De Federated Logic Conference (FLoC) is het grootste internationale wetenschappelijke evenement op het gebied van mathematische logica en toepassingen in informatica. FLoC wordt eens per vier jaar gehouden en verenigt tien toonaangevende internationale conferenties op het gebied van logica in de informatica, met meer dan 2.000 deelnemers, aangevuld met 86 workshops en een zomerschool (FoPSS).
Het vierjaarlijkse kruispunt van logica en informatica
De Federated Logic Conference (FLoC) is het overkoepelende evenement dat eens per vier jaar tien vooraanstaande internationale conferenties op het gebied van logica in de informatica samenbrengt op één locatie. Deelnemende conferenties omvatten onder meer CAV (Computer Aided Verification), LICS (Logic in Computer Science), SAT (Satisfiability Testing), KR (Knowledge Representation), ITP (Interactive Theorem Proving), ICLP (Logic Programming), IJCAR (Automated Reasoning) en CSF (IEEE Computer Security Foundations). Vorige edities vonden plaats in Haifa (2022) en Oxford (2018).
Programma
Het volledige FLoC 2026-programma omvat een voorbereidende FoPSS Summer School (13–17 juli), twee workshopblokken (18–19 en 24–25 juli) en twee weken conferenties (20–23 en 26–29 juli). In totaal zijn er 86 workshops aangenomen, naast de tien hoofdconferenties.
Voor wie is FLoC 2026?
Het evenement richt zich op wetenschappers, onderzoekers en studenten actief in theoretische informatica, formele methoden, verificatie, kunstmatige intelligentie, cybersecurity en aanverwante vakgebieden.