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

Nico Potyka Affiliation: Cardiff University Talks (NMR) Session Chair — Leila Amgoud (NMR) Session Chair — Tommie Meyer (DL) Session Chair — Invited Speaker: Tommie Meyer (CARLA) Overview on LLMs for Reasoning and Reasoning for LLMs · CARLA Workshop - II Sessions (KR) Contestability in Edge-Weighted Quantitative Bipolar Argumentation Frameworks · Argumentation 1 (KR) Session Chair — Argumentation 2 (KR) Session Chair — Machine learning and explanation Pages in this Program Program Program on Friday, 17 July 2026 NMR on Friday, 17 July 2026 NMR Program Program on Saturday, 18 July 2026 NMR on Saturday, 18 July 2026 DL on Saturday, 18 July 2026 DL Program CARLA on Saturday, 18 July 2026 CARLA Program Program on Monday, 20 July 2026 KR on Monday, 20 July 2026 KR Program Program on Thursday, 23 July 2026 KR on Thursday, 23 July 2026

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