logo Région Lorraine

Meeting detail

First Workshop on Symbolic Computation and Satisfiability Checking

This meeting has a scope that goes beyond the SMArT project. It is organized in the context of the SC² Coordination and Support Action EU project (H2020-FETOPN-2015-CSA_712689), and chaired by the French coordinator of SMArT (Pascal Fontaine) together with Erika Abraham, a close collaborator of SMArT. More information is available on the web site of the First Worshop on Symbolic Computation and Satisfiability Checking.

SMArT participants

Pascal Fontaine, Thomas Sturm.