Leave a comment

Call for Participation

(on-line registration deadline: August 31, 2008)

5th International Workshop on Formal Aspects of Component Software(FACS08)

September 10-12, 2008
M=E1laga, Spain

http://www.iist.unu.edu/facs08/

FACS08 is the fifth event in a series of workshops, founded by
the International Institute for Software Technology of the United
Nations University (UNU-IIST).

The objective of FACS08 is to bring together researchers in the
areas of component software and formal methods to promote a deep
understanding of this paradigm and its applications. The workshop
will also be interested in defining the common aspects of
components and component-based development. It is expected that
formal paper presentations will be followed by lively
discussions.

Invited talks:

Jeff Magee, Imperial College (United Kingdom)
Software Architecture for Self Managing systems

Ralf Reussner, Universit=E4t Karlsruhe (Germany)
Software Industrialisation: The Use of
Components for Certification and Quality Prediction

Technical program:

On the Observable Behaviour of Composite Components
Rolf Hennicker, Stephan Janisch, and Alexander Knapp
Ludwig-Maximilians-Universitaet Muenchen (Germany)

Unifying Architectural and Behavioural
Specifications of Distributed Components
Antonio Cansado, Ludovic Henrio, and Eric Madelaine
INRIA Sophia-Antipolis (France)

Automated Computing of the Maximal Number
of Handled Clients for Client-Server Systems
Pavlina Varekova, Ivana Varekova, and Ivana Cerna
Masaryk University (Czech Republic)

Slicing-based Reductions for Rebeca
Hamideh Sabouri, and Marjan Sirjani
University of Tehran (Iran)

Global coordination policies for services
Vincenzo Ciancia, Gianluigi Ferrari,
Roberto Guanciale, and Daniele Strollo
Universita' di Pisa, and Istituto Alti Studi IMT Lucca(Italy)

Discovering Coordination Patterns
Nuno Rodrigues
Universidade do Minho (Portugal)

Integrating Component Tests to System Tests
Bernhard Schaetz, and Christian Pfaller
Technische Universitaet M=FCnchen (Germany)

State Based Robustness Testing for Components
Bin Lei, Zhiming Liu, Charles Morisset, and Xuandong Li
United Nations University
(UNU-IIST), and Nanjing University (China)

Compositional Specification of Parallel Programs Using Circus
Francisco Carvalho-Junior, and Rafael Lins
Universidade Federal do Ceara, and
Universidade Federal de Pernambuco (Brazil)

Formal Specification of Correlation Sets in
WS Orchestrations using BP-calculus
Faisal Abouzaid, and John Mullins
Ecole Polytechnique de Montreal (Canada)

Correct Execution of Reconfiguration for Stateful Components
Moritz Hammer, and Alexander Knapp
Ludwig-Maximilians-Universitaet Muenchen (Germany)

Component Simulation-based Substitutivity Managing QoS Aspects
Pierre-Cyrille Heam, Olga Kouchnarenko, and Jerome Voinot
LIFC, University of Franche-Compte, and INRIA/CASSIS (France)

Transparent First-class Futures and Distributed Components
Antonio Cansado, Ludovic Henrio and Eric Madelaine
INRIA Sophia-Antipolis (France)

Program chairs:

Carlos Canal (University of Malaga, Spain)
Corina Pasareanu (NASA Ames Research Center, USA)

Program committee:

Farhad Arbab, CWI, The Netherlands
Luis Barbosa, University of Minho, Portugal
Frank S. de Boer, CWI, The Netherlands
Tevfik Bultan, University of California at Santa Barbara
Carlos Canal, University of M=E1laga, Spain (PC chair)
Paolo Ciancarini, Universita di Bologna, Italy
Dimitra Giannakopoulou, NASA Ames Research Center, USA
Rolf Hennicker, Ludwig-Maximilians-Universit=E4t M=FCnchen, Germany
Atsushi Igarashi, University of Kyoto, Japan
Sarfraz Khurshid, University of Texas at Austin, USA
Zhiming Liu, UNU-IIST, Macau, China
Markus Lumpe, Swinburne University of Technology, Australia
Eric Madelaine, INRIA, Centre Sophia Antipolis, France
Jeff Magee, Imperial College, United Kindgdom
Rupak Majumdar, University of California at Berkeley, USA
Vladimir Mencl, Charles University, Czech
Republic, and University of Canterbury, New Zealand
Marius Minea, Politehnica University of Timisoara, Romania
Corina Pasareanu, NASA Ames Research Center, USA (PC chair)
Frantisek Plasil, Charles University, Czech Republic
Pascal Poizat, ARLES Project-team, INRIA and Universit=E9 d'=C9vry,France
Ralf Reussner, Universit=E4t Karlsruhe, Germany
Bernhard Schaetz, Technical University of Munich, Germany
Clemens A. Szyperski, Microsoft, USA
Carolyn Talcott, SRI International, USA
Emilio Tuosto, University of Leicester, United Kingdom
Kurt Wallnau, Carnegie-Mellon University, USA

Steering Committee:

Zhiming Liu (IIST UNU, Macau, China, chair)
Farhad Arbab (CWI, The Netherlands)
Luis Barbosa (Universidade do Minho, Portugal)
Markus Lumpe (Swinburne University of Technology, Australia)
Eric Madelaine (INRIA, Sophia-Antipolis, France)
Vladimir Mencl (Charles University, Prague, Czech Republic, and
University of Canterbury, New Zealand)
Bernhard Schaetz (Technical University of Munich, Germany)