FM06 - Doctoral Symposium - FINAL CALL

DOCTORAL SYMPOSIUM
FM'06: 14TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS

22nd of August 2006
McMaster University, Hamilton, Canada
http://fm06.mcmaster.ca/

Last Announcement and Call for Submissions (DEADLINE: May 26, 2006)

*** RECENT NEWS: Extended versions of accepted contributions will be=20
invited for submission to the Formal Aspects of Computing Journal.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

For the first time, FM'06 will feature a Doctoral Symposium.  Students=20
are invited to submit short papers describing their work in progress.=20
The authors of the accepted papers will present their work to the=20
members of the Doctoral Symposium Committee, who will act as "friendly=20
examiners", providing detailed feedback.  Participation for students=20
whose submissions are accepted will be subsidised. Two prizes will be=20
awarded.

Like the FM=B406 conference itself, the Doctoral Symposium welcomes=20
submissions on all aspects of formal methods research, both theoretical=20
and practical.   The broad topics of interest of the Doctoral Symposium=20
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=20
should be submitted by e-mail, as a PDF file, to the Doctoral Symposium=20
Chair ([email protected]). Submissions are limited to 3 pages and must=20
follow the Springer's Lecture Notes in Computer Science format, which=20
can be found in http://www.springeronline.com/lncs.

Submissions will be evaluated by the Committee according to their=20
originality, significance, soundness, quality of presentation, and=20
relevance with respect to the main topics of the symposium. Since the=20
major purpose of the symposium is to provide feedback to doctoral=20
students, possibly influencing the direction of their research, work in=20
progress with some results, but still with some open issues, is in the=20
ideal stage for submission.

SYMPOSIUM FORMAT
---------------------------
The Doctoral Symposium will take a full day,  including around 8=20
presentations of 45 minutes each (20-25 minutes for presentation and=20
20-25 for discussion and feedback). The participating students and=20
committee members will stay together during the entire day, including=20
the presentations, discussions, coffee-breaks and lunch, giving plenty=20
of opportunity for informal interaction.

INCENTIVES FOR PARTICIPATION
------------------------------------------
The Doctoral Symposium has no registration fees. On the day of the=20
Doctoral Symposium, coffee breaks and a free lunch will be served. There=20
will also be a limited number of grants for covering the registration=20
fees for the FM'06 Technical Symposium.

*** Extended versions of accepted contributions will be invited for=20
submission to the Formal Aspects of Computing Journal.

AWARDS
-----------
Two prizes will be awarded in the context of the accepted submissions: a=20
QinetiQ Award (for research contributions with strong practical=20
applications) and Springer FACJ Award (for fundamental research). Both=20
awards will consider the relevance of the work, the written and oral=20
presentations.

IMPORTANT DATES
------------------------
Submission deadline: Friday, May 26, 2006
Notification to authors: Friday, June 9, 2006

DOCTORAL SYMPOSIUM COMMITTEE
----------------------------------------------
Ana Cavalcanti  (University of York, UK)
Augusto Sampaio (UFPE, Brazil) - Chair
Jim Woodcock (University of York, UK)

More members will be invited according to the particular research topics=20
of the accepted submissions.