DisCoTec'09

[Filipe Correia]

Nome: DisCoTec - Distributed Computing Techniques
Datas: 9 a 12 de Junho 2009
Local: FCUL, Lisboa
URL: http://discotec09.di.fc.ul.pt/


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