SMT and combination of theories

This is the site of the software engineering seminars that are given in Lille, France.

The seminars are organized by research groups from the Inria Lille Nord Europe research center and the University of Lille, especially the four research teams (CARAMEL, Carbon, RMoD, Spirals) from the Software Engineering research theme of the CRIStAL laboratory.

The talks are given in English and are open to external visitors. Please feel free to contact us for more information.

Contact: Walter Rudametkin