Actualités

Conférence CAI 2013

Conférence CAI 2013

CLEARSY a participé à la conférence CAI 2013 (International Conference on Algebraic Informatics) organisée à Porquerolles (France) du 03 au 06 Septembre 2013,...

Séminaire Dagstuhl 2013

Séminaire Dagstuhl 2013

CLEARSY a participé au séminaire "Integration of Tools for Rigorous Software Construction and Analysis" (n° 13372), organisé à Dagstuhl (Allemagne) du 8 au 13...