Home » Évènement » Soutenance d’HDR de Charlotte TRUCHET (équipe TASC)
Loading Events
  • This event has passed.

Soutenance d’HDR de Charlotte TRUCHET (équipe TASC)

30 novembre 2017 @ 10 h 00 min - 12 h 30 min

Charlotte Truchet soutiendra son Habilitation à Diriger des Recherches, intitulée « Vers une programmation par contraintes moins contrainte, outils venant de l’Interprétation Abstraite et de l’Analyse en Moyenne pour définir des solveurs plus expressifs et faciles à utiliser »

jeudi 30 novembre 2017 à 10h, sur le site de la FST.

Jury : Nadia Creignou (Aix-Marseille Université – rapporteure), Christian Schulte (KTH, Suède – rapporteur), Pascal Van Hentenryck (University of Michigan, USA – rapporteur), Gérard Assayag (IRCAM), Frédéric Benhamou (Université de Nantes), Eric Goubault (Ecole Polytechnique), Thomas Jensen (INRIA), Brigitte Vallée (CNRS).

Le manuscrit est disponible en ligne (lien pdf).

Détails

Date :
30 novembre 2017
Heure :
10 h 00 min - 12 h 30 min
Organisateur
LS2N

Catégorie d’Évènement:
Évènement Tags:
, ,

Lieu

UFR sciences
Université de Nantes - U.F.R. Sciences et Techniques, 2 Chemin de la Houssinière
Nantes, 44300 France
+ Google Map
Copyright : LS2N 2017 - Mentions Légales - 
 -