Share

EVENTS

20 Sep 2017 - 09:00 - 22 Sep 2017 - 13:00

The Eighth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2017) that will be held in Rome (Italy) in 20-21-22 September 2017. Amedeo Cesta and Andrea Orlandini are the Conference Chairs of the event.

Conferences & Workshops
25 Sep 2017 - 14:00 - 27 Sep 2017 - 12:00
ISTC & CNR meetings