Mnacho Echenim - Des techniques d'automatisation de raisonnement

08:30
Thursday
9
Nov
2017
  • Habilitation
Place: 
Organized by: 
Mnacho Echenim
Speaker: 
Mnacho Echenim
Teams: 

 

Jury :

  • Eric Gaussier (Univ. Grenobe Alpes)
  • Claude Kirchner (INRIA)
  • Silvio Ranise (Fundazione Bruno Kessler)
  • Michaël Rusinowitch (INRIA)
  • Viorica Sofronie-Stokkermans (Univ. Koblenz-Landau)