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

Joost-Pieter Katoen Affiliation: RWTH Aachen University Talks (LICS) Session Chair — Session 5B Counter and Vector Addition Systems (LICS) Session Chair — Keynote by Stéphanie Delaune (ACV) Multiobjective Predicate Transformers: Computing the Pareto Front in Probabilistic Programs · 24pm2 (MartaFest) Model Checking the Race Against Time · Morning session 1 (VeriProP) Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops · Session 2 (CAV) Caesar: A Deductive Verifier for Probabilistic Programs · Hybrids, Controls and Probabilistic Systems Pages in this Program Program Program on Tuesday, 21 July 2026 LICS on Tuesday, 21 July 2026 LICS Program Program on Thursday, 23 July 2026 LICS on Thursday, 23 July 2026 Program on Friday, 24 July 2026 ACV on Friday, 24 July 2026 ACV Program Program on Saturday, 25 July 2026 MartaFest on Saturday, 25 July 2026 MartaFest Program VeriProP on Saturday, 25 July 2026 VeriProP Program Program on Wednesday, 29 July 2026 CAV on Wednesday, 29 July 2026 CAV Program

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