[TYPES/announce] Deadline extension: 10./ 13. February (abstract / paper deadline). Distributed Computing Techniques 2009, Lisbon (DAIS + FMOODS/FORTE + COORDINATION)

Martin Steffen msteffen at ifi.uio.no
Sun Feb 1 19:20:04 EST 2009


----------------------------------------------------------------------
                 !!!!  Deadline Extended  !!!!!
----------------------------------------------------------------------
     Abstract submission: 10 February 2009, 23:59 Samoa time (= UTC-11)
     Paper submission: 13 February 2009, 23:59 Samoa time
--------------------------------------------------------------------
                 

                       Federated Conferences on

		   Distributed Computing Techniques

                   http://discotec09.di.fc.ul.pt/

  		  Lisbon, Portugal 8 - 12 June 2009

           ------------------------------------------
           --------                   ---------------
           -------    FMOODS/FORTE'09 ---------------
           --------                   ---------------
           -------     DAIS'09        ---------------
           -------                    ---------------
           --------   Coordination'09 ---------------
           --------                   ---------------
          -------------------------------------------

The call for papers for each of the three federated conference follow below.

Invited Speakers:

   o Manuel Serrano, INRIA Sophia-Antipolis, France

   o Raghu Ramakrishnan, Yahoo! Research, USA 

   o Jayadev Misra, Univ. of Texas at Austin, USA 

---------------------
Joint dates (extended):
-------------------------------------------------------------------------
    * 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
-------------------------------------------------------------------------




***********************************************************************
***********************************************************************
***********************************************************************
***********************************************************************

			   CALL FOR PAPERS
  
                             FMOODS/FORTE

 IFIP International Conference on Formal Techniques for Distributed Systems
    as joint international conference of FMOODS/FORTE

(11th Formal Methods for Open Object-Based Distributed Systems and 29th
   Formal Techniques  for Networked and Distributed Systems)

		Lisbon, Portugal, June 9-11, 2009

-------------------------------------------------------------------------
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 behavioral 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  


Program Commitee:

    *  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 



-----------------------------------------------------------------------------------------
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, 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 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



********************************************************************
********************************************************************
********************************************************************

			   CALL FOR PAPERS

			  Coordination 2009

	       Languages, Models, and Architectures for
		 Concurrent and Distributed Software

		    11th International Conference

		Member of the Federated Conferences on
		   Distributed Computing Techniques
		  Lisbon, Portugal 8 - 12 June 2009

-------------------------------------------------------------------------
	      http://discotec09.di.fc.ul.pt/coordination


				Scope

Modern software lives in a concurrent world.  The ubiquity of the
Internet allows distributed software components to be composed into
complex networked systems.  At the other end of the spectrum, with
multicore processors now the norm, concurrency is frequently necessary
to maximize application performance.

Coordination 2009 seeks high-quality papers on programming languages,
models, and architectures that address the challenge of building
robust distributed and concurrent applications.  The conference
focuses on the design and implementation of models that allow
compositional construction of large-scale concurrent and distributed
systems, including both practical and foundational models, runtime
systems, and related verification and analysis techniques.

			  Topics of Interest

DISTRIBUTED AND CONCURRENT PROGRAMMING MODELS: multicore programming,
     stream programming, data parallel programming, event-driven
     programming, web programming

FOUNDATIONS OF DISTRIBUTED AND CONCURRENT INTERACTION:
     models for processes, service composition and orchestration, workflow
     management, data query, tuple spaces

SPECIFICATION, VERIFICATION, AND TYPES: modeling and analysis of types
     and properties related to security, dependability, resource
     consumption, and component conformance for concurrent and
     distributed systems

HIGH-LEVEL OPTIMIZATIONS: program transformations for performance
     enhancement, runtime load balancing techniques, static and
     dynamic resource management

QUALITY OF SERVICE: fault-tolerant programming models and runtime support,
    models with responsiveness guarantees

DISTRIBUTED SOFTWARE MANAGEMENT: component and module systems for
     distributed software, dynamic software evolution and update
     technologies, configuration and deployment architectures

SYSTEM SUPPORT FOR PROGRAMMING MODELS: P2P frameworks, mobile ad-hoc
     networks, sensor networks, publish-subscribe systems, event
     processing

CASE STUDIES: application of novel distributed and concurrent
     techniques in business process modeling, e-commerce, factory
     automation, collaboration, command and control

-------------------------------------------------------------------------

			Submission Guidelines

The Coordination 2009 conference solicits high quality papers
reporting research results and/or experience reports related to the
topics mentioned above. 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. Papers should not exceed 15 pages in length. Each paper will
undergo a thorough process of review and the conference proceedings
will be published by Springer-Verlag in the LNCS series. Proceedings
will be made available at the conference.

Selected papers will be invited to a special issue of the journal
Science of Computer Programming

-------------------------------------------------------------------------

		     Coordination '09 Organization

PC Chairs:
John Field, IBM Research, USA
Vasco T. Vasconcelos, University of Lisbon, Portugal

Program Committee: 

    *  Gérard Boudol, INRIA, France
    * Dave Clarke, Katholieke Universiteit Leuven, Belgium
    * William R. Cook, University of Texas, USA
    * John Field, IBM Research, USA (Co-chair)
    * David Gay, Intel Research, USA
    * Rachid Guerraoui, EPFL, Switzerland
    * Thomas Hildebrandt, IT University, Denmark
    * Kohei Honda, Queen Mary, University of London, UK
    * Radha Jagadeesan, DePaul University, USA
    * Shriram Krishnamurthi, Brown University, USA
    * Doug Lea, State University of New York, USA
    * Frank Leymann, University of Stuttgart, Germany
    * Amy L. Murphy, ITC-IRST, IT & University of Lugano, Switzerland
    * Uwe Nestmann, Technical University of Berlin, Germany
    * Rocco De Nicola, University of Florence, Italy
    * Gruia-Catalin Roman, Washington University in Saint Louis, USA
    * Vasco T. Vasconcelos, University of Lisbon, Portugal (Co-chair)
    * Jan Vitek, Purdue University, USA
    * Franco Zambonelli, University of Modena and Reggio Emilia, Italy 




Steering Committee:
Farhad Arbab, CWI, NL
Rocco De Nicola, University of Florence, IT (CHAIR)
Chris Hankin, Imperial College London, UK
Jean-Marie Jacquet, University of Namur, BE
Doug Lea, State University of New York, USA
Amy L. Murphy, ITC-IRST, IT & University of Lugano, CH
Gruia-Catalin Roman, Washington University in Saint Louis, USA
Carolyn Talcott, SRI International, USA
Jan Vitek, Purdue University, USA
Herbert Wiklicky, Imperial College London, UK
Gianluigi Zavattaro, University of Bologna, IT


********************************************************************
********************************************************************
********************************************************************
                          CALL FOR PAPERS

                             DAIS 2009

               9th IFIP International Conference on
      Distributed Applications and Interoperable Systems

                   Lisbon, Portugal 10 - 12 June 2009

 ---------------------------------------------------------------------
                http://discotec09.di.fc.ul.pt/DAIS09
 ---------------------------------------------------------------------

The 9th IFIP International Conference on Distributed Applications and
Interoperable Systems (DAIS) is part of the federated conferences DisCoTec
(Distributed Computing Techniques), together with the 11th International
Conference on Coordination Models and Languages (COORDINATION) and the 11th
IFIP International Conference on Formal Methods for Open Object-based
Distributed Systems (FMOODS).

OBJECTIVES AND SCOPE:

Established in 1997, the DAIS series of conferences aims to provide an
integrated forum for research on all aspects of distributed applications
and interoperable systems. DAIS 2009 conference themes include but are not
limited to:

	Innovative distributed applications in the areas of Cloud and
		enterprise computing Very large scale and peer-to-peer
		computing Mobile, context-aware, and pervasive computing
		Sensor networks and ad-hoc networks

	Models and concepts supporting distributed applications in the areas of
		Sustainability
		Resiliency
		Evolution
		
	Middleware supporting distributed applications in the areas of
		Autonomic and resilient systems
		Mobile systems
		Context- and QoS-aware systems

	Evolution of service-oriented applications
		Enterprise-wide and global integration
		Semantic interoperability
		Application management

	Software engineering of distributed applications
		Domain-specific modelling languages
		Model-driven software development, testing,validation, and adaptation
		Model evolution
		Software architecture and patterns



ORGANISERS:

General chair:

Antonio Ravara, Instituto Superior Tecnico, Portugal

PC chairs:

Rui Oliveira, Universidade do Minho, Portugal
Twittie Senivongse, Chulalongkorn University, Thailand

Publicity Chair:

Hartmut Koenig, BTU Cottbus, Germany

Steering Committee:

Frank Eliassen, University of Oslo, Norway 
Kurt Geihs, University of Kassel, Germany 
Jadwiga Indulska, University of Queensland, Australia 
Hartmut Koenig, BTU Cottbus, Germany 
Lea Kutvonen, University of Helsinki, Finland
Rene Meier, Trinity College Dublin, Ireland  
Alberto Montresor, University of Trento, Italy 
Elie Najm, ENST, France 
Kerry Raymond, University of Queensland, Australia
Sotirios Terzis, University of Strathclyde, UK 

Program Committee: 

    * N. Alonistioti, University of Athens, Greece
    * M. Aoyama, Nanzan University, Japan
    * J. E. Armendáriz-Íñigo, Universidad Pública de Navarra, Spain
    * D. Bakken, Washington State University, USA
    * Y. Berbers, Katholieke Universiteit Leuven, Belgium
    * A. Beresford, University of Cambridge, UK
    * A. Beugnard, TELECOM Bretagne, France
    * G. Blair, Lancaster University, UK
    * A. Casimiro Costa, University of Lisbon, Portugal
    * I. Demeure, ENST, France
    * S. Dobson, University College Dublin, Ireland
    * D. Donsez, Université Joseph Fourier, France
    * N. Dulay, Imperial College London, UK
    * F. Eliassen, University of Oslo, Norway
    * P. Felber, Université de Neuchâtel, Switzerland
    * K. Geihs, University of Kassel, Germany
    * N. Georgantas, INRIA, France
    * K. Göschka, Vienna University of Technology, Austria
    * R. Grønmo, SINTEF ICT, Norway
    * D. Hagimont, INP Toulouse, France
    * S. Hallsteinsen, SINTEF ICT, Norway
    * P. Herrmann, NTNU Trondheim, Norway
    * J. Indulska, University of Queensland, Australia
    * R. Kapitza, University of Erlangen-Nuremberg, Germany
    * H. König, BTU Cottbus, Germany
    * R. Kroeger, University of Applied Sciences, Wiesbaden, Germany
    * L. Kutvonen, University of Helsinki, Finland
    * W. Lamersdorf, University of Hamburg, Germany
    * M. Lawley, Queensland University of Technology, Australia
    * P. Linington, University of Kent, UK
    * C. Linnhof-Popien, University of Munich, Germany
    * K. Lund, Norwegian Defence Research Establishment (FFI), Norway
    * R. Macêdo, Federal University of Bahia, Brazil
    * R. Meier, Trinity College Dublin, Ireland
    * A. Montresor, University of Trento, Italy
    * E. Najm, ENST, France
    * N. Narasimhan, Motorola Labs, USA
    * R. Oliveira, Universidade do Minho, Portugal
    * P. Pietzuch, Imperial College London, UK
    * A. Puder, State University San Francisco, USA
    * K. Raymond, Queensland University of Technology, Australia
    * D. Schmidt, Vanderbilt University, USA
    * T. Senivongse, Chulalongkorn University, Thailand
    * K. Sere, Åbo Akademi University, Finland
    * E. Tanter, University of Chile, Chile
    * S. Terzis, University of Strathclyde, UK
    * J. Xu, Hong Kong Baptist University, Hong Kong
    * H. Yokota, Tokyo Institute of Technology, Japan 

SUBMISSION GUIDELINES: 

The DAIS 2009 conference solicits high quality papers reporting research
results and/or experience reports related to the themes above. 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. Full technical papers should not
exceed 14 pages in length while work-in-progress papers should not exceed 6
pages in length. Submission implies the acceptance that at least one author
will attend the conference if the paper is accepted. Each paper will
undergo a thorough process of review and the conference proceedings will be
published by Springer-Verlag in the LNCS series. Proceedings will be made
available at the conference. More specific guidelines on the preparation of
papers can be found on the conference website.



=========================================================================================================
=========================================================================================================
=========================================================================================================
                      Joint  DisCoTec '09 Organization
=========================================================================================================

Antonio Ravara, Technical University of Lisbon, PT (General Chair)
Carla Ferreira, New University of Lisbon, PT
Ana Almeida Matos, Technical University of Lisbon, PT

Workshops Chair
Francisco Martins, University of Lisbon, PT

Publicity Chair
Martin Steffen, University of Oslo, NO


More information about the Types-announce mailing list