************************************************** * 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 categories@mta.ca 19-Oct-2004 17:24:01 -0300,2156;000000000000-00000000