PROGRAM AUTHORS KEYWORDS Search

ACV | ADU | AIMACS | AR4Space | ARQNL | ASPOCP | CARLA | CAV | CI-BD-SOQE | CMSB | CP | CPSATDP | CREST | CSF | DefDesKR | DIALOCO | DL | DPSOLVE | ELASP | EULP | FCS | FMQC | FORCE | FSCD | GALOP | GOE | HCVS | 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 | MC | ML4SP | ModRef | MoST | MSFP | MW1 | MW2 | NMR | OVERLAY | PAAR | PC | PCCR | PEG | PERR | 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 | Without Group | WPTE | WST | XLoKR-ExCoS | Full Program

Joao Marques-Silva Affiliation: ICREA (Catalan Institution for Research and Advanced Studies) Affiliation: ICREA & University of Lleida Affiliation: ICREA & Univ. Lleida Pages in this Program Program Program on Saturday, 18 July 2026 RCRA on Saturday, 18 July 2026 RCRA Program Program on Wednesday, 22 July 2026 KR on Wednesday, 22 July 2026 KR Program Program on Thursday, 23 July 2026 KR on Thursday, 23 July 2026 Program on Saturday, 25 July 2026 PCCR on Saturday, 25 July 2026 PCCR Program

Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: