Konferenzen  >  Mathematik  >  Computer-gestütztes Beweisen  >  Deutschland

Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

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.