FMCO 2004: program and last cfp (Leiden NL, Nov 04)

"M.M. Bonsangue" <>
17 Oct 2004 16:13:20 -0400

          From comp.compilers

Related articles
FMCO 2004: program and last cfp (Leiden NL, Nov 04) (M.M. Bonsangue) (2004-10-17)
| List of all articles for this month |

From: "M.M. Bonsangue" <>
Newsgroups: comp.compilers
Date: 17 Oct 2004 16:13:20 -0400
Organization: Carnegie Mellon, Pittsburgh, PA
Keywords: conference, theory
Posted-Date: 17 Oct 2004 16:13:20 EDT

****************** LAST CALL FOR PARTICIPATION ********************

                                  Third International Symposium on
                            Formal Methods for Components and Objects
                                                          (FMCO 2004)

DATES 2 - 5 November 2004
PLACE Lorentz Center, Leiden University, Leiden, The Netherlands

Registration form and more information at the FMCO site


TUESDAY 2nd, November 2004

  8:45 - 9:00 Welcome
  9:00 - 10:00 Keynote: Robin Milner (Cambridge University, UK)
                            Bigraphs and their mathematics

Coffee break

10:30 - 11:15 Rocco de Nicola (University of Firenze, IT)
                            Open nets, contexts and their properties

11:15 - 12:00 Eugenio Moggi (Genova University, IT)
                            Program generation and components

Lunch break

13:30 - 14:30 Keynote: Kim Bruce (Williams College, USA)
                            Fixing the meaning of object-oriented languages

Coffee break

15:00 - 15:45 Julian Rathke (Sussex University, UK)
                            A fully abstract trace semantics for a core Java

Coffee break

16:00 - 16:45 Martin Steffen (Kiel University, DE)
                            Observability, classes, and object connectivity

16:45 - 17:30 Marcello Bonsangue (LIACS, NL)
                            Roles, ports and components

WEDNESDAY 3rd, November 2004

  9:00 - 10:00 Keynote: Tom Henzinger (University of California, Berkeley, USA)
                            Games with Secure Equilibria: A Theory for Component Behavior

Coffee break

10:30 - 11:15 Wolfgang Weck (Software Architect, CH)
                            Three stories from Component Hell

11:15 - 12:00 Wang Yi (Uppsala University, SE)

Lunch break

13:15 - 14:15 Keynote: Thomas Ball (Microsoft Research at Redmond, USA)
                            A Theory of Predicate-Complete Test Coverage and

Coffee break

14:30 - 15:15 Frits Vaandrager (Nijmegen University, NL)
                            Switched Probabilistic I/O Automata

15:15 - 16:00 Susanne Graf (Verimag, FR)
                            Specification of systems with UML and verification with
                            Timed automata in the IF environment

Social Event + Dinner

THURSDAY 4th, November 2004

  9:00 - 10:00 Keynote: Kim Larsen (Aalborg University, DK)

Coffee break

10:30 - 11:15 Ed Brinksma (University of Twente, NL)
                            Hybrid Systems and Composition: a Process Algebraic

11:15 - 12:00 Andreas Podelski (Max Plank Inst. for Informatics, DE)
                            Transition Invariants and Transition Predicate

Lunch break

13:30 - 14:30 Keynote: Chris Hankin (Imperial College, UK)
                                              Probabilistic Coordination Languages

Coffee break

15:00 - 15:45 David Naumann (Stevens Institute of Technology, USA)
                            Assertion-based encapsulation and refinement of classes

15:45 - 16:30 Tobias Nipkow (Munchen University, DE)
                            A Machine-Checked Model for a Java-Like Language,
                            Virtual Machine and Compiler

Coffee break

16:45 - 17:30 Liu Zhiming (UNU-IIST, Macao)
                            A Model of Refinement for Component and Object Systems

FRIDAY 5th, November 2004

  9:00 - 10:00 Keynote: Samson Abramsky (Oxford University, UK)

Coffee break

10:30 - 11:15 Luca de Alfaro (UC Santa Cruz, USA)
                            Types for real-time components

11:15 - 12:00 Luis Barbosa (Minho University, PT)
                            A Perspective on Component Refinement

Lunch break

13:30 - 14:30 Keynote: Reinhard Wilhelm (Saarland University, DE)
                            Timing Analysis of Hard Real-Time Systems

Coffee break

15:00 - 15:45 Olaf Owe (University of Oslo, NO)
                            CREOL: A formal language for open, distributed and
                            object-oriented systems

15:45 - 16:30 Pierre Cointe (Ecole des Mines de Nantes, FR)
                            From objects to aspects

F.S. de Boer (CWI and Utrecht University)
M.M. Bonsangue (LIACS-Leiden University)
S. Graf (Verimag)
W.P. de Roever (CAU)

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.