ISoLA 2014

6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 08-11 October 2014 - Imperial, Corfu, Greece

The intended Character of ISoLA

ISoLA aims at a thematically coherent program with maximum value for the participants. In particular we want to be attractive for people with practice background, who come to ISoLA to orient themselves concerning the leading edge technologies and their impact on their fields, to get ideas for new directions, and to establish (international) cooperations. Track organizers are therefore encouraged to invite appropriate experts in the field, which are able to present their ideas and results in an impact-oriented fashion, illustrating the potential of their area of competence and of their current research in a way that is accessible by the people in need for new solutions.Thus an important intended outcome is an intensified dialogue between research and (industrial) application, a goal that is also reflected in the organizational structure: sessions consist of 20-minute talks on related subjects with a 30 minute concluding panel discussion, which underlines our symposium-like intention.

The corresponding paper reviewing process should therefore be considered more like a process of improvement through feedback rather than a process of selection. Contributions by track organizers to their own track are handled by their non-involved co-organizers (if existent), else by the ISoLA Program Chair. This procedure, where quality is not weighted in terms of acceptance rates but enforced by pre-selective design, has been agreed also by the publisher.

In addition to these technology transfer-oriented sessions, ISoLA also features contributions by younger researchers, who may present new ideas and results in order for others to take them up and explore their potential impact. Technically, the according (open) submissions are also submitted via the central online service to the thematically best fitting track and are reviewed by the members of the ISoLA program committee according to the established scientific standards. Their program placement, however, will be decided during the composition of the program according the above mentioned goal of maximum value for participants.

This is not the only way in which ISoLA addresses the interests of younger scientists. In 2014 there will be an Autumn School on "International School on Tool-based Rigorous Engineering of Software Systems -STRESS 2014" , a course on soft skills, and a challenge on Automated Model Discovery, and there are two proposals for short graduate schools and training.

Symposia

2012: 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (Amirandes, Heraclion, Crete)
   
2010: 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (Amirandes, Heraclion, Crete)
   
2008: 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (Porto Sani, Greece)
   
2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (Paphos, Cyprus)
   
2004: 1st International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (Paphos, Cyprus)

Workshops

2013: Rigorous Examination of Reactive Systems (RERS) Challenge (Silicon Valley, California, USA), co-located with ASE 2013
   
2011: International ISoLA Workshops on: Software Aspects of Robotic Systems and Machine Learning for System Construction (Vienna University of Technology)
   
Med 2009:1st International ISoLA Symposium on Structural Changes and Market Dynamics in the Healthcare Sector (Potsdam Kongresshotel am Templiner See).
   
Bio 2009:1st International ISoLA Workshop on Modeling, Analyzing, Discovering Complex Biological Structures (Potsdam Kongresshotel am Templiner See)
   
2007: ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation (Poitiers, France)
   
2005: IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation (Loyola College Graduate Center, Columbia, MD)