Dagstuhl-Seminar — Certifying Algorithms for Automated Reasoning
| Dates | June 1-6, 2025 |
|---|---|
| Location | Schloss Dagstuhl – Wadern, Germany |
| Organizer | Schloss Dagstuhl - Leibniz-Zentrum fur Informatik GmbH |
| Topics | |
| The Dagstuhl Seminar aims to advance the state of the art in the integration of proof logging with symbolic solvers, and to establish deeper contacts between different research communities working on certifying algorithms where interaction has previously been quite limited or non-existent. The intention is to achieve this broad goal by assembling stakeholders in the SAT, CP, MIP, SMT, ATP, and other closely related communities, including leading researchers in the areas of solver development, deployment of solver tools in applications, and design of proof logging techniques. | |
Similar events
CSE25 — SIAM Conference on Computational Science and Engineering
March 2-7, 2025
Fort Worth, United States
March 2-7, 2025
Fort Worth, United States
