PROGRAM AUTHORS Search

ACV | ADU | AIMACS | AR4Space | ARQNL | ASPOCP | CARLA | CAV | CI-BD-SOQE | CMSB | CompBench | CP | CPSATDP | CREST | CSF | DefDesKR | DIALOCO | DL | DPSOLVE | ELASP | EULP | FCS | FLoC | FMQC | FORCE | FSCD | GALOP | GOE | HCVS | HYPER | ICLP-DC-SS | ICLP | IFIP16 | IJCAR | Isabelle | ITP | ITRS | IWC | JoeFest | KR | LAMAS-SR | LCC | Lean | LFMTP | LICS | LINDA | LLM-Solve | LLM4R | LOGICNN | LPOP | LSFA | MartaFest | MC | ML4SP | ModRef | MoST | MSFP | MW1 | MW2 | NMR | OVERLAY | PAAR | PC | PCCR | PEG | PERR | PIPs | PoS | QBF | RajeevFest | RCRA | RocqWS | SAIV | SAT | SD | SKILLED-LLMs | SmP | SMT | Soft | ST4DM | SteamingNeSy | SYNT | TEAL | TERMGRAPH | TGD | ThEdu | THEMA | TLLA | TPTPTP | UNIF | Vampire | VeriProP | WHOOPS | WiL | WPTE | WST | XLoKR-ExCoS | Full Program

Giuseppe De Giacomo Affiliation: University of Oxford Affiliation: University of Oxford & Sapienza Università di Roma Affiliation: University of Oxford, UK Talks (OVERLAY) A Formal Framework for Strategic Reasoning in Agentic Business Process Management · Multi-agent systems (LAMAS-SR) Symbolic Synthesis for LTLf+ Obligations · Session I (FLoC) Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence · Keynote: Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence (CP) Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence · Keynote: Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence (ICLP) Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence · Keynote: Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence (FSCD) Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence · Keynote: Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence (KR) Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence · Keynote: Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence (LICS) Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence · Keynote: Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence (SAT) Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence · Keynote: Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence (KR) Specifying Agent Strategy Spaces via LTL Synthesis · Reasoning on actions (KR) Synthesis Foundations for Online LTLf Goal Management · Planning (CAV) Fast Obligation Translation and Synthesis (Distinguished Paper) · Synthesis Pages in this Program Program Program on Saturday, 18 July 2026 OVERLAY on Saturday, 18 July 2026 OVERLAY Program Program on Sunday, 19 July 2026 LAMAS-SR on Sunday, 19 July 2026 LAMAS-SR Program Program on Monday, 20 July 2026 FLoC on Monday, 20 July 2026 FLoC Program CP on Monday, 20 July 2026 CP Program ICLP on Monday, 20 July 2026 ICLP Program FSCD on Monday, 20 July 2026 FSCD Program KR on Monday, 20 July 2026 KR Program LICS on Monday, 20 July 2026 LICS Program SAT on Monday, 20 July 2026 SAT Program Program on Tuesday, 21 July 2026 KR on Tuesday, 21 July 2026 Program on Sunday, 26 July 2026 CAV on Sunday, 26 July 2026 CAV Program

Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time: