logo RĂ©gion Lorraine

Meeting detail

Dagstuhl seminar on Symbolic Computation and Satisfiability Checking

This meeting had a scope that goes beyond the SMArT project. It is organized by the German and French coordinators of SMArT (Pascal Fontaine and Thomas Sturm), with Erika Abraham and Dongming Wang. More information is available on the web site of the Dagstuhl seminar on Symbolic Computation and Satisfiability Checking.

SMArT participants

Pascal Fontaine, Maximilian Jaroschek, Stephan Merz, Thomas Sturm, Laurent Voisin. See the full list of participants on the Dagstuhl site.