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 [EMAIL PROTECTED]): - 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 _________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
