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

Omri Isac Affiliation: The Hebrew University of Jerusalem Affiliation: Hebrew University of Jerusalem, Israël Pages in this Program Program Program on Friday, 24 July 2026 SAIV on Friday, 24 July 2026 SAIV Program Program on Saturday, 25 July 2026 LOGICNN on Saturday, 25 July 2026 LOGICNN Program

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