Abschlussveranstaltung und Workshop von CASSTING

Mit dem Workshop sollen Forscher zusammengebracht werden, die sich (im weitesten Sinne) mit formalen Verfahren zur automatischen Verifizierung und Synthese komplexer Systeme auseinandersetzen. Der Workshop setzt sich aus Hauptvorträgen sowie weiteren Vorträgen zusammen, in denen neue oder bereits veröffentlichte Arbeiten vorgestellt werden.

Zu den interessanten Themen zählen:

- Spiele für die Synthese komplexer Rechensysteme
- Spiele auf komplexen und unendlichen Graphen
- Spiele mit quantitativen Zielen
- Spiele mit unvollständigen Informationen und auf dynamischen Strukturen
- Heuristik für effiziente Spiellösung

Der Workshop wird vor der diesjährigen ETAPS-Konferenz (European Joint Conferences on Theory and Practice of Software) abgehalten. Die ETAPS-Konferenz selbst wird vom 4. bis 8. April 2016 stattfinden.

Weitere Informationen finden Sie auf:
Veranstaltungswebseite des Projekts(öffnet in neuem Fenster)