Taller y evento de clausura de CASSTING
2 Abril 2016 - 3 Abril 2016
Eindhoven, Países Bajos
El taller tiene la finalidad de reunir a investigadores dedicados a temas relacionados, de un modo amplio, con los métodos formales para la verificación y la síntesis automáticas de sistemas complejos. Constará de cuatro conferencias invitadas y varias otras charlas (algunas originales y otras ya publicadas).
Entre los temas de interés figuran:
- Juegos para la síntesis de sistemas computacionales complejos.
- Juegos con grafos complejos e infinitos.
- Juegos con objetivos cuantitativos.
- Juegos con información incompleta y estructuras superdinámicas.
- Heurística aplicada a la resolución eficaz de juegos.
El taller tendrá lugar antes de la edición de 2016 del congreso de ETAPS (Conferencias conjuntas europeas sobre la teoría y la práctica del software). La conferencia principal de ETAPS será del 4 al 8 de abril de 2016.
Para más información, consulte:
la página web del evento del proyecto(se abrirá en una nueva ventana)
Entre los temas de interés figuran:
- Juegos para la síntesis de sistemas computacionales complejos.
- Juegos con grafos complejos e infinitos.
- Juegos con objetivos cuantitativos.
- Juegos con información incompleta y estructuras superdinámicas.
- Heurística aplicada a la resolución eficaz de juegos.
El taller tendrá lugar antes de la edición de 2016 del congreso de ETAPS (Conferencias conjuntas europeas sobre la teoría y la práctica del software). La conferencia principal de ETAPS será del 4 al 8 de abril de 2016.
Para más información, consulte:
la página web del evento del proyecto(se abrirá en una nueva ventana)