Events

13th July

08h00 - 18h00

CONFERENCES

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

ADD TO CALENDAR ›

UPCOMING EVENTS

  • Ellis Symposium banner
    08h00 July

    ELLIS Doctoral Symposium 2026: Trustworthy AI

    The ELLIS Doctoral Symposium 2026 will take place from July 27–30 at Instituto Superior Técnico, in Lisbon, under the theme Trustworthy AI. The event is organised by ELLIS Unit Lisbon, which includes Instituto Superior Técnico (IST), INESC-ID, the Institute for Systems and Robotics (ISR-Lisboa), and Instituto de Telecomunicações. The symposium brings together PhD students, researchers, […]

  • 08h00 November

    41st Conference on Design of Circuits and Integrated Systems DCIS 2026

    The conference on Design of Circuits and Integrated Systems (DCIS) is a well-established international meeting that provides opportunities to both researchers in the academia and professionals of industry to exchange new ideas and application experiences in the highly active fields of micro-and nano-electronic circuits and integrated systems. The 41st edition of the conference is organised […]

Stay close to the research, people, and stories that make INESC-ID.