The FMOODS 2002 early registration deadline is near



Date view Thread view Subject view Author view

Arend Rensink (rensink@cs.utwente.nl)
Tue, 19 Feb 2002 16:48:54 +0100


[[ - Apologies for multiple copies. - ]] FMOODS Call for Participation ============================= IFIP TC6/WG6.1 Fifth International Conference Formal Methods for Open Object-Based Distributed Systems 20-22 March 2002, University of Twente, the Netherlands www.fmoods.org Electronic Information ~~~~~~~~~~~~~~~~~~~~~~ The conference home page is located at: http://www.fmoods.org Registration information can be found at this site. The deadline for early registration is February 20. Email queries should be addressed to mailto:fmoods@cs.utwente.nl The conference ~~~~~~~~~~~~~~ The objective of FMOODS is to provide an integrated forum for the presentation of research in several related fields, and the exchange of ideas and experiences in the topics concerned with the formal methods support for Open Object-based Distributed Systems. This year, the conference will be combined in a novel way with a PhD wokshop, for and by doctoral students. Invited Speakers ~~~~~~~~~~~~~~~~ 1. Matthew Dwyer (Kansas State University) Title: Software Model Checking: the Bandera approach 2. Steve Schneider (University of London, Royal Holloway) Title: Verifying Authentication Protocol Implementations 3. Carolyn Talcott (Stanford University) Title: A Semantic Framework for Specifying and Reasoning about Composable Distributed Middleware Services PhD workshop ~~~~~~~~~~~~ A student workshop is organized in conjunction with the conference. Workshop sessions are interwoven with the main conference, to stimulate mutual interaction. More information at http://trese.cs.utwente.nl/fmoods2002/workshop.html Programme ~~~~~~~~~ Wednesday, 20 March 2002 ------------------------ Invited Presentation * Software Model Checking: The Bandera approach Matthew Dwyer Session 1: Multiple Viewpoint Modelling * Formal Semantics for Interacting UML subsystems Jan Jürjens (Univ. of Oxford) * A Compositional Formalism for Object Viewpoints Einar Broch Johnsen, Olaf Owe (Univ. of Oslo) * Interpreting ODP Viewpoint Specification: Observations from a Case Study Chris Taylor, Eerke Boiten, John Derrick (Univ. of Kent at Canterbury) Session 2: Types, Service Types and Subtyping * Checking Behavioural Subtypes via Refinement Heike Wehrheim (Univ. of Oldenburg) * Behavioural Subtyping and Property Preservation for Active Objects Hameurlain Nabil (Univ. of Pau) * A Formal Service Specification for IIOP based on ISO/IEC 14752 Abhishek Singh, Jonathan Billington (Univ. of South Australia) PhD Workshop session Thursday, 21 March 2002 ----------------------- Invited Presentation * Verifying Authentication Protocol Implementations Steve Schneider Session 3: Semantics of Object-Based Programming Languages * Mobile Objects ``Must'' Move Safely Sebastien Briais (ENS Lyon), Uwe Nestmann (EPFL) * A Theory of May Testing for Actors Prasanna Thati, Reza Ziaei, Gul Agha (Univ. of Illinois at Urbana Champaign) * Computer-aided Specification and Verification of Annotated Object-Oriented Programs Frank de Boer, Cees Pierik (Utrecht Univ.) Session 4: Verification and Validation * Formal Analysis of Suzuki & Kasami Distributed Mutual Exclusion Algorithm Kazuhiro Ogata, Kokichi Futatsugi (JAIST) * Control Flow Analysis of Mobile Ambients with Security Boundaries Chiara Braghin, Agostino Cortesi, Riccardo Focardi (Univ. of Venice) * Generating Adapters for Concurrent Component Protocol Synchronisation Heinz Schmidt (Monash Univ.), Ralf Reussner (DSTC) PhD Workshop session Friday, 22 March 2002 --------------------- Invited Presentation * A Semantic Framework for Specifying and Reasoning about Composable Distributed Middleware Services Carolyn Talcott Session 5: Specification and Analysis Techniques * A Feature Manager Approach to the Analysis of Component-Interactions Lynne Blair, Trevor Jones (Lancaster Univ.), Stephan Reiff-Marganiec (Univ. of Stirling) * Supporting Collaborative Design Yanjie Wang (Southwest Jiaotong Univ.), Chris George (United Nations Univ.) * A Visual Modeling Framework for Distributed Object Computing Gabriele Taentzer (Univ. of Paderborn)


Date view Thread view Subject view Author view