logo Région Lorraine

Meeting detail

VeriDis Retreat -- 13-16 May 2014 -- Reims

This meeting has 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, Noran Azmy, Haniel Barbosa, Martin Bromberger, Jingshu Chen, David Déharbe, Jorge Ibarra Delgado, Eugen Denerz, Federico Dobal, Marie Duflot-Kremer, Pascal Fontaine, Marek Kosta, Stephan Merz, Ignacio Queralt, Thomas Sturm, Ching Hoo Tang, Anton Tarasyuk, Andreas Teucke, Marco Voigt, Uwe Waldmann, Daniel Wand, Christoph Weidenbach