Outils et algorithmes pour l'élaboration et l'analyse de systèmes
22 Mars 1999 - 22 Mars 1999
Pays-Bas
TACAS 99, la cinquième conférence internationale consacrée aux outils et algorithmes pour l'élaboration et l'analyse de systèmes, aura lieu à Amsterdam, aux Pays-Bas, du 22 au 26 mars 1999. Cette manifestation s'inscrit dans le cadre des conférences européennes communes sur la théorie et les pratiques du logiciel (ETAPS 99). Il s'agit d'une confédération à structure ouverte et flexible qui chapeaute une série de conférences existantes et nouvelles, ainsi que d'autres manifestations, s'adressant aux chercheurs des milieux universitaires et industriels oeuvrant dans le domaine de la science du logiciel.
LCette manifestation doit jouer le rôle de plate-forme à l'intention des chercheurs, des créateurs et des utilisateurs s'intéressant à des outils à base rigoureuse servant à l'élaboration et à l'analyse des systèmes. Elle permettra de combler le fossé entre les différentes communautés, par exemple celles se concentrant sur les méthodes formelles, le temps réel, le génie logiciel, les protocoles de communication, le matériel, la démonstration de théorèmes et les langages de programmation. Du fait qu'elle offre un cadre permettant la discussion de problèmes communs, notamment l'heuristique, les algorithmes, les structures de données et les méthodologies, la manifestation TACAS vise à soutenir les chercheurs dans leur désir d'améliorer l'utilité, la fiabilité, la souplesse et l'efficacité des outils nécessaires à la construction des systèmes.
Le programme de la conférence traitera en particulier les thèmes suivants (cette liste n'est pas exhautive):
- techniques de vérification et de construction
- Méthodologies de composition et fondées sur les perfectionnements
- analyse hétérogène
- démonstration de théorèmes et vérification de modèles
- techniques analytiques destinées aux systèmes en temps réel, hybrides, probabilistes et à sécurité critique
- environnements des outils et architecture des outils
- applications et études de cas concrets.
Pour tout renseignement supplémentaire s'adresser à:
SUNY
Rance Cleaveland
Stony Brook
NY 11794-4400
Etats-Unis
Tél. +1-516-6328470; Fax +1-516-6328334
E-mail: rance@cs.sunysb.edu
URL: http://www.csc.ncsu.edu/tacas99/(s’ouvre dans une nouvelle fenêtre)
LCette manifestation doit jouer le rôle de plate-forme à l'intention des chercheurs, des créateurs et des utilisateurs s'intéressant à des outils à base rigoureuse servant à l'élaboration et à l'analyse des systèmes. Elle permettra de combler le fossé entre les différentes communautés, par exemple celles se concentrant sur les méthodes formelles, le temps réel, le génie logiciel, les protocoles de communication, le matériel, la démonstration de théorèmes et les langages de programmation. Du fait qu'elle offre un cadre permettant la discussion de problèmes communs, notamment l'heuristique, les algorithmes, les structures de données et les méthodologies, la manifestation TACAS vise à soutenir les chercheurs dans leur désir d'améliorer l'utilité, la fiabilité, la souplesse et l'efficacité des outils nécessaires à la construction des systèmes.
Le programme de la conférence traitera en particulier les thèmes suivants (cette liste n'est pas exhautive):
- techniques de vérification et de construction
- Méthodologies de composition et fondées sur les perfectionnements
- analyse hétérogène
- démonstration de théorèmes et vérification de modèles
- techniques analytiques destinées aux systèmes en temps réel, hybrides, probabilistes et à sécurité critique
- environnements des outils et architecture des outils
- applications et études de cas concrets.
Pour tout renseignement supplémentaire s'adresser à:
SUNY
Rance Cleaveland
Stony Brook
NY 11794-4400
Etats-Unis
Tél. +1-516-6328470; Fax +1-516-6328334
E-mail: rance@cs.sunysb.edu
URL: http://www.csc.ncsu.edu/tacas99/(s’ouvre dans une nouvelle fenêtre)