Co-located Events at the ISoLA Week:
- RERS - Challenge on practical automata learning
- IT Simply Works – Editorial Meeting (ITSy)
- Graduate/Postgraduate Course on "Soft Skills for IT Professionals in Science and Engineering"
Tracks
- Emerging services and technologies for a converging Telecommunications / Web world in smart environments of the Internet of Things
- Learning Techniques for Software Verification and Validation
- Modeling and Formalizing Industrial Software for Verification, Validation and Certification
- Formal Methods in Model-Driven Development for.Service-Oriented and Cloud Computing
- Tools in Scientific Workflow Composition
- New challenges in the development of critical embedded systems - an "aeromotive" perspective
- Model-based testing for security
- Leveraging formal methods through collaboration
- Web Science
- Formal languages and methods for designing and verifying complex engineering systems
- Software Aspects of Robotic Systems
- Resource and Timing Analysis
- Quantitative Verification in Practice
- Worst Case Traversal Time (WCTT)
- Model Transformation and Analysis for Industrial Scale Validation
- Certification of Software-Driven Medical Devices
- CONNECT: Status and Plan
- EternalS: Mission and Roadmap
Symposium Chair
Tiziana MARGARIA
(Univ. Potsdam, D)
margaria[at]cs.uni-potsdam.de
Program Chair
Bernhard STEFFEN
(TU Dortmund, D)
steffen[at]cs.uni-dortmund.de
Committees
Symposium Chair
Tiziana MARGARIA
(Univ. Potsdam, D)
margaria[at]cs.uni-potsdam.de
Program Chair
Bernhard STEFFEN
(TU Dortmund, D)
steffen[at]cs.uni-dortmund.de
Program Committee
(to be completed)
Yamine AIT AMEUR (LISI/ENSMA, FR)
Frédéric BONIOL (IRIT/ENSEEIHT, FR)
Karin BREITMAN (PUC-Rio, BRA)
Marco Antonio CASANOVA (PUC-Rio BRA)
Noel CRESPI (Institut Telecom, FR)
Rémi DELMAS (ONERA, FR)
Pierre-Loïc GAROCHE (ONERA, FR)
Dimitra GIANNAKOPOULOU (CMU/NASA, USA)
Howard FOSTER (City U. London, UK)
Stefania GNESI (ISTI-CNR, PISA, IT)
Kevin HAMMOND (U. of St. Andrews, UK)
Boudewijn HAVERKORT (ESI, NL)
Michael HINCHEY (LERO, IE)
Visar JANUZAJ (TU Darmstadt, DE)
Joost-Pieter KATOEN (RWTH Aachen, DE)
Pascal MONTAG (Daimler AG, DE)
Joost KOK (U. Leiden, NL)
Jens KNOOP (TU Vienna, A)
Stefan KUGELE (TU München, DE)
Anna-Lena LAMPRECHT (TU Dortmund, DE)
Boris LANGER (Diehl Aerospace DE)
Gyu Myoung LEE (Institut Telecom, FR)
Björn LISPER (Mälärdalen U., S)
Thomas MAGEDANZ (TU Berlin DE)
Dominique MERY (U. Nancy, FR)
Pascal MONTAG (Daimler AG, DE)
Corina PASAREANU (CMU/NASA Ames, USA)
Alexander K. PETRENKO (ISPRAS, Moscow, RU)
Christian SCHALLHART (TU Darmstadt, DE)
Amal SEGHROUCHNI (Univ. Pierre et Marie Curie, FR)
Laura SEMINI (U. Pisa, IT)
Helmut VEITH (TU Wien, A)
Virginie WIELS (ONERA, FR)
Mark D. WILKINSON (iCAPTURE, BC USA)
Rostislav YAVORSKIY (Microsoft UK/Moscow)
Kim G. LARSEN (Center for Embedded Software Systems, DK)
Anne BOUILLARD (ENS Cachan, FR)
Marc BOYER (ONERA, FR)
Samarjit CHAKRABORTY (Technische Universität München, D)
Jean-Luc SCHARBARG (IRIT, FR)
Steven MARTIN (LRI, FR)
Eric THIERRY (ENS Lyon, FR)
Giovanni STEA (Pisa University, I)
He JIFENG East (China Normal University, Shanghai)
Zhiming LIU (UNU-IIST, Macao)
Abhik ROYCHOUDHURY (NUS, Singapore)
Alan WASSYNG (McMaster University, CA)
Tom MAIBAUM (McMaster University, CA)
Mark LAWFORD (McMaster University, CA)