Connexion
en
fr
Workshop on Automata, Concurrency and Timed Systems
ACTS 2023
ENS Paris-Saclay, 30 May – 2 June 2023
Navigation
Présentation
Recherche
Pôles et Thèmes
Séminaires
Publications
Preuve et langages
Arithmétique des ordinateurs
Calcul, langages et compilation
Preuve de programmes
Preuve mecanisée
Modèles
Concurrence et distribué
Model-checking et synthèse
Systèmes critiques
Test et monitoring
Interactions
Biologie
Intelligence artificielle
Quantique
Sécurité
Topologie
Equipes-projets
Deducteam
Toccata
QuaCS
Collaborations
IRL ReLaX
LabCom ProofInUse
Back
Événements
Opportunités
Annuaire
Accueil
GroupHeader
Workshop on Automata, Concurrency and Timed Systems
ACTS 2023
ENS Paris-Saclay, 30 May – 2 June 2023