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

Leonardo de Moura Affiliation: Amazon Web Services, and Lean FRO Talks (FLoC) The Lean Theorem Prover: Design, Evolution, and Impact · Keynote: The Lean Theorem Prover: Design, Evolution, and Impact (IJCAR) The Lean Theorem Prover: Design, Evolution, and Impact · Keynote: The Lean Theorem Prover: Design, Evolution, and Impact (ITP) The Lean Theorem Prover: Design, Evolution, and Impact · Keynote: The Lean Theorem Prover: Design, Evolution, and Impact (CAV) The Lean Theorem Prover: Design, Evolution, and Impact · Keynote: The Lean Theorem Prover: Design, Evolution, and Impact (CSF) The Lean Theorem Prover: Design, Evolution, and Impact · Keynote: The Lean Theorem Prover: Design, Evolution, and Impact (IJCAR) grind: An SMT-Inspired Tactic for Lean 4 · Automation & Unification Pages in this Program Program Program on Sunday, 26 July 2026 FLoC on Sunday, 26 July 2026 FLoC Program IJCAR on Sunday, 26 July 2026 IJCAR Program ITP on Sunday, 26 July 2026 ITP Program CAV on Sunday, 26 July 2026 CAV Program CSF on Sunday, 26 July 2026 CSF Program Program on Monday, 27 July 2026 IJCAR on Monday, 27 July 2026

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