[om-a] FMCO: New Symposium on Objects and Components

[F.S.de.Boer at cwi.nl]

We apologize for the reception of multiple copies.

**************************CALL FOR PARTICIPATION*******************************

                  First International Symposium on 

             FORMAL METHODS FOR OBJECTS AND COMPONENTS

                            (FMCO 2002)

                   http://fmco.liacs.nl/fmco02.html



  
IMPORTANT DATES 

- The symposium will be held November 5-8, 2002.
- Deadline for REGISTRATION is September 15, 2002

PLACE Leiden, The Netherlands

INVITED SPEAKERS

Tutorials

Manfred Broy (Technical University of Munchen)
Werner Damm (University of Oldenburg)
David Harel (The Weizmann Institute of Science)
Bertrand Meyer (ETH Zurich and ISE)
Perdita Stevens (Edinburgh University)
Clemens Szyperski (Microsoft Research)
Jos Warmer (Klasse Objecten)

Technical presentations

Erika Abraham-Mumm (CAU)
Farhad Arbab (CWI)
David Garlan (Carnegie Mellon University)
John Hatcliff (Kansas State University)
Jozef Hooman (University of Nijmegen)
Bart Jacobs (University of Nijmegen)
Paul Klint (CWI)
Leslie Lamport (Microsoft Research)
Gary Leavens (Iowa State University)
Rustan Leino (Microsoft Research)
Ugo Montanari (Pisa University)
Oscar Nierstrasz (University of Berne)
Ernst-Ruediger Olderog (University of Oldenburg)
Amir Pnueli (The Weizmann Institute of Science)
Bernhard Rumpe (Technical University of Munchen)
Emil Sekerinski (McMaster University)
Kaisa Sere (Åbo University)
Joseph Sifakis (Verimag)
Martin Wirsing (Ludwig-Maximilians-Universität München)




THEME 

Large and complex software systems provide the necessary infrastucture
in all industries today.  In order to construct  such large systems in
a  systematic manner, the focus in   the development methodologies has
switched in the last two decades from  functional issues to structural
issues:  both data and  functions are encapsulated into software units
which are integrated into large systems by means of various techniques
supporting   reusability  and  modifiability.   This     encapsulation
principle is essential to both the object-oriented and the more recent
component-based sofware engineering paradigms.

Formal methods have been  applied successfully to the  verification of
medium-sized programs in protocol and hardware design.  However, their
application to the development of large systems requires more emphasis
on  specification, modeling  and validation  techniques supporting the
concepts of reusability and modifiability, and their implementation in
new extensions of existing programming languages like Java.

The objective  of this symposium  is to bring together researchers and
practioners in the areas of software engineering and formal methods to
discuss  the  concepts     of  reusability   and   modifiability    in
component-based and object-oriented software systems.

The following issues related
to  modifiability and reusability in components   and objects
will be discussed by leading experts in the fields of Formal Methods
and Software Engineering:

 - Specification
 - Verification
 - Validation
 - Modeling techniques
 - Architectures
 - Programming languages
 - Semantics
 - Type theory
 - Design methodology
 - Compositionality
 - Refinement
 - Theorem-proving
 - Model checking
 - Tools

FORMAT

The Symposium  is   a four days  event in  the style  of the former  REX
workshops,   organized  to    provide  an   atmosphere   that  fosters
collaborative work, discussions and interaction.  Lectures are given by
the invited speakers listed above.   Participation is limited to about 80
people.  The program consists  of invited tutorials and more technical
presentations, and contains an exquisite social event.

Both tutorial and technical contributions will  be published after the
workshop in   a proceedings of Lecture Notes    in Computer Science by
Springer-Verlag.



ORGANISING COMMITTEE

F.S. de Boer (CWI)
M.M. Bonsangue (LIACS-Leiden University)
S. Graf (Verimag)
W.-P. de Roever (CAU)



*****************************PARTICIPATION***********************************

For more information about participation and registration see the FMCO
site http://www.liacs.nl/~marcello/FMCO/fmco02.html.

For further information consult F.S. de Boer (frb at cwi.nl) or M.M. Bonsangue
(marcello at liacs.nl).
--
om-announce at openmath.org  -  public announcements concerning OpenMath
Post discussion to om at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-announce-owner at openmath.org for assistance with any problems