Liste des papiers acceptés et programme

Saint-Malo

Objectifs de la conférence

Dans de nombreux domaines de l'informatique, les aspects temporels des systèmes ont été traités indépendamment par différentes communautés. Les chercheurs intéressés par la sémantique, la vérification et l'analyse de performances étudient des modèles comme les automates temporisés et les réseaux de Petri temporels, la communauté de conception de circuits se focalise sur les retards de propagation et commutation, tandis que les concepteurs de contrôleurs embarqués doivent prendre en compte les délais de réponse des contrôleurs après échantillonnage des données de l'environnement.

Les questions liées au temps dans ces disciplines différentes ont vraiment leur particularité. Cependant, nous prenons conscience qu'il y a des problèmes fondamentaux de base que l'on peut partager. En particulier, toutes ces sous-disciplines traitent des systèmes dont le comportement dépend de combinaisons de contraintes logiques et temporelles ; par exemple, des contraintes sur les distances temporelles entre les occurrences d'événements.

Le but de FORMATS est la promotion des études fondamentales et pratiques sur les systèmes temporisés par la rencontre des chercheurs des différentes disciplines qui ont un intérêt commun pour la modélisation et l'analyse de ces systèmes. Les sujets couverts incluent (mais sans être limités à) :

- Fondements et sémantique
Fondements théoriques des systèmes et langages temporisés ; comparaison des différents modèles (automates temporisés, réseaux de Petri temporels, automates hybrides, algèbre temporisée de processus, algèbre max-plus, modèles probabilistes).
- Méthodes et outils
Techniques, algorithmes, structures de données, et outils logiciels pour analyser les systèmes temporisés et résoudre les contraintes temporelles (ordonnancement, analyse des temps d'exécution au pire, optimisation, "model-checking", test, solveurs, etc.)
- Applications
Adaptation et spécialisation de technologies temporisées dans des domaines d'application dans lesquels le temps joue un rôle déterminant (logiciel temps-réel, circuits, problèmes d'ordonnancement dans les usines et les télécommunications).

Orateurs invités

Appel à articles/participation

L'appel à communication est dans postscript.ps et pdf.pdf

Les sponsors FORMATS'08

ENS Cachan Univ. Rennes1 Région Bretagne Ministère AFSEC GDR ASR GDR MACS

Venue à la conférence

? ? ?

Soumission et publication

FORMATS'08 utilise EasyChair pour gérer le processus de sélection des articles.

Les actes de FORMATS'08 seront publiés par Springer dans la série "Lecture Notes in Computer Science" sous le numéro 5215.

Contact

Pour plus information : formats08@inria.fr
La conférence Formats'08 est organisée par le centre de recherche INRIA Rennes - Bretagne Atlantique
toto