Distributed Computing Techniques 2009
9-12 June, 2009
Lisbon, Portugal
http://discotec09.di.fc.ul.pt
CALL FOR PAPERS
The IFIP international conference on Formal Techniques for Distributed Systems is formed jointly from the two conference series FMOODS and FORTE. It is part of the federated conference event DisCoTec (Distributed Computing Techniques) which also includes the 11th international conference on Coordination Models and Languages (COORDINATION) and the 9th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS). The event will be hosted by the Faculty of Sciences of the University of Lisbon.
Objectives and Scope
The joined conference FMOODS/FORTE is a forum for fundamental research on theory and applications of distributed systems. The conference solicits original contributions that advance the science and technologies for distributed systems, in particular in the areas of:
- Component- and model-based design
- Service-oriented, ubiquitous, pervasive, grid and mobile computing
- Software quality, reliability and security
The conference encourages contributions that combine theory and practice, address problems from the development of distributed systems, and present novel solutions with formal methods and theoretical foundations.
FMOODS/FORTE 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 behavioural typing
- Formal Methods and Techniques: design, specification, analysis, verification, validation and testing of various types of distributed systems including communications and network protocols, service-oriented systems, and adaptive distributed systems
- Applications of Formal Methods: applying the existing methods and techniques to distributed systems, particularly web services, multimedia systems, and telecommunications
- 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
Invited Speaker
Jayadev Misra, Univ. of Texas at Austin, USA
"Structured Application Development over Wide-Area Networks"
FMOODS/FORTE '09 Organisation
PC Chairs
Program Committee
- Gregor v. Bochmann, University of Ottawa, Canada
- Paulo Borba, Federal University of Pernambuco, Brazil
- Mario Bravetti, University of Bologna, Italy
- Ana Cavalli, INT Evry, France
- John Derrick, University of Sheffield, U.K.
- Reinhard Gotzhein, University of Kaiserslautern, Germany
- Susanne Graf, Universite Joseph Fourier / CNRS / VERIMAG
- Teruo Higashino, Osaka University, Japan
- Dieter Hogrefe, University of Gottingen, Germany
- Gerard Holzmann, NASA/JPL, USA
- Claude Jard, ENS Cachan - Bretagne, France
- Einar Broch Johnsen, University of Oslo, Norway
- Ferhat Khendek, Concordia University, Canada
- Myungchul Kim, Information and Communications University, South Korea
- Hartmut Koenig, Brandenburg University of Technology, Germany
- David Lee, The Ohio State University, USA (CO-CHAIR)
- Luigi Logrippo, University of Quebec - Outaouais, Canada
- Antonia Lopes, University of Lisbon, Portugal (CO-CHAIR)
- Peter Mueller, ETH, Switzerland
- Elie Najm, ENST, France
- Uwe Nestmann, Technical University of Berlin, Germany
- Manuel Nunez, Complutense University of Madrid, Spain
- Olaf Owe, University of Oslo, Norway
- Alexandre Petrenko, CRIM Montreal, Canada
- Frank Piessens, Katholieke Universiteit Leuven, Belgium
- Arnd Poetzsch-Heffter, University of Kaiserslautern, Germany (CO-CHAIR)
- Jean-François Pradat-Peyre, Cedric-CNAM, France
- Wolfgang Reisig, Humboldt-University of Berlin, Germany
- Arend Rensink, University of Twente, Netherlands
- Martin Steffen, University of Oslo, Norway
- Carolyn Talcott, SRI International, USA
- Ken Turner, University of Stirling, UK
- Keiichi Yasumoto, Nara Institute of Science and Technology, Japan
- Nina Yevtushenko, Tomsk State University, Russia
- Xia Yin, Tsinghua University, China
- Gianluigi Zavattaro, University of Bologna, Italy
- Heike Wehrheim, University of Paderborn, Germany
- Martin Wirsing, LMU Munich, Germany
Steering Committee
- Gilles Barthe, IMDEA Software, Spain
- Gregor v. Bochmann, University of Ottawa, Canada
- Frank S. de Boer, Centrum voor Wiskunde en Informatica, the Netherlands
- Marcello M. Bonsangue, Leiden University, the Netherlands
- John Derrick, University of Sheffield, UK
- Khaled El-Fakih, American University of Sharjah, UAE
- Roberto Gorrieri, University of Bologna, Italy
- Einar Broch Johnsen, University of Oslo, Norway
- Elie Najm, ENST, France
- Jean-François Pradat-Peyre, Cedric-CNAM, France
- Martin Steffen, University of Oslo, Norway
- Carolyn Talcott, SRI International, USA
- Ken Turner, University of Stirling, UK
- Jüri Vain, Tallinn University of Technology, Estonia
- Heike Wehrheim, University of Paderborn, Germany
- Keiichi Yasumoto, NAIST, Japan
- Gianluigi Zavattaro, University of Bologna, Italy
Important dates
- Abstract submission: 10 February 2009, 23:59 Samoa time (= UTC-11)
- Paper submission: 13 February 2009, 23:59 Samoa time
- Author notification: 20 March 2009
- Camera-ready copy: 1 April 2009
Proceedings and Submission guidelines
The FMOODS/FORTE 2009 conference calls for high quality papers presenting research results and/or application reports related to the topics in conference scope as described above. All papers must be original, unpublished, and not submitted for publication elsewhere. Contributions should be submitted electronically in PDF form at the submission site, using the
Springer LNCS style. Papers should not exceed 15 pages in length. Each paper will undergo a peer review of at least 3 anonymous reviewers.
The conference proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science (LNCS) series. Proceedings will be made available at the conference. In addition, the journal Higher Order and Symbolic Computation will publish a special issue consisting of extended versions of the top ranking papers from FMOODS/FORTE 2009.