-
Recherche
- Présentation
- Trimestres et mois thématiques
- Evénements scientifiques
-
Chercheurs invités
- Chercheurs invités 2021
- Chercheurs invités 2022
- Chercheurs invités 2023
-
Post-doctorants Milyon
- Post-doctorants 2022
- Post-doctorants 2023
- Publications
- Prix, honneurs, bourses de recherche
- Portraits de chercheurs
- Formation
- Médiation
- Entreprise
- Appels à candidature
- Contacts
Vous êtes ici : Version française > Présentation > Trimestres et mois thématiques
-
Partager cette page
Semaine 3: Directed Algebraic Topology and Concurrency
Du 27 janvier 2014 au 31 janvier 2014
Détails sur le site dédié
Thèmes abordés : concurrence et topologie algébrique dirigée appliquée au calcul distribué
Organisateurs :
Lisbeth Fajstrup (Aalborg University, Denmark), Éric Goubault (CEA LIST / École Polytechnique, France), Samuel Mimram (CEA LIST / École Polytechnique, France)
35 participants
Trois cours de D. Feichtner-Kozlov (Brême), E. Haucourt (CEA LIST, École Polytechnique), R. van Glabbeek (Université de Nouvelle-Galles du Sud), et neuf conférences d’invités.
Cet événement a été motivé par l’intérêt croissant les applications de la topologie algébrique dans l’étude de la concurrence. Ce nouveau champ à l’intersection de la topologie et de l’informatique a vu le jour à travers une série d’ouvrages qui a introduit la sémantique des programmes concurrents basés sur les espaces topologiques, dont les points de modèle, les Etats, de programmes et chemins d’exécutions du modèle du programme.