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, 15h00 - 24 October 2012, 16h30
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
Programmation mathématique multi-objectif pour la
Thursday 13 December 2018 - 14h30
Salle : unknown - unknown
Audrey Legendre .............................................

Redundancy in Distributed Proofs
Algorithmique distribuée
Tuesday 04 December 2018 - 00h00
Salle : 465 - PCRI-N
Ami Paz .............................................

Some recent results on the integer linear programm
Théorie des graphes
Friday 30 November 2018 - 00h00
Salle : 445 - PCRI-N
Hung Nguyen .............................................

Scalable and exhaustive screening of metabolic fun
Wednesday 28 November 2018 - 11h00
Salle : 465 - PCRI-N
Clémence Frioux .............................................

Studying the three-dimensional structure of DNA fr
Thursday 22 November 2018 - 15h00
Salle : unknown - unknown
Nelle Varoquaux .............................................