The ubiquity of computer-based systems implies that a high degree of reliance - expressed by the notion of dependability - is placed on systems being in charge of the monitoring of nuclear plants and the flying of airplanes, etc. Dependability encompasses vital characteristics of the system such as safety - the non-occurrence of catastrophic consequences for the environment the system works in, availability - the readiness for correct service of the system, and reliability - the property of the system to continuously provide service and integrity - the non-occurrence of inadequate information alteration.
The complexity of current computer-based systems as well as their numerous applications increased the challenges for ensuring dependability. Cost pressure adds stringent constrains on the development and deployment of software controlling such systems. This often leads to poor software quality or even to the overall failure of delivering the adequate software. Moreover, the use of various emerging technologies implies solving new tasks such as the provision of reliable services over the unreliable infrastructures, ensuring the dependability of constantly evolving systems, etc.
One of the appropriate approaches for modeling and verifying dependable computer-based systems is provided by formal methods. This workshop aims to gather research efforts on the application of formal methods for addressing current issues in ubiquitous computer systems.
Authors are invited to submit full papers describing original research work in areas including, but not limited to:
FMDEP 2013 workshop solicits high quality papers reporting research results and/or experience reports related to the application of formal methods for dependable development of computer-based systems. The proceedings of the workshop will be published in the series of Electronic Proceedings in Theoretical Computer Science. All papers must be original, unpublished, and not submitted for publication elsewhere. The page limit for each paper is 15 pages and each paper formatted according to EPTCS guidelines. Each paper will undergo a thorough review process.
All accepted papers must be presented at the workshop. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the workshop and present the paper.
Manuscripts can be uploaded online at https://www.easychair.org/conferences/?conf=fmdep2013.
Selected papers will be invited to a journal special issue, complemented by an open call for papers.
We have the pleasure of announcing the following distinguished speaker who has kindly accepted our invitation to lecture at FMDEP 2013:
Margus Veanes (Microsoft Research, Redmond, USA) Topic - TBA.
Jüri Vain, Tallinn University of Technology, Estonia (vain at ioc.ee)
Leonidas Tsiopoulos, Åbo Akademi University, Finland (leonidas.tsiopoulos at abo.fi)
Simin Nadjm-Tehrani, Linköping University, Sweden
Einar Broch Johnsen, University of Oslo, Norway
Alexei Iliasov, Newcastle University, UK
Brian Nielsen, Aalborg University, Denmark
Elena Troubitsyna, Åbo Akademi University, Finland
Mass Soldal Lund, Norwegian Defence Cyber Academy, Norway
Wang Yi, Uppsala University, Sweden
Jüri Vain, Tallinn University of Technology, Estonia (chair)
Leonidas Tsiopoulos, Åbo Akademi University, Finland (co-chair)
Luigia Petre, Åbo Akademi University, Finland
Johannes Eriksson, Åbo Akademi University, Finland
Keijo Heljanko, Aalto University, Finland
Juhan-Peep Ernits, Tallinn University of Technology, Estonia
Pontus Böstrom, Åbo Akademi University, Finland
Sophie Quinton, Technical University of Braunschweig, Germany
Reinhard Wilhelm, Universität des Saarlandes, Germany
Martin Fränzle, Carl von Ossietzky Universiät Oldenburg, Germany
Patrizio Pelliccione, University of L'Aquila, Italy
Vincenzo De Florio, University of Antwerp, Belgium
Hui Cheng, University of Bedfordshire, UK
Leo G. Marcus, The Aerospace Corporation, USA
Zonghua Gu, Zhejiang University, China
Paul Pop, Technical University of Denmark, Denmark