PhD students are kindly invited to submit a contribution on their current research in integrated formal methods to the
The doctoral symposium will take place in Eindhoven on November 29, right after the tutorial by Holger Hermanns, and one day before the main conference (Nov 30 - Dec 2), with invited talks by Patrice Godefroid, David Parnas and Doron Peled.
- the doctoral symposium gives you an excellent opportunity to present your work in an international setting, and to get feedback from senior researchers in the field
- the doctoral symposium lets you exchange knowledge and experiences with fellow PhD-students in a related topic.
- the best paper/presentation will be awarded by BCS-FACS
- the selected contributions will be published electronically on the website and distributed as hand-out during the conference
- a subset of the selected papers will be invited for an extended contribution to a post-conference proceedings (currently under negotiation with ENTCS)
Send a 5 page extended abstract in PS or PDF format to firstname.lastname@example.org. This abstract should:
- contain your name, affiliation, and a 200 word abstract
- clearly identify the research question you are addressing
- present preliminary ideas for the proposed approach and the contributions and results so far
- contain a comparison with related work
Please also include a letter of recommendation by your advisor, stating your research topic and expected date of your dissertation, which should be later than the symposium.
Submissions will be reviewed by the conference chairs and selected for inclusion in the symposium on the basis of technical merit, presentation quality, and relevance to the conference topics.
PhD students whose contribution is selected for the symposium will be able to register for the fee of €225.00 with attendance to IFM (student registration conditions).
|17 oct 2005
||submission of 5 pages (postscript/pdf) to email@example.com
|21 oct 2005
||notification of selected contributions
|29 nov 2005
|2 dec 2005
||afterthought and best student paper award.