Annual Workshop of the ESF Networking Programme on Games for Design and Verification
Naples, 7th – 12th September 2012
The ESF Networking Programme on Games for Design and Verification(GAMES) is a European Network pursuing research and training on the design and verification of computing systems, in a framework that is based on the interplay of finite and infinite games, mathematical logic, and automata theory.
The GAMES Workshop 2012 will be held in Napoli, Italy.
Special price for room:
€ 70 for double single
€ 90 for a double comfort
€ 110 eur for VIP rooms – panoramic view.
Notes: includes wi-fi and breakfast. Tax and service. Garage available 200 mt.
Underground station MERGELLINA close to us.