logo RĂ©gion Lorraine

Meeting detail

Seventh meeting -- 18-19 July 2015 -- SMT, San Francisco

Participants

Federico Dobal, Pascal Fontaine, Thomas Sturm.

Program

Informal discussions at the SMT workshop. Preparing prototype release.

Three papers, respectively authored among others by Federico Dobal, Pascal Fontaine and Thomas Sturm, were presented at SMT 2015.