Logic List Mailing Archive

Doctoral Symposium at FM 06 (14th International Symposium on Formal Methods), August 2006, Hamilton, Ontario, Canada

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

=========================
=========================
================

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 (acas@cin.ufpe.br). 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.