posted by user: jyotirmoy || 2145 views || tracked by 4 users: [display]

FMOODS/FORTE 2010 : Formal Methods for Open Object-based Distributed Systems/Formal Techniques for Networked and Distributed Systems


When Jun 7, 2010 - Jun 9, 2010
Where Amsterdam
Abstract Registration Due Feb 8, 2010
Submission Deadline Feb 12, 2010
Notification Due Mar 19, 2010
Final Version Due Apr 2, 2010

Call For Papers

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
* object technology, modularity, software adaptation
* 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:

Topics of interest include but are not limited to:

* Languages and Models: new language and modeling concepts for distribution and concurrency including object-oriented, aspect-oriented, reflection, and meta-programming technologies; integration of language and modeling paradigms

* Semantic Foundations: 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. Advances in tool-based formal analyses such as static analysis, model checking, theorem proving, and deductive verification for realistic programming and modeling languages are especially encouraged.

* 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 and Special Celebration of FORTE History

Gerard Holzmann, Jet Propulsion Laboratory, USA

FORTE traces its heritage back to the Protocol Specification, Testing and Verification (PSTV) conference first held in 1981 at Teddington, UK. Since that first meeting, PSTV has evolved into FORTE, and this year's conference in Amsterdam is the 30th meeting in the conference series. To highlight this milestone, this year's DisCoTec plans to include a special celebration reflecting on the progress of the community since 1981 and challenges for the future.

In the first PSTV meeting in 1981, Gerard Holzman published a paper containing his early views of what would become the SPIN model checker. We are pleased to note that special work in the history of FORTE by featuring Dr. Holzmann as the keynote speaker of FORTE 2010 as part of this special celebration of FORTE's history.
Submission Guidelines

FMOODS & FORTE solicits high quality papers reporting research results and/or experience reports. All papers must be original, unpublished, and not submitted for publication elsewhere. Contributions should be submitted electronically as postscript or PDF, using the SPRINGER LNCS style. Each paper will undergo a thorough process of review and the conference proceedings will be published by Springer-Verlag in the LNCS series. Papers should not exceed 15 pages in length. Proceedings will be made available at the conference. Submission implies the acceptance that at least one author will attend the conference if the paper is accepted.
Important Dates

Abstract submission: February 8, 2010
Paper submission: February, 12 2010
Author notification: March 19, 2010
Camera-ready version: April 2, 2010
Conferences: June 7-9, 2010
Co-located events: June 10, 2010

DisCoTec General Chair

* Frank S. de Boer, Centrum Wiskunde & Informatica (CWI), Netherlands

PC Chairs

* John Hatcliff, Kansas State University, United States of America
* Elena Zucca, University of Genoa, Italy

Publicity Chairs

* Antonia Lopes, University of Lisbon, Portugal
* Gianluigi Zavattaro, University of Bologna, Italy (DisCoTec general publicity chair)

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
* David Lee, The Ohio State University, USA
* Antonia Lopes, University of Lisbon, Portugal
* Elie Najm (chair), ENST, France
* Arnd Poetzsch-Heffter, University of Kaiserslautern, Germany
* Jean-François Pradat-Peyre, LIP6 laboratory, Paris, France
* Antonio Ravara, Technical University of Lisbon, Portugal
* 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

Program Committee

* John Hatcliff (chair), Kansas State University, United States of America
* Elena Zucca (chair), University of Genoa, Italy
* 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.
* Mariangiola Dezani, University of Torino, Italy
* Juergen Dingel, Queens University, Kingston, Ontario
* Dieter Hogrefe, University of Gottingen, Germany
* Valerie Issarny, INRIA, France
* Claude Jard, ENS Cachan - Bretagne, France
* Einar Broch Johnsen, University of Oslo, Norway
* Ferhat Khendek, Concordia University, Canada
* David Lee, The Ohio State University, USA
* Jay Ligatti, University of South Florida, USA
* Luigi Logrippo, University of Quebec - Outaouais, Canada
* Antonia Lopes, University of Lisbon, Portugal
* Peter Mueller, ETH, Switzerland
* 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
* Martin Steffen, University of Oslo, Norway
* Ken Turner, University of Stirling, UK
* Martin Wirsing, LMU Munich, Germany
* Keiichi Yasumoto, Nara Institute of Science and Technology, Japan
* Nabuko Yoshida, Imperial College, UK

Related Resources

DisCoTec 2020   International Federated Conference on Distributed Computing Techniques
ABZ 2020   ABZ 2020 – 7th International Conference on Rigorous State Based Methods
SEFM 2020   Software Engineering and Formal Methods
IPMU 2020   18th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems
FormaliSE 2020   8th International Conference on Formal Methods in Software Engineering
TextGraphs 2020   14th Workshop on Graph-Based Natural Language Processing (TextGraphs-14)
DEBS 2020   14th ACM/IFIP International Conference on Distributed and Event-based Systems 2020 - CFP Research Papers
IJCAR 2020   10th International Joint Conference on Automated Reasoning
CAV 2020   Computer Aided Verification
NFM 2020   12th NASA Formal Methods Symposium