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

Sessions

• Informal meet & greet (25 Jul 09:00-09:30) MW2
• Kickoff (25 Jul 09:30-09:40) MW2
• Orna Grumberg (25 Jul 09:40-10:10) MW2
• Ice breakers (25 Jul 10:10-10:30) MW2
• Coffee Break (25 Jul 10:30-11:00) MW2
• Sebastian Siebertz (25 Jul 11:00-11:30) MW2
• Yannick Forster (25 Jul 11:30-12:00) MW2
• Claudia Cauli (25 Jul 12:00-12:30) MW2
• Lunch (25 Jul 12:30-14:00) MW2
• Loris D'Antoni (25 Jul 14:00-14:30) MW2
• PhD Student Panel (25 Jul 14:30-15:30) MW2
• Coffee Break (25 Jul 15:30-16:00) MW2
• Caterina Urban (25 Jul 16:00-16:30) MW2
• Researchers Panel (25 Jul 16:30-17:30) MW2

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