FM'06 - Doctoral Symposium - Call for Submissions

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

22nd of August 2006

McMaster University, Hamilton, Canada
http://fm06.mcmaster.ca/
ANNOUNCEMENT AND CALL FOR SUBMISSIONS

=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 =

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=B406 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.

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 =

of the accepted submissions.