Formats 2016

14th International Conference on Formal Modelling and Analysis of Timed Systems

14th International Conference on Formal Modelling and Analysis of Timed Systems

  • Home
  • Proceedings
  • Programme
    • Programme
    • Invited speakers
    • Accepted papers
  • Local informations
    • Registration
    • Venue
    • Travel information
    • Accomodation
  • Other events
    • CONCUR’16
    • QEST’16
  • About FORMATS
    • Call for papers
  • About FORMATS 2016
    • Call for papers
    • Invited speakers
    • About FORMATS

Important dates

  • abstract submission: 1526 april 2016
  • paper submission: 22 29 april 2016
  • notification: 5 13 june 2016
  • final version: 11 28 june 2016
  • conference: 24-26 august 2016

General chair

  • Josée Desharnais (U. Laval, Canada)

Program committee chairs

  • Martin Fränzle (U. Oldenburg, Germany)
  • Nicolas Markey (CNRS-UPSaclay, France)

Publicity chair

  • Sebastian Gerwinn (Offis e.V., Germany)

Program committee

  • S. Akshay (IIT Bombay, India)
  • Béatrice Bérard (U. Paris 6, France)
  • Hanifa Boucheneb (U. Montréal, Canada)
  • Laura Carnevali (U. Firenze, Italy)
  • Franck Cassez (U. Macquarie, Australia)
  • Martin Fränzle (U. Oldenburg, Germany)
  • Gilles Geeraerts (ULB, Belgium)
  • Michael R. Hansen (DTU, Denmark)
  • Boudewijn Haverkort (U. Twente, NL)
  • Franjo Ivancic (Google, USA)
  • Oded Maler (VERIMAG, CNRS-UGA, France)
  • Nicolas Markey (CNRS-UPSaclay, France)
  • Chris Myers (U. Utah, USA)
  • Jens Oehlerking (Bosch GmbH, Germany)
  • David Parker (U. Birmingham, UK)
  • Karin Quaas (U. Leipzig, Germany)
  • Stefan Ratschan (CAS, Czech Republic)
  • César Sánchez (IMDEA Software Inst., Spain)
  • Sriram Sankaranarayanan (U. Colorado, USA)
  • Jeremy Sproston (U. Torino, Italy)
  • Jiri Srba (U. Aalborg, Denmark)
  • Lothar Thiele (ETH Zurich, Switzerland)
  • Enrico Vicario (U. Firenze, Italy)
  • Mahesh Viswanathan (U. Illinois, USA)
  • James Worrell (U. Oxford, UK)
  • Sergio Yovine (U. Buenos Aires, Argentina)
  • Huibiao Zhu (ECNU, China)

Proceedings


The proceedings are available at Springer:

http://link.springer.com/book/10.1007/978-3-319-44878-7

· © 2017 Formats 2016 · Designed by Press Customizr · Powered by ·