The 2026 edition of the Federated Logic Conference (FLoC) came to a close in Lisbon on 29 July, following two weeks that brought together over 2100 participants from 70 countries across ten conferences, 86 workshops, and two summer schools. Co-organised by Instituto Superior Técnico and INESC-ID, this was the first time FLoC has been held in Portugal, and the ninth edition of the conference since its founding in 1996.

Held at ISCTE, FLoC unites the world’s leading international conferences in logic and its applications in computer science, including CAV, CP, CSF, FSCD, ICLP, IJCAR, ITP, KR, LICS, and SAT, alongside dozens of affiliated workshops, tutorials and competitions spanning topics from automated reasoning to AI verification.

“FLoC brings together ten conferences that usually happen separately,” said Nuno Lopes. “Putting them all under one roof lets people exchange ideas with adjacent fields, and lets students grasp the sheer scale of the area.”

The programme’s keynote speakers included Giuseppe De Giacomo (University of Oxford), Alessandra Russo (Imperial College London), Leonardo de Moura (AWS and Lean FRO), and Işıl Dillig (University of Texas at Austin).

General Chair Rajeev Alur (University of Pennsylvania)  and and Alexandra Silva (Cornell University) led the conference’s organisation alongside a strong INESC-ID presence: Nuno Lopes served as Organisation Chair, José Fragoso Santos as Volunteers Chair, and Alessandro Gianola as Workshops Co-Chair. Among the conference chairs, also INESC-ID researchers, Inês Lynce chaired CP; Vasco Manquinho chaired SAT; Bernardo Toninho chaired LICS; Luís Caires chaired FoPSS, and João F. Ferreira, of the University of Porto, chaired ITP.

Looking back on the effort behind the event, Nuno Lopes described it as “the culmination of almost four years of work, from the initial bid through to closing the doors on the last day. We had around 2,100 participants, and we broke the record: the previous one belonged to Oxford, in 2018.” 

Learn more about the full programme, speakers, and organisers, at the FLoC 2026 website.

—
© 2026 INESC-ID. When sharing or adapting this article, credit INESC-ID with a link to the original source.
Images: Caterina Urban (Inria) | FLoC 2026