Skip to content
LACL Logo
  • Présentation
  • Équipes
    • Logique, calcul et programmation
    • Spécification et vérification de systèmes
  • Masters
  • Membres
  • Publications
  • Postes 2025
  • 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
  • Postes 2025
  • Séminaire
  • Contact
    • Comment venir ?
  • Connexion
  • English

Anatol Slissenko

Professeur
Équipe Spécification et vérification de systèmes

Bureau: P2 217
Email: slissenko@u-pec.fr
Tél. +33: 01 45 17 16 47
Fax +33: 01 45 17 16 47

Plus d'informations

Navigation de l’article

Emmanuel Polonowski
Antoine Spicher

Actualités

  • 2 postes de MCF à pourvoir au LACL
    16/01/2025

Prochains séminaires

  • Proof Nets for Quantum Computing
    12 mai 2025
    Kostia Chardonnet
  • Containment for Guarded Monotone Strict NP
    19 mai 2025
    Alexey Barsukov
  • TBA
    23 juin 2025
    Jean-Marc Talbot
© 2025 LACL