logo RĂ©gion Lorraine

Meeting detail

Third meeting -- 17-18 July 2014 -- Vienna Summer of Logic, Vienna


Haniel Barbosa, Federico Dobal, Pascal Fontaine, Marek Košta, Stephan Merz, Thomas Sturm.


Informal discussions at the Vienna Summer of Logic.

Marek Kosta and Thomas Sturm presented two papers related to the project at SMT 2014