Our apologies if you receive multiple copies of this e-mail.
5th International Symposium on
Formal Methods for Components and Objects
(FMCO 2006)
DATES: 7 - 10 November 2006
VENUE: CWI, Amsterdam, The Netherlands
Registration form and more information at the FMCO site
http://fmco.liacs.nl/fmco06.html
PROGRAMME FMCO 2006
Tuesday November 7th
--------------------
OPENING SESSION
9:15 - 10:15 Keynote: Moshe Vardi (Rice University, USA)
From verification to synthesis
Break
SESSION: COMPONENTS AND ACTORS
10:30 - 11:15 M. Sirjani
Abstraction and compositional verification techniques for
asynchronous communicating components
Break
11:30 - 12:30 Keynote: Gul Agha (U. of Illinois at Urbana-Champaign, USA)
Separating concerns: actors, coordination constraints, and
implementation protocols in a reflective architecture
Lunch break
SESSION: TYPES
14:00 - 15:00 Keynote: Sophia Drossopoulou (Imperial College, UK)
Session types for object oriented languages
Break
15:15 - 16:00 M. Plumicke
Java type inference with wildcards
Break
16:15 - 17:00 L. Desmet, B. Jacobs, F. Piessens, W. Schulte,
J. Smans, and D. Vanoverberghe
Concern-specific annotation languages to support static
detection of bugs in Java-like programs
Welcome reception
Wednesday November 8th
----------------------
SESSION: TESTING
9:15 - 10:15 Keynote: Jan Tretmans (Radboud University Nijmegen, NL)
Model-based testing with transition systems
Break
10:30 - 11:15 C. Artho
Testing I/O failures with Enforcer
Break
11:30 - 12:30 Keynote: Thierry Jeron (INRIA Rennes, FR)
Model-based test selection for infinite state reactive
systems
Lunch break
SESSION: MODELS OF COMPUTATIONS
14:00 - 15:00 Keynote: Vijay A. Saraswat (IBM Research, USA)
Determinate imperative programming
Break
15:15 - 16:00 C. Palamidessi and F.D. Valancia
Expressiveness of recursion, replication and scope
mechanism
Social event and dinner
Thursday November 9th
---------------------
SESSION: WIDE AREA AND DISTRIBUTED COMPUTING
9:15 - 10:15 Keynote: Jayadev Misra (Univ. of Texas at Austin, USA)
Orchestrating computations on wide-area networks
Break
10:30 - 11:15 A.Schmitt and J.-B. Stefani
Towards a Calculus for Distributed Components
Break
11:30 - 12:30 Keynote: Philip Wadler (University of Edinburgh, UK)
Links, web programming without tiers
Lunch break
SESSION: PROGRAM VERIFICATION
14:00 - 15:00 Keynote: Radu Iosif (Verimag, FR)
Applications of first-order integer arithmetic to the
verification of programs with lists
Break
15:15 - 16:00 M. Leuker
Learning meets verification
Break
16:15 - 17:00 W. Ahrendt, B. Beckert, R. Hähnle, P. Rümmer, and
P.H. Schmitt
The KeY approach to deductive verification of
object-oriented programs
Friday November 10th
--------------------
SESSION: TRUST AND SECURITY
9:00 - 10:00 Keynote: Vladimiro Sassone (University of Southampton, UK)
Towards a foundation for computational trust
Break
10:15 - 11:00 G. Barthe, L. Burdy, J. Charles, B. Gregoire, M. Huisman,
J.-L. Lanet, M. Pavlova, and A. Requet
JACK: a tool for validation of security and behaviour of Java
applications
11:00 - 11:45 J. Gelissen and J. Muskens
A trustworthiness management framework for high volume embedded
devices
Break
CLOSING SESSION: THEORY MEETS PRACTICE
12:00 - 13:00 Keynote: Erik Meijer, (Microsoft research, USA)
Theory and practice behind Visual Basic 9 and C# 3.0
Lunch
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
