**************************************************
* 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
http://fmco.liacs.nl/fmco04.html
*** P R O G R A M ***
TUESDAY 2nd, November 2004
08:45 - 09:00 Welcome
09: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
language
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)
Generation of real-time software with predictable timing
behaviour
Lunch break
13:15 - 14:15 Keynote: Thomas Ball (Microsoft Research at Redmond, USA)
A Theory of Predicate-Complete Test Coverage and
Generation
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
09:00 - 10:00 Keynote: Kim Larsen (Aalborg University, DK)
t.b.a.
Coffee break
10:30 - 11:15 Ed Brinksma (University of Twente, NL)
Hybrid Systems and Composition: a Process Algebraic
Approach
11:15 - 12:00 Andreas Podelski (Max Plank Inst. for Informatics, DE)
Transition Invariants and Transition Predicate
Abstraction
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)
Game Semantics, Open Systems and Components
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
ORGANIZING COMMITTEE
F.S. de Boer (CWI and LIACS-Leiden University)
M.M. Bonsangue (LIACS-Leiden University)
S. Graf (Verimag)
W.P. de Roever (CAU)
-----------
you received this e-mail via the address
[log in to unmask]
|