Program

From the eighteen high-quality submissions received, the international Program Committee of FOCLASA’08 has selected nine for presentation during the workshop and inclusion in its proceedings.

 9h00 -  9h30 Opening session
 9h30 - 10h00  Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks
      Morten Kühnrich, Hans Hüttel and Jens Chr. Godskesen
      The IT University of Copenhagen and Aalborg University (Denmark)
10h00 - 10h30  Dynamic Consistency in Process Algebra: From Paradigm to ACP
      Suzana Andova, Luuk Groenewegen and Erik de Vink
      Technical University of Eindhoven (The Netherlands)
10h30 - 11h00 coffee break
11h00 - 11h30  Coordinating Asynchronous and Open Distributed Systems
   under Semiring-Based Timing Constraints
      Yue Yu, Shangping Ren and Carolyn Talcott
      Illinois Institute of Technology and SRI International (USA)
11h30 - 12h00  The ARC Programming Model - Language Constructs for Coordination
      Kevin Marth and Shangping Ren
      Illinois Institute of Technology (USA)
12h00 - 12h30  Deconstructing Reo
      Dave Clarke, Jose Proenca, Alexander Lazovik and Farhad Arbab
      CWI (The Netherlands)
12h30 - 14h00 lunch
14h00 - 14h30  Synthesis of Reo Circuits from Scenario-based Specifications
      Farhad Arbab, Meng Sun and Christel Baier
      CWI (The Netherlands) and Technical University of Dresden (Germany)
14h30 - 15h00  Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM
      Samira Tasharofi and Marjan Sirjani
      University of Tehran and IPM (Iran)
15h00 - 15h30  A Relative Timed Semantics for BPMN
      Peter Wong and Jeremy Gibbons
      University of Oxford (United Kingdom)
15h30 - 16h00 coffee break
16h00 - 16h30  Automatic Generation of Adaptation Contracts
      José Antonio Martín and Ernesto Pimentel
      University of Málaga (Spain)
16h30 - 17h30 Panel discussion
17h30 - 18h00 Closing session