logo RĂ©gion Lorraine

Meeting detail

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

Participants

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

Program

Informal discussions at the Vienna Summer of Logic.

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