Venue and Accommodation

FORMATS 2012 will be co-located with QEST 2012, whose venue and accommodation web pages provides detailed information.

Important Dates

Abstract submission: ~~7 May~~ 14 May

Paper submission: ~~11 May~~ 18 May

Notification: ~~15 June~~ 22 June

Final version: ~~7 July~~

Conference: ~~18-20 September 2012~~

Program Committee

Parosh Aziz Abdulla, Sweden

Marius Bozga, France

Thomas Brihaye, Belgium

Franck Cassez, Australia

Krishnendu Chatterjee, Austria

Georgios Fainekos, USA

Holger Hermanns, Germany

Marcin Jurdziński, UK (co-chair)

Christoph Kirsch, Austria

Kai Lampka, Sweden

Kim G. Larsen, Denmark

Insup Lee, USA

Axel Legay, France

Nicolas Markey, France

Dejan Nickovic, Austria (co-chair)

Nir Piterman, UK

Jean-Francois Raskin, Belgium

Olivier H. Roux, France

Jeremy Sproston, Italy

Jiří Srba, Denmark

P. S. Thiagarajan, Singapore

Stavros Tripakis, USA

Frits Vaandrager, The Netherlands

James Worrell, UK

Steering Committee

Rajeev Alur, USA

Eugene Asarin, France

Thomas A. Henzinger, Austria

Joost-Pieter Katoen, Germany

Kim G. Larsen, Denmark

Oded Maler, France

Lothar Thiele, Switzerland

Wang Yi, Sweden

Past Conferences

FORMATS 2011, Aalborg, Denmark

FORMATS 2010, Klosterneuburg, Austria

FORMATS 2009, Budapest, Hungary

FORMATS 2008, St Malo, France

FORMATS 2007, Salzburg, Austria

FORMATS 2006, Paris, France

FORMATS 2005, Uppsala, Sweden

FORMATS 2004, Grenoble, France

FORMATS 2003, Marseille, France