Committees

Symposium Chair

Tiziana Margaria
LERO
tiziana.margaria@lero.ie

Program Chair

Bernhard Steffen
TU Dortmund
steffen@cs.uni-dortmund.de

Industrial Chair

Axel Hessenkämper

Program Committee (TBC)

  • Yamine Ait Ameur | ISAE-ENSMA
  • Idir Ait Sadoune | CentraleSupelec
  • Christel Baier | TU Dresden
  • Ezio Bartocci | Vienna University of Technology
  • Maurice ter Beek | ISTI-CNR
  • Dirk Beyer | University of Passau
  • Fabrizio Biondi | Postdoc Inria
  • Manfred Broy | Technische Universität München
  • Ingrid Chieh Yu | Univ. of Oslo
  • Ferruccio Damiani | Univ. of Torino
  • Boris Düdder | TU Dortmund
  • Ylies Falcone | Univ. Grenoble-Alpes
  • Alessandro Fantechi | University of Florence
  • Michael Felderer | University of Innsbruck
  • Paul Gibson | IT Sud Paris
  • Stefania Gnesi | ISTI-CNR
  • Dilian Gurov | KTH Royal Institute of Technology
  • Reiner Hähnle | TU Darmstadt
  • Klaus Havelund | Jet Propulsion Laboratory
  • George Heineman | WPI
  • Holger Hermanns | Saarland U
  • Falk Howar | TU Clausthal
  • Marieke Huisman | University of Twente
  • Stefan Jähnichen | TU Berlin
  • Jens Knoop | TU Wien
  • Rahul Kumar | Jet Propulsion Laboratory, NASA
  • Anna-Lena Lamprecht | University of Potsdam
  • Kim Larsen | Aalborg University
  • Axel Legay | CR Inria
  • Jonas Lundberg | Linnaeus University
  • Karl Meinke | KTH Royal Institute of Technology
  • Rosemary Monahan | Maynooth University
  • Marc Pantel | IRIT/INPT-ENSEEIHT
  • Andreas Rausch | TU Clausthal
  • Jakob Rehof | TU Dortmund
  • Ina Schäfer | TU Braunschweig
  • Ina Schieferdecker | Fraunhofer FOKUS
  • Markus Schordan | Lawrence Livermore National Laboratory
  • Christoph Seidl | TU Braunschweig
  • Martin Wirsing | LMU München

  • The ISoLA Symposium is a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.

    Get in Touch


    Academic Matters


    Tiziana Margaria

    Symposium Chair

    LERO, The Irish Software Research Centre
    tiziana.margaria[at]lero.ie

    Bernhard Steffen

    Program Chair

    Technical University of Dortmund, Germany
    steffen[at]cs.uni-dortmund.de

     


    Conference Arrangements

    For other matters, including reservations, conference registration, submission etc.

    Easy Conferences
    info@easyconferences.eu
    www.easyconferences.eu
    T: (+357) 22 591 900
    F: (+357) 22 591 700