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

Catalin Dima

Professeur à l'UFR des Sciences et Technologie
Équipe Spécification et vérification de systèmes

Bureau: P2 221
Email: dima@u-pec.fr
Tél. +33: 01 45 17 65 67
Fax +33: 01 45 17 66 01

Plus d'informations

Navigation de l’article

Joëlle Cohen
Frédéric Gava

Actualités

  • 2 postes de MCF
    05/01/2021
  • Motion du conseil du LACL du 19/11/2020
    24/11/2020

Prochains séminaires

  • Rice-like theorems for automata networks
    1 février 2021
    Guilhem Gamard
  • TBA
    8 février 2021
    Guillaume Dupont
  • A type theoretic appraoch to weak omega-categories
    15 février 2021
    Thibaut BENJAMIN
© 2021 LACL