Federated Logic Conference – FLoC’26
The Federated Logic Conference (FLoC) brings together the world’s leading researchers in mathematical logic and its applications in computer science, every four years since 1996. The conference is focused on the crucial role that “the calculus of computer science” plays in diverse areas such as artificial intelligence, computational complexity, distributed computing, database systems, hardware design, programming languages, and software engineering. The 2026 edition, organised by Instituto Superior Técnico and INESC-ID, is set to take place in Lisbon, Portugal, highlighting the nation’s growing role as a hub for academic and technological excellence in computer science and logic research.
Dates
Summer school: 13-17 July
Conferences: 20-23 and 26-29 July
Workshops: 18-19 and 24-25 July
Location: ISCTE, Lisbon
More info and registration here
About INESC-ID
INESC-ID, “Instituto de Engenharia de Sistemas e Computadores: Investigação e Desenvolvimento em Lisboa” is a Research and Development and Innovation Organization (R&D+i) in the fields of Computer Science and Electrical and Computer Engineering. INESC-ID mission is to produce added value to people and society, supporting the response of public policies to scientific, health, environmental, cultural, social, economic and political challenges. INESC-ID promotes cooperation between academia and industry by addressing research on daily life issues, such as healthcare, space, mobility, agri-food, industry 4.0, and smart grids. This high level of knowledge transfer is achieved through both competitive research projects and direct contracted research. Public and private entities have therefore access to a pool of knowledge, resources and services provided through the unique competencies available at the institution.
INESC-ID is supported by:
