Mnacho Echenim - Des techniques d'automatisation de raisonnement

08:30
Jeudi
9
Nov
2017
  • Habilitation
Lieu : 
Organisé par : 
Mnacho Echenim
Intervenant : 
Mnacho Echenim
Équipes : 

 

Jury :

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