From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id BE995BC6B for ; Mon, 3 Sep 2007 13:54:07 +0200 (CEST) Received: from rhodium.liacs.nl (rhodium.liacs.nl [132.229.131.16]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l83Bs5dM025735 for ; Mon, 3 Sep 2007 13:54:07 +0200 Received: from tin.liacs.nl (tin.liacs.nl [132.229.44.20]) by rhodium.liacs.nl (8.13.0/8.13.0/LIACS 1.4) with ESMTP id l83Brxdx017533 for ; Mon, 3 Sep 2007 13:54:04 +0200 From: "M.M. Bonsangue" Received: (from marcello@localhost) by tin.liacs.nl (8.11.6/8.9.3) id l83BsjL07962 for caml-list@inria.fr; Mon, 3 Sep 2007 13:54:45 +0200 Date: Mon, 3 Sep 2007 13:54:45 +0200 Message-Id: <200709031154.l83BsjL07962@tin.liacs.nl> To: caml-list@inria.fr Subject: FMCO 2007: 2nd call for participation X-Miltered: at discorde with ID 46DBF5DD.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; concertation:01 concertation:01 wiki:01 darmstadt:01 puebla:01 barthe:01 wirsing:01 partitioning:01 jean-bernard:01 stefani:01 henzinger:01 algebra:01 model:01 07.:98 ugo:98 Our apologies if you receive multiple copies of this e-mail. Software Technologies Concertation on Formal Methods for Components and Objects (FMCO 2007) DATES: 24 - 26 October 2007 VENUE: CWI, Amsterdam, The Netherlands This year FMCO will be organized as a software technologies concertation on Formal Methods for Components and Objects between the following EU IST projects and network in the 6th framework (FP6): ARTIST (Network of Excellence on Embedded Systems Design, Cluster Real-Time Components) URL:http://www.artist-embedded.org/artist SELFMAN (Self Management for Large-Scale Distributed Systems based on Structured Overlay Networks and Components) URL:http://www.ist-selfman.org/wiki/index.php/SELFMAN_Project SENSORIA (Software Engineering for Service-Oriented Overlay Computers) URL: http://sensoria.fast.de MOBIUS (Mobility, Ubiquity and Security) URL http://mobius.inria.fr CREDO (Modeling and analysis of evolutionary structures for distributed services) URL: http://credo.cwi.nl GRIDCOMP and COREGRID (Grid Programming with Components) URL: http://gridcomp.ercim.org and http://www.coregrid.net The contributions of these projects to the program of FMCO 2007 are described in the program below. Participation is open to everyone. Registration form and more information can be found at the FMCO site http://fmco.liacs.nl/fmco07.html PROGRAM FMCO 2007 Wednesday October 24th ---------------------- 9:15 9:30 Opening MOBIUS SESSION - TYPES 9:30 - 10:15 David Aspinall (Edinburgh University, UK) Space and Billable Resources Break 10:30 - 11:15 Heiko Mantel (Darmstadt University, DE) Secure Information Flow Break 11:30 - 12:15 Werner Dietl (ETH, CH) Generic Universe Types Lunch break MOBIUS SESSION PROOF-CARRYING CODE 13:30 - 14:15 German Puebla (Technical University of Madrid, SP) Scenario for PCC Break 14:30 - 15:15 Gilles Barthe (INRIA Sophia-Antipolis, FR) Certificate Translation Break 15:30 - 16:15 Martin Hofmann (Ludwig-Maximilians University of Munich, DE) Certification with the Mobius Base Logic Break GRIDCOMP AND COREGRID SESSION 16:30 - 17:15 Denis Caromel (INRIA Sophia-Antipolis, FR) From Theory to Practice in Distributed Component Systems Welcome reception Thursday October 25th --------------------- SENSORIA SESSION 9:30 - 10:15 Martin Wirsing (Ludwig-Maximilians University of Munich, DE) Service-Oriented Software Development with UML Break 10:30 - 11:15 Jose Luiz Fiadeiro (University of Leicester, UK) Modelling Service-Component Architectures Break 11:30 - 12:15 Ugo Montanari (University of Pisa, IT) Programming Models for Service-Oriented Computing Lunch break CREDO SESSION 13:30 - 14:15 Einar Broch Johnsen (University of Oslo, NO) Modeling Reconfigurable Distributed Concurrent Objects Break 14:30 - 15:15 David Clarke (CWI, NL) Coordination, Logic and Games Break 15:30 - 16:15 Mahdi Jaghoori (CWI, NL) Modeling components and connectors in Credo Break MOBI-J SESSION 16:30 - 17:15 Andreas Gruener (University of Kiel, DE) Java Test Driver Generation from Object-Oriented Interaction Traces Conference dinner Friday October 26th ------------------- SELFMAN SESSION 9:15 - 10:00 Boris Mejias, Donatien Grolaux, Peter Van Roy Handling Imperfect Failure Detection in a Structured Overlay Network: the Relaxed Ring Approach. Break 10:15 - 11:00 Tallat Shafaat, Ali Ghodsi, Seif Haridi Handling Network Partitioning in a Structured Overlay Network. Break 11:15 - 12:00 Monika Moser, Seif Haridi Atomic Commitment in a Transactional DHT Built on a Structured Overlay Network Break 12:15 - 13:00 Jean-Bernard Stefani Oz/K: A Kernel Language for Component-Based Open Programming Lunch break ARTIST SESSION 14:00 - 14:45 Tom Henzinger (EPFL, CH) Interfaces for Real-Time Components Break 15:00 - 15:45 Joseph Sifakis (Verimag, FR) The Algebra of Connectors Structuring Interaction in BIP Break 16.00 - 16.45 Roberto Passerone (University of Trento, IT) A Generic Model of Contracts for Embedded Systems