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

Mario Alviano Affiliation: University of Calabria, Italy Affiliation: University of Calabria Affiliation: Università della Calabria Affiliation: Università della Calabria, Italy Affiliation: Department of Mathematics and Computer Science - University of Calabria Pages in this Program Program Program on Friday, 17 July 2026 NMR on Friday, 17 July 2026 NMR Program DL on Friday, 17 July 2026 DL Program Program on Saturday, 18 July 2026 ASPOCP on Saturday, 18 July 2026 ASPOCP Program EULP on Saturday, 18 July 2026 EULP Program CARLA on Saturday, 18 July 2026 CARLA Program Program on Tuesday, 21 July 2026 ICLP on Tuesday, 21 July 2026 ICLP Program KR on Tuesday, 21 July 2026 KR Program

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