Accueil
>
Evenements
> Séminaires
Présentation
Equipes
Collaborations
Production scientifique
Recrutements
Formation
Informations pratiques
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
Measuring Similarity between Logical Arguments
Raisonnement automatique
Monday 06 March 2023 - 00h00
Salle : 0 - 650
Victor David .............................................
Imputing Out-of-Vocabulary Embeddings with LOVE Ma
Langages et systèmes centrés données
Monday 20 February 2023 - 00h00
Salle : 455 - PCRI-N
Lihu Chen .............................................
On the Interplay between Software Product Lines an
Raisonnement automatique
Tuesday 18 October 2022 - 14h15
Salle : 2013 - DIG-Moulon
Vander Alves .............................................
Combining randomized and observational data: Towar
Raisonnement automatique
Thursday 13 October 2022 - 10h30
Salle : 2011 - DIG-Moulon
Bénédicte Colnet .............................................
New Achievements of Artificial Intelligence in Mul
Raisonnement automatique
Tuesday 11 October 2022 - 14h15
Salle : 2013 - DIG-Moulon
.............................................
> tous les séminaires
