Timed Systems / GPU / Numerical Transition Systems / /
Facility
République station / Bir-Hakeim bridge / Bir-Hakeim station / Cnam museum / Cnam restaurant / Reaumur-Sebastopol station / La Motte-Picquet-Grenelle station / Tour Eiffel / Saint-Michel station / Chapel Saint-Martin-desChamps / /
IndustryTerm
symposium site / conference site / wireless Internet connection / public transportation / satellite events / wireless network eduroam / pointer manipulating algorithms / /
Organization
ORGANISING COMMITTEE / PROGRAMME COMMITTEE / /
Person
Olga Kouchnarenko / Jin Song Dong / Lin / Victor Braberman / Yang Liu / Daniel Ricketts / Mikael Asplund / Hossein Hojjat / Aldi Sulova / Sebastian Uchitel / Radu Iosif / Stephan Merz / Pierre Courtieu / Yannick Moy / Orna Grumberg / Natarajan Shankar / Vinny Cahill / Viktor Kuncak / Evren Ermis / Demis Ballis / Srinivas Nedunuri / Catherine Dubois / Douglas Smith / Faranak Heidarian / Jeff Kramer / Francisco Frechina / Andrei Stefanescu / Atif Manzoor / Fides Aarts / Sam Owre / Siobhan Clarke / David Rydeheard Quantified / Michel Notre Dame / Indranil Saha / Julien Dormoy / Daniel Plagge / Checking James Heather / Hernán Vanzetto / Melanie Bouroche / Filip Konecny / Nir Piterman / Florent Garnier / Martin Schäf / Steve Schneider / William R Cook / Damien Doligez / Mirko Spasic / Martin Abadi / Béatrice Bérard / Bart van Rijnsoever / Marc Sango / María Alpuente / Daniel Romero / Dominique Mery / Ammar Osaiweran / Giles Reger / Matthieu Carlier / Filip Maric / Freeness Yael Meller / Michael Leuschel / Arnaud Lanoix / Jun Sun / Klaus Havelund / Song Dong / Maurice H. Ter Beek / Leslie Lamport / Nicolas D'Ippolito / Martin Strecker -Correctness / Tom Fransen / Mathieu Giorgino / Denis Cousineau / Wies - Error Invariants Virginia Aponte / Jan Friso Groote / Philipp Ruemmer / Arnaud Gotlieb / Franco Mazzanti / Yan Liu / Grigore Rosu / Étienne André / Karen Yorav / Andreas Bauer / Mars-Tour Eiffel / /
Position
General / Applying Software Model / Model / General Information Arrival The registration desk / observer / /
1 INDEX PREFACE ............................................................................................................ 3 GENERAL INFORMATION .......................................................................