Symposium Format Program Call for Papers Review Process Best Defense Award Important Dates Review Committee Examination Committee

Doctoral Symposium

For the third time in its history, Formal Methods Symposium will feature a Doctoral Symposium. Students are invited to submit papers describing their work (in progress). The authors of the accepted papers will present their work at the symposium in the presence of the members of the Examination Committee, who will act as "friendly examiners", providing detailed feedback. Students whose submissions are accepted will be able to participate in the Doctoral Symposium and the FM 2009 Symposium at the student registration rate and they will be invited by the FME association to participate in the conference dinner free of charge. Moreover, the FME association has generously provided a few travel grants to partially support those student authors whose institutes cannot fully support their travel expenses.

The proceedings of the workshop have been published as a technical report of Eindhoven University of Technology, which is available in pdf.

The best combination of paper and defence was selected by the Examination Committee during the symposium and announced at the end of the day:

Symposium Format

The Doctoral Symposium took a full day. It included 10 presentations of 35 minutes each (15-20 minutes for presentation and 15-20 minutes for discussion and feedback) ordered in five themes: Process Algebra, Formal Verification, Security, Testing, and Specification and Refinement. The participating students and committee members stayed together during the entire day, including the presentations, discussions, coffee-breaks and lunch, which gave plenty of opportunity for informal interaction.


Process Algebra

09:00 - 09:35 Exploiting Architectural Constraints and Branching Bisimulation Equivalences in Component-Based Systems Christian Lambertz (U. Mannheim)

09:35 - 10:10 Using CSP for Software Verification Moritz Kleine (TU Berlin)

10:10 - 10:30 Tea/Coffee Break

Formal Verification

10:30 - 11:05 Verification Architectures for Real-time Systems Johannes Faber (U. Oldenburg)

11:05 - 11:40 A Formal Model to Develop and Verify Self-Adaptive Systems Narges Khakpour (Tarbiat Modares U.)


11:40 - 12:15 Rigorous Development of Java Card Applications With the B Method Bruno Gomes (U. Federal do Rio Grande do Norte)

12:15 - 12:50 Exploiting Loop Transformations for the Protection of Software Enrico Visentini (U. Verona)

12:50 - 14:00 Lunch Break

Invited Talk

14:00 - 14:30 How to do research in Formal Methods Cliff B. Jones (Newcastle U.)


14:30 - 15:05 Towards a Theory for Timed Symbolic Testing Sabrina von Styp (RWTH Aachen)

15:05 - 15:40 Testing of Hybrid Systems using Qualitative Models Harald Brandl (Graz U. of Tech)

15:40- 16:00 Tea/Coffee Break

Specification and Refinement

16:00 - 16:35 Formal Domain Modeling: From Specification to Validation Atif Mashkoor (LORIA)

16:35 - 17:10 Expressing KAOS Goal Models with Event-B Abderrahman Matoussi (U. Paris Est)

Call for Papers

Like the FM 2009 conference itself, the Doctoral Symposium welcomes submissions on all aspects of formal methods research, both theoretical and practical. The broad topics of interest of the Doctoral Symposium include, but are not restricted to:

Review Process

Students have submitted extended abstracts reporting on the current status of their doctoral theses to the Program Committee. These submissions were evaluated according to their originality, significance, soundness, quality of presentation, and relevance with respect to the main topics of the Symposium. Since the major purpose of the Symposium is to provide feedback to doctoral students, possibly influencing the direction of their research, work in progress with some results, but still with some open issues, was in the ideal stage for submission. Papers solely authored by students were encouraged. After a careful review of all submissions, the Program Committee chose 10 students to present their work at the Doctoral Symposium

Best Defence Award

The best combination of paper and defence will be selected by the Examination Committee during the symposium and will be announced and acknowledged on the same day. If its quality warrants it, the author(s) of the best paper will be invited to submit a full version of the paper for inclusion in a special issue of Formal Aspects of Computing Journal (FACJ). The journal paper will undergo additional review and the authors will receive extra feedback to bring the paper into shape for journal publication.

Important Dates

Authors who wish to receive a travel grant should send an application letter for the travel grant (of up to 500 euros) to the co-chairs of the symposium along with a letter from their respective institute, in which the (lack of) contribution from the institute is clearly stated.

Review Committee

Examination Commitee