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

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 à 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