Semaine 3: Directed Algebraic Topology and Concurrency

Du 27 janvier 2014 au 31 janvier 2014

Mathematical Structures of Computation
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.