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

Andrzej Murawski Affiliation: University of Oxford Talks (GALOP) Contextual MetaML: Syntax and Full Abstraction · Contributed Talks - Session 1 (GALOP) Unbounded data nesting for loops in higher-order programs · Contributed Talks - Session 4 (LICS) Layered Modal ML: Syntax and Full Abstraction · Session 3A Type Systems (LICS) Unbounded data nesting for loops in higher-order programs · Session 6B Quantitative and Analytical Properties of Formal Languages (LICS) Session Chair — Session 9A Semantics of Programming Languages (IMLA) Contextual Modal MetaML: Syntax and Full Abstraction · Contributed Talks C3 Pages in this Program Program Program on Saturday, 18 July 2026 GALOP on Saturday, 18 July 2026 GALOP Program Program on Sunday, 19 July 2026 GALOP on Sunday, 19 July 2026 Program on Monday, 20 July 2026 LICS on Monday, 20 July 2026 LICS Program Program on Tuesday, 21 July 2026 LICS on Tuesday, 21 July 2026 Program on Wednesday, 22 July 2026 LICS on Wednesday, 22 July 2026 Program on Friday, 24 July 2026 IMLA on Friday, 24 July 2026 IMLA Program

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