------------------------------------------------------------------------------ FORTE / FMOODS 2013 IFIP International Conference on Formal Techniques for Distributed Systems joint international conference 33rd Formal Techniques for Networked and Distributed Systems 15th Formal Methods for Open Object-Based Distributed Systems June 3-6, 2013, Florence, Italy http://forte13.sosy-lab.org/ Abstract submission deadline: February 4, 2013 ------------------------------------------------------------------------------ OBJECTIVES AND SCOPES The 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE / 15th FMOODS) is a forum for fundamental research on theory, models, tools, and applications for distributed systems. The joint conference is the result of merging the conference FMOODS (Formal Methods for Open Object-Based Distributed Systems) and FORTE (Formal Techniques for Networked and Distributed Systems). FORTE/FMOODS 2013 is part of the DiScoTec 2013 event (see http://www.discotec.org/). The conference solicits original contributions that advance the science and technologies for distributed systems, with special interest in the areas of: - component- and model-based design - object technology, modularity, software adaptation - service-oriented, ubiquitous, pervasive, grid, cloud, and mobile computing systems - product-line-based systems - software quality, reliability, availability, and safety - security, privacy, and trust in distributed systems - adaptive distributed systems, self-stabilization, self-healing/organizing - verification, validation, formal analysis, and testing of the above. The conference encourages contributions that combine theory and practice and that exploit formal methods and theoretical foundations to present novel solutions to problems arising from the development of distributed systems. FORTE / FMOODS covers distributed computing models and formal specification, testing and verification methods. The application domains include all kinds of application-level distributed systems, telecommunication services, Internet, embedded and real time systems, as well as networking and communication security and reliability. Topics of interest include but are not limited to: - Languages and Semantic Foundations: new modeling and language concepts for distribution and concurrency, semantics for different types of languages, including programming languages, modeling languages, and domain specific languages; real-time and probability aspects; type systems and behavioral typing; - Formal Methods and Techniques: design, specification, analysis, verification, validation, testing and runtime verification of various types of distributed systems including communications and network protocols, service-oriented systems, and adaptive distributed systems; - Foundations of Security: new principles for qualitative and quantitative security analysis of distributed systems, including formal models based on probabilistic concepts; - Applications of Formal Methods: applying formal methods and techniques for studying quality, reliability, availability, and safety of distributed systems; - Practical Experience with Formal Methods: industrial applications, case studies and software tools for applying formal methods and description techniques to the development and analysis of real distributed systems. PUBLICATION AND SUBMISSIONS The FORTE/FMOODS 2013 conference calls for high-quality papers presenting research results and/or application reports related to the research areas in conference scope. Like in the past, the conference proceedings will be published by Springer in the LNCS Series. Proceedings will be made available at the conference. All papers must be original, unpublished, and not submitted for publication elsewhere. Contributions should be submitted electronically in PDF via the EasyChair system at the following address: http://forte13.sosy-lab.org/submit.php Each paper will undergo a peer review of at least 3 anonymous reviewers. The papers must be prepared using Springer's LNCS style (see http://www.springer.de/comp/lncs/authors.html). Papers must not exceed 15 pages in length, including figures and references. Submissions not adhering to the above specified constraints may be rejected immediately, without review. IMPORTANT DATES Title and abstract must be submitted before the paper. Time of all deadlines is 24:00 Samoa Standard Time (UTC-11). Abstracts February 4, 2013 Papers February 11, 2013 Notification March 18, 2013 Camera-Ready March 25, 2013 Conference June 3-6, 2013 PROGRAM COMMITTEE CO-CHAIRS - Dirk Beyer, Faculty of Computer Science and Mathematics University of Passau, Germany - Michele Boreale, Dipartimento di Statistica, Informatica, Applicazioni University of Florence, Italy PROGRAM COMMITTEE Sven Apel, Passau Saddek Bensalem, VERIMAG Griès Dirk Beyer (co-chair), Passau Michele Boreale (co-chair), Florence Tevfik Bultan, Santa Barbara Luis Caires, Universidade Nova Lisbon Mariangiola Dezani-Ciancaglini, Torino Juergen Dingel, Queen's University Ontario Simon Gay, Glasgow Holger Giese, Potsdam Kim Guldstrand Larsen , Aalborg Arie Gurfinkel, Carnegie Mellon Matthew Hennessy, Trinity College Dublin Paola Inverardi, L'Aquila Alan Jeffrey, Bell Labs Joost-Pieter Katoen, Aachen Vladimir Klebanov, Karlsruhe Axel Legay, IRISA/INRIA Rennes Matteo Maffei, Saarland Uwe Nestmann, TU Berlin Mauro Pezzè, Milano Bicocca and Lugano Corneliu Popeea, TU München Sophie Quinton, TU Braunschweig Jan Rutten, CWI Amsterdam Geoffrey Smith, Florida International Jaco Van De Pol, Twente Helmut Veith, Vienna University of Technology Martin Wirsing, Ludwig-Maximilians-Universität München Nobuko Yoshida, Imperial College London Gianluigi Zavattaro, Bologna INFO - FMOODS/FORTE 2013: http://forte13.sosy-lab.org/ - DisCoTec 2013: http://www.discotec.org/ ----------------------------------------------------------------------------------------