Français Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
Séminaire d'équipe(s) Toccata
Exposés en l'honneur de Laurence Puel
Jean-Christophe Filliâtre & Delia Kesner

24 October 2012, 15:00 - 24 October 2012, 16:30
Salle/Bat : 445/PCRI-N
Contact :

Activités de recherche :

Résumé :
Un séminaire Toccata aura lieu exceptionnellement ce mercredi 24
octobre en l'honneur de Laurence Puel:
Il comportera deux exposés:

- 15h00, Jean-Christophe Filliâtre (CNRS-LRI) : Dessine-moi un rédexe
- 15h30, Delia Kesner (PPS, Univ. Paris Diderot) : First-Class Patterns

Pour en savoir plus :
Séminaires
On the Interplay between Software Product Lines an
Automated Reasoning
Tuesday 18 October 2022 - 14:15
Salle : 2013 - DIG-Moulon
Vander Alves .............................................

Combining randomized and observational data: Towar
Automated Reasoning
Thursday 13 October 2022 - 10:30
Salle : 2011 - DIG-Moulon
Bénédicte Colnet .............................................

New Achievements of Artificial Intelligence in Mul
Automated Reasoning
Tuesday 11 October 2022 - 14:15
Salle : 2013 - DIG-Moulon
.............................................

Definition and estimation of a variable importance
Automated Reasoning
Thursday 22 September 2022 - 10:30
Salle : 2011 - DIG-Moulon
.............................................

Definition and estimation of a variable importance
Automated Reasoning
Thursday 01 September 2022 - 10:30
Salle : 2011 - DIG-Moulon
Antoine Chambaz .............................................