Skip to content
LACL Logo
  • Presentation
  • Teams
    • Logic, Computation and Programming
    • Systems Specification and Verification
  • Masters
  • Members
  • Publications
  • Seminar
  • 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
  • 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

Next seminars

  • The Bicategory of “Open Functors” and its Friends
    January 18, 2021
    Luidnel Maignan
  • Exploring many solutions of many CA problems: The Formal Notion of Local CA Simulation
    January 25, 2021
    Tien Thao Nguyen
  • TBA
    February 8, 2021
    Guillaume Dupont
© 2021 LACL