Login | Register
My pages Projects Community openCollabNet

Discussions > The Developers' mailing list > [verimag-news] FMCO 2007: Call for participation

Discussion topic

Back to topic list

[verimag-news] FMCO 2007: Call for participation

Author Susanne Graf <Susanne dot Graf at imag dot fr>
Full name Susanne Graf <Susanne dot Graf at imag dot fr>
Date 2007-09-03 13:10:06 PDT
Message Software Technologies Concertation on
                 Formal Methods for Components and Objects
                                (FMCO 2007)

                             24 - 26 October 2007
                        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 networks of Excellence in the 6th framework (FP6):

ARTIST, NoE on Embedded Systems Design, Cluster Real-Time Components

SELFMAN, Self Management for Large-Scale Distributed Systems based
           on Structured Overlay Networks and Components

SENSORIA, Software Engineering for Service-Oriented Overlay Computers

MOBIUS, Mobility, Ubiquity and Security

CREDO, Modeling and Analysis of Evolutionary Structures for Distributed Services

GRIDCOMP and COREGRID, Grid Programming with Components
          http://gridcomp.ercim.org and http://www.coregrid.net

Participation is open to everyone.
Registration form and more information can be found at the FMCO site



Wednesday October 24th
  9:15 9:30 Opening
  9:30 - 10:15 David Aspinall (Edinburgh University, UK)
               Space and Billable Resources
10:30 - 11:15 Heiko Mantel (Darmstadt University, DE)
               Secure Information Flow
11:30 - 12:15 Werner Dietl (ETH, CH)
               Generic Universe Types
        Lunch break
13:30 - 14:15 German Puebla (Technical University of Madrid, SP)
               Scenario for PCC
14:30 - 15:15 Gilles Barthe (INRIA Sophia-Antipolis, FR)
               Certificate Translation
15:30 - 16:15 Martin Hofmann (Ludwig-Maximilians University of Munich, DE)
               Certification with the Mobius Base Logic
16:30 - 17:15 Denis Caromel (INRIA Sophia-Antipolis, FR)
               From Theory to Practice in Distributed Component Systems

       Welcome reception

Thursday October 25th
  9:30 - 10:15 Martin Wirsing (Ludwig-Maximilians University of Munich, DE)
               Service-Oriented Software Development with UML
10:30 - 11:15 Jose Luiz Fiadeiro (University of Leicester, UK)
               Modelling Service-Component Architectures
11:30 - 12:15 Ugo Montanari (University of Pisa, IT)
               Programming Models for Service-Oriented Computing
         Lunch break
13:30 - 14:15 Einar Broch Johnsen (University of Oslo, NO)
               Modeling Reconfigurable Distributed Concurrent Objects
14:30 - 15:15 David Clarke (CWI, NL)
               Coordination, Logic and Games
15:30 - 16:15 Mahdi Jaghoori (CWI, NL)
               Modeling components and connectors in Credo
16:30 - 17:15 Andreas Gruener (University of Kiel, DE)
               Java Test Driver Generation from Object-Oriented
               Interaction Traces

         Conference dinner

Friday October 26th
  9:15 - 10:00 Boris Mejias, Donatien Grolaux, Peter Van Roy
               Handling Imperfect Failure Detection in a Structured Overlay
               Network: the Relaxed Ring Approach.
10:15 - 11:00 Tallat Shafaat, Ali Ghodsi, Seif Haridi
               Handling Network Partitioning in a Structured Overlay Network.
11:15 - 12:00 Monika Moser, Seif Haridi
               Atomic Commitment in a Transactional DHT Built on a
               Structured Overlay Network
12:15 - 13:00 Jean-Bernard Stefani
               Oz/K: A Kernel Language for Component-Based Open Programming
         Lunch break
14:00 - 14:45 Tom Henzinger (EPFL, CH)
               Interfaces for Real-Time Components
15:00 - 15:45 Joseph Sifakis (Verimag, FR)
               The Algebra of Connectors Structuring Interaction in BIP
16.00 - 16.45 Roberto Passerone (University of Trento, IT)
               A Generic Model of Contracts for Embedded Systems

Susanne Graf | tel : (+33) (0)4 56 52 03 52
VERIMAG | fax : (+33) (0)4 56 52 03 46 (or 44)
2, avenue de Vignate | http://www-verimag.i​mag.fr/~graf/
F - 38610 Gieres | e-mail: Susanne dot Graf at imag dot fr

« Previous message in topic | 1 of 1 | Next message in topic »


Show all messages in topic

[verimag-news] FMCO 2007: Call for participation Susanne Graf <Susanne dot Graf at imag dot fr> Susanne Graf <Susanne dot Graf at imag dot fr> 2007-09-03 13:10:06 PDT
Messages per page: