logo Région Lorraine

Meeting detail

VeriDis Retreat -- 11-13 May 2016 -- Obernai

As the previous VeriDis retreat, this meeting had a different scope than the SMArT project. We mention it here because many SMArT participants were present, and many of the discussions revolved around arithmetic and SMT.


Gabor Alagi, Haniel Barbosa, Jasmin Blanchette, Martin Bromberger, Gabriel Corona, Simon Cruanes, Marie Duflot-Kremer, Mathias Fleury, Pascal Fontaine, Matthias Hornbach, Marek Kosta, Matthieu Lequesne, Dominique Méry, Stephan Merz, Pierre-Etienne Moreau, Martin Riener, Thomas Sturm, Ching Hoo Tang, Andreas Teucke, Marco Voigt, Uwe Waldmann, Christoph Weidenbach.