For the first time, FM'06 will feature a Doctoral Symposium. Students are invited to submit short papers describing their work in progress.
The authors of the accepted papers will present their work to the members of the Doctoral Symposium Committee, who will act as "friendly examiners", providing detailed feedback. Participation for students whose submissions are accepted will be subsidised. Two prizes will be awarded.
Like the FM'06 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 are:
* Theoretical foundations
* Specification and modelling
* Refinement
* Static analysis
* Model-checking
* Verification
* Calculation
* Reusable domain theories
* Experience with introducing formal methods in industry
* Case studies
* Formal methods in hardware and system design
* Method integration
* Development process
* Tools and environments
SUBMISSION GUIDELINES
--------------------------------
Extended abstracts reporting on the current status of doctoral theses should be submitted by e-mail, as a PDF file, to the Doctoral Symposium Chair ([email protected]). Submissions are limited to 3 pages and must follow the Springer's Lecture Notes in Computer Science format, which can be found in http://www.springeronline.com/lncs .
Submissions will be evaluated by the Committee 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, is in the ideal stage for submission.
SYMPOSIUM FORMAT
---------------------------
The Doctoral Symposium will take a full day, including around 8 presentations of 45 minutes each (20-25 minutes for presentation and
20-25 for discussion and feedback). The participating students and committee members will stay together during the entire day, including the presentations, discussions, coffee-breaks and lunch, giving plenty of opportunity for informal interaction.
INCENTIVES FOR PARTICIPATION
------------------------------------------
The Doctoral Symposium has no registration fees. On the day of the Doctoral Symposium, coffee breaks and a free lunch will be served. There will also be a limited number of grants for covering the registration fees for the FM'06 Technical Symposium.
AWARDS
-----------
Two prizes will be awarded in the context of the accepted submissions: a QinetiQ Award (for research contributions with strong practical
applications) and Springer FACJ Award (for fundamental research). Both awards will consider the relevance of the work, the written and oral presentations.