logo Région Lorraine

Meeting detail

VeriDis Retreat -- 15-17 June 2015 -- Trier

As the previous VeriDis retreat, 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.

Participants

Gabor Alagi, Noran Azmy, Haniel Barbosa, Jasmin Blanchette, Martin Bromberger, Jorge Ibarra Delgado, Eugen Denerz, Federico Dobal, Marie Duflot-Kremer, Pascal Fontaine, Maximilian Jaroschek, Marek Kosta, Stephan Merz, Glen Mével, Ignacio Queralt, Martin Riener, Thomas Sturm, Ching Hoo Tang, Anton Tarasyuk, Andreas Teucke, Marco Voigt, Uwe Waldmann, Daniel Wand, Christoph Weidenbach