Skip to content
LACL Logo
  • Présentation
  • Équipes
    • Logique, calcul et programmation
    • Spécification et vérification de systèmes
  • Masters
  • Membres
  • Publications
  • Séminaire
  • Contact
    • Comment venir ?
  • Connexion
  • English
LACL Logo
  • Présentation
  • Équipes
    • Logique, calcul et programmation
    • Spécification et vérification de systèmes
  • Masters
  • Membres
  • Publications
  • Séminaire
  • Contact
    • Comment venir ?
  • Connexion
  • English

Luc Pellissier

Maître de conférences, UFR Droit
Équipe Logique, calcul et programmation

Bureau: P2 213
Email: luc.pellissier@lacl.fr
Tél. +33: 01 45 17 65 94
Fax +33:

Plus d'informations

Navigation de l’article

Laura Fontanella
Adrien Le Coënt

Prochains séminaires

  • Génération automatique de code parallèle isochrone
    2 octobre 2023
    Thibaut Tachon
  • TBA
    9 octobre 2023
    Sergiu Ivanov
  • Inside and Beyond Decisiveness for Infinite Probabilistic Models
    16 octobre 2023
    Lina Ye
© 2023 LACL