FMOODS 2002 PhD workshop
20-22 March 2002, University of Twente, the Netherlands

Trevor Jones (University of Lancaster)

Workshop Sessions (new) | Registration Information | Workshop Organizers | Submission Information

The workshop is intended for students within the area of Formal Methods for Object-oriented and Component-based Systems. All relevant topics are considered, including but not restricted to:

  1. Formal models for distributed systems;
  2. Object-oriented, component-oriented or aspect-oriented systems;
  3. Testing, validation and verification;
  4. Semantics of object, component or aspect based programming languages;
  5. Formal support for software development;
  6. Formal models for security;
  7. Analysis of interactions between objects, components and aspects;
  8. Novel and innovative uses of formal methods;

The workshop offers an opportunity for students to meet and share their research experiences, to discover commonalities in research and studentship, and to foster a collaborative environment for joint problem solving. PhD students from both industry and academia are encouraged to attend in order to ensure a broad, unconfined discussion. 

This workshop extends the FMOODS 2002 conference (see The PhD Student workshop will be run in collaboration with the FMOODS 2002 and all participants will have full access to both the workshop and the conference. This workshop is being run for students by students. A reduced conference/workshop fee will be negotiated for all workshop participants, on evidence of student status.

Workshop Sessions:

Poster Sessions - Wednesday 20th March and Thursday 21st March, 15:00 - 15:45 

The poster session will be held during two extended coffee breaks; authors are asked to present their posters to the FMOODS audience by answering questions about their work which is displayed on the posters.  During the poster session authors will asked locate themselves next to their posters so that they can respond to delegate comments.  The posters will be on display throughout the duration of the conference for the delegates to browse as they please. 

Specification and verification - Wednesday 20th March, 15:45 - 17:15

Chair: TBA

Components and Objects - Thursday 21st March, 15:45 - 17:15

Chair: TBA

Registration Information:

The student registration fee for the conference is E 150 (early registration) or E 200 (late registration).  This fee includes a copy of the complete FMOODS proceedings and a copy of the workshop CD, which will include all workshop proceedings and posters.  A technical report of the workshop proceedings will also be available.  The fee does not include the conference dinner, but an alternative social event will be organized for students at a minimal cost.

Workshop Organizers

Programme Committee

Submission Information

You can submit a 5-8 page position paper for review. The purpose of the position paper is to give the other participants an overview of your work, but it is probably also a good place to present some unusual and thought provoking statements in order to ensure a lively discussion. 

For consistency, the use of the Kluwer styles is recommended: 

Alternatively, you can submit a 1 page (max) abstract for a poster, which will be presented at the workshop. The focus of these posters should be on novel and innovative use or applications of formal methods. 

Abstracts and position papers should be submitted to Trevor Jones ( Preferred electronic format for submissions is PDF or PS. Authors of accepted posters will be asked to submit an A4 or A3 version of the poster prior to the workshop. Full size posters should be presented at the workshop. Authors of accepted position papers will be invited to give a 20 minutes presentation at the workshop.

Only students may submit to this workshop! Help and guidance from supervisors is allowed and encouraged, but should be acknowledged in an acknowledgements section towards the end of the paper. 

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