[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

                    5th International Symposium on
               Formal Methods for Components and Objects
                              (FMCO 2005)

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


PRELIMINARY PROGRAM

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: TRUST AND SECURITY

14:00 - 15:00 Keynote: Vladimiro Sassone (University of Southampton, UK)
               t.b.a.

               Break

15:15 - 16:00 J. Gelissen
               Trust management framework in RoboCop

               Break

16:00 - 16:45 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

               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. Hahnle, P. Rummer, and
               P.H. Schmitt
               The KeY approach to deductive verifications of
               object-oriented programs


Friday November 10th
--------------------
SESSION: TYPES

  9:00 - 10:00 Keynote: Sophia Drossopoulou (Imperial College, UK)
               Session types for object oriented languages

               Break

10:15 - 11:00 M. Plumicke
               Java type inference with wildcards

11:00 - 11:45 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

               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















Reply via email to