BEGIN:VCALENDAR
VERSION:2.0
METHOD:PUBLISH
CALSCALE:GREGORIAN
PRODID:-//WordPress - MECv6.2.0//EN
X-ORIGINAL-URL:https://www.inesc-id.pt/
X-WR-CALNAME:INESC-ID
X-WR-CALDESC:25 Years Defining Technology
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-PUBLISHED-TTL:PT1H
X-MS-OLK-FORCEINSPECTOROPEN:TRUE
BEGIN:VEVENT
CLASS:PUBLIC
UID:MEC-ea9f6bbe0b86ae4c80610e31aacb8358@inesc-id.pt
DTSTART:20260713T070000Z
DTEND:20260729T170000Z
DTSTAMP:20260408T102300Z
CREATED:20260408
LAST-MODIFIED:20260408
PRIORITY:5
TRANSP:OPAQUE
SUMMARY:Federated Logic Conference – FLoC’26
DESCRIPTION: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.\nDates\nSummer school: 13-17 July\nConferences: 20-23 and 26-29 July\nWorkshops: 18-19 and 24-25 July\nLocation: ISCTE, Lisbon\nMore info and registration here ( https://www.floc26.org/ )\n
URL:https://www.inesc-id.pt/events/federated-logic-conference-floc26/
CATEGORIES:Conference,Events
ATTACH;FMTTYPE=:https://www.inesc-id.pt/wp-content/uploads/2026/04/floc2026-scaled.webp
END:VEVENT
END:VCALENDAR