Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Aujourd'hui, nous sommes le Jeudi 06 Mai 2021 [Semaine 18]



Semaine en cours du Lundi 03 Mai 2021 au Samedi 08 Mai 2021

2021-05-04   Verifying higher-order concurrency with data automata Online  Andrzej Murawski