Skip to content

Presentation
Teams
- Logic, Computation and Programming
- Systems Specification and Verification
Masters
Members
Publications
Seminar
Contact
- How to get here?
Log In

Presentation
Teams
- Logic, Computation and Programming
- Systems Specification and Verification
Masters
Members
Publications
Seminar
Contact
- How to get here?
Log In

Publications

Publications
Filtres

Contact

Disciplines

Mots-clefs

Auteurs

Revues

Année de production

Institutions

Laboratoires

Départements

Équipes de recherche

documents

Documents récupérés de l'archive ouverte HAL

Next seminars

Exploring many solutions of many CA problems: The Formal Notion of Local CA Simulation
January 25, 2021
Tien Thao Nguyen
Rice-like theorems for automata networks
February 1, 2021
Guilhem Gamard
TBA
February 8, 2021
Guillaume Dupont

© 2021 LACL