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

Dominik Schreiber Affiliation: Karlsruhe Institute of Technology Affiliation: Karlsruhe Institute of Technology (KIT) Affiliation: Karlsruhe Institute of Technology, Germany Talks (PoS) Opening · Opening (PoS) Closing Remarks · Closing (SAT) A Natively Parallel Proof Framework for Clause-Sharing SAT Solving · Session F: CDCL & Parallel Solving (SAT) MaxSAT Evaluation · Session K: Competitions (SMT) From Distributed SAT to Distributed SMT? Successes and Challenges · Invited Talk + Parallelism (CAV) Mallob: Scalable Automated Reasoning On Demand (Distinguished Paper) · SMT, SAT & Decision Procedures Pages in this Program Program Program on Sunday, 19 July 2026 PoS on Sunday, 19 July 2026 PoS Program Program on Tuesday, 21 July 2026 SAT on Tuesday, 21 July 2026 SAT Program Program on Thursday, 23 July 2026 SAT on Thursday, 23 July 2026 Program on Saturday, 25 July 2026 SMT on Saturday, 25 July 2026 SMT Program Program on Monday, 27 July 2026 CAV on Monday, 27 July 2026 CAV Program

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