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 | IMLA | 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

Yves Lesperance Affiliation: York University Talks (SKILLED-LLMs) Toward a Requirements-Driven Neuro-Symbolic Approach to Developing Trustworthy AI Agents Systems · Session 2: Neuro-Symbolic Integration: Logic, Belief, and Agent Design (LAMAS-SR) Subjective Reasoning About Ability Under Cooperativeness Assumptions · Session IV (KR) Session Chair — Reasoning on actions (KR) Synthesis Foundations for Online LTLf Goal Management · Planning (THEMA) An Incremental Method for Synthesizing Action Theory Abstractions · Session 1 Pages in this Program Program Program on Saturday, 18 July 2026 SKILLED-LLMs on Saturday, 18 July 2026 SKILLED-LLMs Program Program on Sunday, 19 July 2026 LAMAS-SR on Sunday, 19 July 2026 LAMAS-SR Program Program on Monday, 20 July 2026 KR on Monday, 20 July 2026 KR Program Program on Tuesday, 21 July 2026 KR on Tuesday, 21 July 2026 Program on Friday, 24 July 2026 THEMA on Friday, 24 July 2026 THEMA Program

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