Accueil > FR > Actualités > Agenda > SAT/SMT Solver Summer School


SAT/SMT Solver Summer School

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.

Détails à propos de l’événement (en anglais)