WITHOUT GROUP — PROGRAM
Days: Monday, 20 July 2026 Wednesday, 22 July 2026 Sunday, 26 July 2026 Tuesday, 28 July 2026
Monday, 20 July 2026
09:00-10:00
Keynote: Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence
Location:
Grande Auditório
| 09:00-10:00 |
Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence (abstract) 60 min
|
18:00-20:00
Reception
Location:
Pala do Pavilhão de Portugal
Wednesday, 22 July 2026
09:00-10:00
Keynote: Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI
Location:
Grande Auditório
| 09:00-10:00 |
Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI (abstract) 60 min
|
19:00-23:00
Banquet
Location:
Praça de Touros do Campo Pequeno
Sunday, 26 July 2026
09:00-10:00
Keynote: The Lean Theorem Prover: Design, Evolution, and Impact
Location:
Grande Auditório
| 09:00-10:00 |
The Lean Theorem Prover: Design, Evolution, and Impact (abstract) 60 min
|
18:00-20:00
Reception
Location:
Pátio da Galé
Tuesday, 28 July 2026
09:00-10:00
Keynote: Trustworthy Neuro-Symbolic Programming with Informal Specifications
Location:
Grande Auditório
| 09:00-10:00 |
Trustworthy Neuro-Symbolic Programming with Informal Specifications (abstract) 60 min
|
19:00-23:00
Banquet
Location:
Pavilhão Carlos Lopes