FMICS 2018

23rd International Conference on Formal Methods for Industrial Critical Systems

Committees

Program Chairs

  • Falk Howar, Dortmund University of Technology / Fraunhofer ISST
  • Jiří Barnat, Masaryk University

Local Organiser

  • Rosemary Monahan, Maynooth University

Program Committee

  • Alvaro Arenas, IE Business School, IE University
  • Michael Dierkes, Rockwell Collins
  • Francesco Flammini, Linnaeus University
  • Wan Fokkink, Vrije Universiteit Amsterdam
  • Maria Del Mar Gallardo, University of Malaga
  • Marieke Huisman, University of Twente
  • Peter Gorm Larsen, Aarhus University
  • Thierry Lecomte, ClearSy, Aix-en-Provence
  • Tiziana Margaria, University of Limerick
  • Radu Mateescu, INRIA
  • David Mentré, Mitsubishi Electric R&D Centre Europe
  • Stephan Merz, INRIA Nancy
  • Manuel Núñez, Universidad Complutense de Madrid
  • Peter Ölveczky, University of Oslo
  • Charles Pecheur, Université catholique de Louvain
  • Marielle Petit-Doche, Systerel, Aix-en-Provence
  • Ralf Pinger, Siemens AG
  • Matteo Rossi, Politecnico di Milano
  • Marco Roveri, FBK-irst
  • Thomas Santen, Microsoft Research Advanced Technology Labs Europe
  • Bernhard Steffen, Dortmund University of Technology
  • Jun Sun, University of Technology and Design, Singapore
  • Maurice ter Beek, ISTI-CNR, Pisa
  • Jaco van de Pol, University of Twente
  • Tomáš Vojnar, Brno University of Technology