Semaine 5 : Concurrency, Logic and Types

Organisateurs :

Patrick Baillot (LIP, ENS de Lyon & CNRS), Damien Pous (LIP, ENS de Lyon & CNRS), Daniel Hirschkoff (LIP, ENS de Lyon).

50 participants

Onze conférences d’invitées, confrontant différents points de vue.

Depuis les années 1970, la logique a été à l’origine de l’émergence de concepts et de méthodes pour la conception et l’étude des langages de programmation de haut niveau. Parmi les notions dérivées de cette approche, se trouvent les systèmes de type avancés d’une part, qui permettent d’analyser le comportement des programmes et de garantir certaines propriétés statiquement, et sur les autres logiques pour la vérification, comme la logique Floyd-Hoare. Ces techniques ont été initialement développées pour les programmes séquentiels, mais l’intérêt croissant, alors émergeant, se portait sur la programmation concurrente, où les processus qui communiquent et évoluent d’une manière non-déterministe effectuer le calcul. Le cadre concurrent a soulevé de nouveaux défis, comme la complexité des nouveaux systèmes rendant la tâche de vérification de la validité des programmes beaucoup plus difficile.