[clean-list] Call for Contributions: Integrated Formal Methods, Doctoral Symposium

Eerke Boiten 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
  networks;

- 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
  www.springer.com/comp/lncs/Authors.html)
- a recommendation letter from their supervisor, which should include
  an assessment of the student's work so far and an estimated submission
  date.

The abstract should include:
- the problem addressed and its relevance;
- the approach taken to solving the problem, and its relation to
  previous solutions;
- 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
  www.ifm2007.org
or contact the Doctoral Symposium organiser
  Eerke Boiten      http://www.cs.kent.ac.uk/~eab2



More information about the clean-list mailing list