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

Nir Piterman Affiliation: University of Gothenburg & Chalmers University of Technology Affiliation: University of Gothenburg, Chalmers University of Technology Affiliation: University of Gothenburg and Chalmers University of Technology, Sweden Talks (LAMAS-SR) Symbolic Synthesis for LTLf+ Obligations · Session I (LICS) Session Chair — Session 9B Games and Strategies under Uncertainty (CAV) Fast Obligation Translation and Synthesis (Distinguished Paper) · Synthesis Pages in this Program Program Program on Sunday, 19 July 2026 LAMAS-SR on Sunday, 19 July 2026 LAMAS-SR Program Program on Wednesday, 22 July 2026 LICS on Wednesday, 22 July 2026 LICS Program Program on Sunday, 26 July 2026 CAV on Sunday, 26 July 2026 CAV Program

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