logo Région Lorraine

Meeting detail

Kick-off meeting -- 6-7 May 2014 -- Loria, Nancy

Participants

Haniel Barbosa, David Déharbe, Federico Dobal, Pascal Fontaine, Marek Košta, Stephan Merz, Thomas Sturm, Laurent Voisin.

Program

Tuesday, May 6

10:00-11:00 : introducing participants and their context
11:00-12:00 : challenges, goals, means, and schedule for the project
14:00-18:00 : presentations by participants

Dinner in Nancy

Wednesday, May 7

09:00-10:30 : applications and evaluation of techniques
10:30-12:00 : technical discussions (SMT)
14:00-17:00 : technical discussions (Decision procedures for arithmetic)