-
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 5 : Concurrency, Logic and Types
Du 10 février 2014 au 14 février 2014
Détails sur le site dédié
Thèmes abordés : concurrence, logique et concurrence, vérification
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.