gandalf2015.dibris.unige.it
Travel to Genoa
http://gandalf2015.dibris.unige.it/index.php/travel-to-genoa
Jump to main navigation and login. Jump to additional information. The airport of Genova Cristoforo Colombo. GOA) is the most rapid and immediate connection with the Italian and European towns. There are daily direct flights to Roma, Milano Malpensa, Napoli, London Gatwick, London Stansted (very cheap by Ryan Air. Paris CDG, Munich, and Madrid. When you arrive at Genova airport, you can reach the town center with the city bus n. 100 Volabus. By Plane to another Airport. Milan airports, Malpensa. You can ...
gandalf2015.dibris.unige.it
Invited Speakers
http://gandalf2015.dibris.unige.it/index.php/invited-speakers
Jump to main navigation and login. Jump to additional information.
gandalf2015.dibris.unige.it
Committees
http://gandalf2015.dibris.unige.it/index.php/program-committee
Jump to main navigation and login. Jump to additional information. Parosh Aziz Abdulla, Univ. of Uppsala Sweden. Ahmed Bouajjani, LIAFA France. Thomas Brihaye, Mons University, Belgium. Pavol Cerny, University of Colorado Boulder USA. Krishnendu Chatterjee, Inst. of Science and Tech Austria. Giorgio Delzanno, University of Genoa Italy. Laurent Doyen, LSV France. Bernd Finkbeiner, Saarbrücken Germany. Pierre Ganty, IMDEA, Spain. Antonin Kucera, Masaryk University (Brno), Czech Republic.
gandalf2015.dibris.unige.it
Accomodation
http://gandalf2015.dibris.unige.it/index.php/accomodation
Jump to main navigation and login. Jump to additional information. The best way to book hotel is to use on-line services like:. Booking.com http:/ www.booking.com/. Tripadvisor http:/ www.tripadvisor.it/. Google Hotel Finder https:/ www.google.it/hotelfinder/. Nearby the conference location (Albaro Area). Hotel Il Giardino di. Albaro http:/ www.ilgiardinodialbaro. Nearby the town center. BEST WESTERN Hotel Moderno Verdi http:/ www.modernoverdi.it/. Hotel Bristol Palace http:/ www.hotelbristolpalace.
gandalf2015.dibris.unige.it
About Genoa
http://gandalf2015.dibris.unige.it/index.php/about-genoa
Jump to main navigation and login. Jump to additional information. Genova viewed from a drone. Genova, the capital of Liguria. Stretches along the bay of the same name from Voltri to the west as far as Nervi to the east, while the hinterland area takes in the lower parts of the Polcevera and Bisagno Valleys. The original nucleus of the city, which already existed in pre-Roman times, developed around the Mandraccio wharf area and on Castello Hill, which overlooks it. And Le Cinque Terre. Regional and Nati...
gandalf2015.dibris.unige.it
Organizers
http://gandalf2015.dibris.unige.it/index.php/organizers
Jump to main navigation and login. Jump to additional information. Margherita Napoli, Università di Salerno. Javier Esparza TU, Munich. Enrico Tronci La Sapienza, Roma. DIBRIS, University of Genova.
gandalf2015.dibris.unige.it
Preliminary program
http://gandalf2015.dibris.unige.it/index.php/preliminary-program
Jump to main navigation and login. Jump to additional information. 9:00-10:00 Parity Games through the Ages. Sven Schewe. Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen and Simon Laursen. 11-11:30 Making the Best of Limited Memory in Multi-Player Discounted Sum Games. Anshul Gupta, Sven Schewe and Dominik Wojtczak. 14:00-15:00 Parameterized verification of probabilistic networks. Natalie Bertrand (Inria Rennes). This is based on a joint work with Paulin Fournier and Arnaud Sangnier.
gandalf2015.dibris.unige.it
Venue
http://gandalf2015.dibris.unige.it/index.php/venue
Jump to main navigation and login. Jump to additional information. The conference will take place in the historic building of Villa Giustiniani-Cambiaso, Genoa. Via Montallegro, 1. The Villa is less than 2km far from Genova Brignole railway station (main railway station) and 2.7km far from Piazza De Ferrari (main town square). The villa can be easily reached from the town center by public transports (bus). The journey takes about 10 minutes by bus and 30 minutes by walk.
gandalf2015.dibris.unige.it
Home
http://gandalf2015.dibris.unige.it/index.php
Jump to main navigation and login. Jump to additional information. The Sixth International Symposium on. Games, Automata, Logics and Formal Verification. September 21 22, 2015, Genova, Italy. The aim of GandALF 2015 symposium is to bring together. Researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. Last edition in Verona: Gandalf 2014.