Dixième atelier sur les aspects quantitatifs des langages de programmation à Tallinn, en Estonie
31 Mars 2012 - 31 Mars 2012
Estonie
Le dixième atelier sur les aspects quantitatifs des langages de programmation aura lieu les 31 mars et 1er avril 2012 à Tallin, en Estonie.
Les aspects quantitatifs en informatique sont liés à l'utilisation des quantités physiques (telles que l'espace de stockage, le temps et la bande passante) et les quantités mathématiques (dont la probabilité et les mesures pour la fiabilité, la sécurité et la confiance). Ces quantités jouent un rôle important dans la définition de l'architecture, de la conception du langage, de la sémantique d'un système et des méthodogies et outils pour l'analyse et la vérification des propriétés du système.
L'atelier sera un forum pour débattre de l'utilisation des informations quantitatives directement dans le modèle et comme outil pour l'analyse des systèmes. Les thèmes débattus comprendront:
- la conception des langages probabilistes, en temps réel et quantiques et la définition de modèles sémantiques pour ces langages;
- la discussion de méthodologies pour l'analyse des propriétés probabilistes et du temps et d'autres propriétés quantifiables et de l'utilisation des ressources;
- l'analyse probabiliste des systèmes qui n'intègrent pas explicitement les aspects quantitatifs;
- les applications pour des systèmes critiques en terme de sécurité, des protocoles de communications, des systèmes de contrôle, un équipement asynchrone et d'autres domaines impliquant des questions quantitatives.Pour de plus amples informations, consulter: http://www1.isti.cnr.it/~Massink/EVENTS/QAPL2012/(s’ouvre dans une nouvelle fenêtre)
Les aspects quantitatifs en informatique sont liés à l'utilisation des quantités physiques (telles que l'espace de stockage, le temps et la bande passante) et les quantités mathématiques (dont la probabilité et les mesures pour la fiabilité, la sécurité et la confiance). Ces quantités jouent un rôle important dans la définition de l'architecture, de la conception du langage, de la sémantique d'un système et des méthodogies et outils pour l'analyse et la vérification des propriétés du système.
L'atelier sera un forum pour débattre de l'utilisation des informations quantitatives directement dans le modèle et comme outil pour l'analyse des systèmes. Les thèmes débattus comprendront:
- la conception des langages probabilistes, en temps réel et quantiques et la définition de modèles sémantiques pour ces langages;
- la discussion de méthodologies pour l'analyse des propriétés probabilistes et du temps et d'autres propriétés quantifiables et de l'utilisation des ressources;
- l'analyse probabiliste des systèmes qui n'intègrent pas explicitement les aspects quantitatifs;
- les applications pour des systèmes critiques en terme de sécurité, des protocoles de communications, des systèmes de contrôle, un équipement asynchrone et d'autres domaines impliquant des questions quantitatives.Pour de plus amples informations, consulter: http://www1.isti.cnr.it/~Massink/EVENTS/QAPL2012/(s’ouvre dans une nouvelle fenêtre)