Atelier final CASSTING et évènement
2 Avril 2016 - 3 Avril 2016
Eindhoven, Pays-Bas
L'atelier vise à rassembler des chercheurs travaillant sur des sujets ayant trait (au sens le plus large) à des méthodes formelles pour la vérification automatique et la synthèse de systèmes complexes. L'atelier se composera de quatre discours invités, des discussions (présentant soit des travaux originaux soit déjà publiés).
Les thèmes suivants seront abordés:
- Des jeux pour la synthèse de systèmes computationnels complexes
- Des jeux conduits sur des graphiques complexes et infinis
- Des jeux à objectifs quantitatifs
- Des jeux avec des informations incomplètes et sur des structures dynamiques
- L'heuristique pour une résolution efficace du jeu
L'atelier se tiendra avant l'édition 2016 de la conférence ETAPS (European Joint Conferences on Theory and Practice of Software). La principale conférence ETAPS se déroulera du 4 au 8 avril 2016.
Pour plus d'informations, veuillez consulter:
page web de l'évènement du projet(s’ouvre dans une nouvelle fenêtre)
Les thèmes suivants seront abordés:
- Des jeux pour la synthèse de systèmes computationnels complexes
- Des jeux conduits sur des graphiques complexes et infinis
- Des jeux à objectifs quantitatifs
- Des jeux avec des informations incomplètes et sur des structures dynamiques
- L'heuristique pour une résolution efficace du jeu
L'atelier se tiendra avant l'édition 2016 de la conférence ETAPS (European Joint Conferences on Theory and Practice of Software). La principale conférence ETAPS se déroulera du 4 au 8 avril 2016.
Pour plus d'informations, veuillez consulter:
page web de l'évènement du projet(s’ouvre dans une nouvelle fenêtre)