Date: 12 juin 2011
Evènement: Autres activités ⊕
A propos du projet: CALiPro ⊕
Raphaël Michel, Ingénieur de Recherche au CETIC, participera à la SAT/SMT Solver Summer School qui aura lieu du 12 au 17 juin 2011 à Boston, USA.
Cette Summer School a pour objectif de rassembler les développeurs et les utilisateurs de SAT/SMT afin d’y partager les avancées en la matière.