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

Journées GT Verif du GDR IM

15 juin 2015

no seminar

Journées GT Verif du GDR IM

Navigation de l’article

Example of computation in living cells, gene assembly in ciliates
Trading Bounds for Memory in Games with Counters

Actualités

  • Poste de MCF à pourvoir au LACL
    10/03/2022

Prochains séminaires

  • tba
    20 juin 2022
    Cüneyt Güzelis
© 2022 LACL