Skip to content
LACL Logo
  • Presentation
  • Teams
    • Logic, Computation and Programming
    • Systems Specification and Verification
  • Masters
  • Members
  • Publications
  • Seminar
  • Positions 2025
  • Contact
    • How to get here?
  • Log In
  • Français
LACL Logo
  • Presentation
  • Teams
    • Logic, Computation and Programming
    • Systems Specification and Verification
  • Masters
  • Members
  • Publications
  • Seminar
  • Positions 2025
  • Contact
    • How to get here?
  • Log In
  • Français

Journées GT Verif du GDR IM

June 15, 2015

no seminar

Journées GT Verif du GDR IM

Post navigation

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

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

Next seminars
  • Proof Nets for Quantum Computing
    May 12, 2025
    Kostia Chardonnet
  • Containment for Guarded Monotone Strict NP
    May 19, 2025
    Alexey Barsukov
  • TBA
    June 23, 2025
    Jean-Marc Talbot
© 2025 LACL