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

Alessandra Russo Affiliation: Imperial College, London Talks (ICLP) Accelerating NeurASP with vectorization and caching · Block 4 (4 TPLP) (SAT) Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI · Keynote: Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI (FSCD) Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI · Keynote: Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI (CP) Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI · Keynote: Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI (LICS) Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI · Keynote: Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI (KR) Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI · Keynote: Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI (ICLP) Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI · Keynote: Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI (FLoC) Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI · Keynote: Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI Pages in this Program Program Program on Tuesday, 21 July 2026 ICLP on Tuesday, 21 July 2026 ICLP Program Program on Wednesday, 22 July 2026 SAT on Wednesday, 22 July 2026 SAT Program FSCD on Wednesday, 22 July 2026 FSCD Program CP on Wednesday, 22 July 2026 CP Program LICS on Wednesday, 22 July 2026 LICS Program KR on Wednesday, 22 July 2026 KR Program ICLP on Wednesday, 22 July 2026 FLoC on Wednesday, 22 July 2026 FLoC Program

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