[om-a] CFP: FMOODS/DAIS 2003 Student Workshop

Matthias Zenger matthias.zenger at epfl.ch
Wed Aug 27 21:27:02 CEST 2003

[[ -- Apologies for multiple copies of this message  -- ]]

                              CALL FOR PAPERS

                     FMOODS/DAIS 2003 Student Workshop

         Formal Methods for Open Object-based Distributed Systems
          and Distributed Applications and Interoperable Systems

                        17th - 18th November 2003
                             Paris, France



The combined “Formal Methods for Open Object-based Distributed Systems
and Distributed Applications and Interoperable Systems” workshop is
intended for PhD students working within the area of formal method
support for Open Object-based distributed systems and
technologies/platforms for reconfigurable, scalable, and adaptable
distributed systems. All relevant topics are considered, including but
not restricted to:

* Formal models and techniques for specification, design or analysis
* Testing, validation and verification
* Formal support for software development
* Frameworks for modelling, specifying, monitoring and managing
   context-aware applications
* Support for reconfiguration, self-organisation and autonomic behaviour
* Foundations and applications of web services
* Formal models for coordination, components and component based
* Semantics of object-oriented, component-oriented and aspect-oriented
   programming languages and systems

The workshop extends the FMOODS and DAIS 2003 conferences. Details of
these can be found at: http://fedconf.enst.fr/

The PhD Student Workshop will run in conjunction with FMOODS and DAIS
2003 and all participants will gain full access to both the workshop and
the conferences. The workshop will be run by students for students.

Workshop Organisers:

Philip Greenwood
Computing Department, Lancaster University
p.greenwood at lancaster.ac.uk

Kevin Lee
Computing Department, Lancaster University
leek at comp.lancs.ac.uk

Matthias Zenger
Swiss Federal Institute of Technology, Lausanne
matthias.zenger at epfl.ch

Lynne Blair – FMOODS Liaison
Computing Department, Lancaster University
lb at comp.lancs.ac.uk

Programme Committee:
Cyril Carrez carrez at gervaise.enst.fr
Daniel Buenzli Daniel.Buenzli at epfl.ch
Erika Ábrahám eab at informatik.uni-freiburg.de
Jennifer Tenzer j.n.tenzer at sms.ed.ac.uk
Jerome Hugues hugues at enst.fr
Karen Henricksen kmh at dstc.edu.au
Kevin Lee leek at comp.lancs.ac.uk
Ludovic Henrio ludovic.henrio at sophia.inria.fr
Matthias Zenger matthias.zenger at epfl.ch
Nirman Kumar nkumar5 at cs.uiuc.edu
Peter Rigole peter.rigole at cs.kuleuven.ac.be
Sebastian Gutierrez-Nolasco seguti at ics.uci.edu
Shiva Chetan chetan at uiuc.edu
Thomas Strang thomas.strang at dlr.de

Submission Information:
Authors are invited to submit a 5-8 page position paper for review using
the Springer LNCS Style http://www.springer.de/comp/lncs/authors.html .
The purpose of the position paper is to give the other participants an
overview of your work, as well as to stimulate a lively discussion, so
do try to include thought provoking ideas.

Papers should be submitted electronically by 19th September to Phil
Greenwood (p.greenwood at lancaster.ac.uk) in either PostScript or PDF
format. Submissions will be evaluated by the Programme Committee;
authors of accepted papers will be notified by 10th October and will be
invited to give a 20 minute presentation of their paper at the workshop.

Please note only students may submit to this workshop. Help and advice
from supervisors is allowed and encouraged but this help should be
acknowledged in the paper.

Accepted papers and abstracts will be informally published and will be
made available to all participants.

Important Dates:
19th September 2003      Deadline for submission of position papers
10th October 2003        Notification of acceptance
17th-18th November 2003  Workshop
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

More information about the Om-announce mailing list