FLOC — PROGRAM

Days: Monday, 20 July 2026 Wednesday, 22 July 2026 Sunday, 26 July 2026 Tuesday, 28 July 2026

Monday, 20 July 2026
08:45-10:00 Keynote: Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence FLoC
Location: Grande Auditório
08:45-09:45
Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence (abstract) 60 min
Giuseppe De Giacomo
18:00-20:00 Reception FLoC
Location: Pala do Pavilhão de Portugal
Wednesday, 22 July 2026
08:45-10:00 Keynote: Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI FLoC
Location: Grande Auditório
08:45-09:45
Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI (abstract) 60 min
Alessandra Russo
19:00-23:00 Banquet FLoC
Location: Praça de Touros do Campo Pequeno
Sunday, 26 July 2026
08:45-10:00 Keynote: The Lean Theorem Prover: Design, Evolution, and Impact FLoC
Location: Grande Auditório
08:45-09:45
The Lean Theorem Prover: Design, Evolution, and Impact (abstract) 60 min
Leonardo de Moura
18:00-20:00 Reception FLoC
Location: Pátio da Galé
Tuesday, 28 July 2026
08:45-10:00 Keynote: Trustworthy Neuro-Symbolic Programming with Informal Specifications FLoC
Location: Grande Auditório
08:45-09:45
Trustworthy Neuro-Symbolic Programming with Informal Specifications (abstract) 60 min
Işıl Dillig
19:00-23:00 Banquet FLoC
Location: Pavilhão Carlos Lopes
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑