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

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

Prochains séminaires

  • Rational Players in Committee-based Blockchains
    1 mars 2021
    Yackolley Amoussou Guenou
  • Computability, universality and quantum automata
    8 mars 2021
    Pablo Arrighi
  • TBA
    22 mars 2021
    Sylvain Sené
© 2021 LACL