Games 2012 Naples

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.