[clean-list] Call for Contributions: Integrated Formal Methods,
E.A.Boiten at kent.ac.uk
Mon May 14 17:34:26 MEST 2007
The 6th International Conference on Integrated Formal Methods
(www.ifm2007.org) will be held from 2nd to 5th July 2007 at
St Anne's College, Oxford, UK.
It will be followed by a Doctoral Symposium on Friday 6th July 2007.
This is intended for PhD students in this research area.
Its objectives are:
- to allow PhD students to get in contact with peers and experienced
researchers in their field, in order to strengthen their research
- to provide PhD students with informed and constructive feedback on their
work from experts in the field;
- to allow PhD students some experience of the style and mechanics of
the examination of PhD work.
This doctoral symposium will be attended by at most 8 PhD students working
in the area of integrated formal methods and a panel of experts in the
field. Each of these students will give a short presentation, which will
be followed by questions and feedback from the panel.
Presenting students should be far enough into their research to be able to
present a clear research plan and some preliminary results, but should
also have enough time remaining to take any feedback into account.
Students who would like to present at the doctoral symposium should
submit by 31 May (via email to E.A.Boiten at kent.ac.uk):
- an abstract of about 4 pages in LLNCS format (see
- a recommendation letter from their supervisor, which should include
an assessment of the student's work so far and an estimated submission
The abstract should include:
- the problem addressed and its relevance;
- the approach taken to solving the problem, and its relation to
- some preliminary results and conclusions.
A panel from the program committee will make a selection from the students
who submitted an abstract, and these students will be informed of
acceptance by 5 June. Participation is free for students registered for
the conference already; early registration rates will be extended for
successful applicants to the doctoral symposium (only!) until 8 June.
The abstracts will be published in a University of Kent technical report,
copies of which will be available for the participating students and panel
at the doctoral symposium.
For further information, please visit the conference web pages
or contact the Doctoral Symposium organiser
Eerke Boiten http://www.cs.kent.ac.uk/~eab2
More information about the clean-list