Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Doctoral Programme at CICM'08 in Birmingham (S...

Email Gateway (Aug 18 2022 at 11:58):

From: Christoph Benzmueller <chris@ags.uni-sb.de>
Doctoral Programme at CICM'08 in Birmingham
http://events.cs.bham.ac.uk/cicm08/doctoral/
<http://events.cs.bham.ac.uk/cicm08/doctoral/>

(Some Student Grants Available!)

A Doctoral Programme will be organized as part of the CICM'08:
Conferences on Intelligent Computer Mathematics in Birmingham.

The CICM'08 Doctoral Programme will enable graduate students to
discuss and present their research and ideas, and gain feedback from
respected researchers within the areas of Mathematics, Computer
Science and Artificial Intelligence. It will also promote contacts
between participating students and provide information on careers
opportunities in academia, research and industry. Moreover, tutorials
from experienced researchers are planned as well as a social
programme including some sports event.

Some financial support for travel and attendance are available to
support some students attending CICM'08 and its Doctoral Programme.

Application

Ph.D. students at any level, working on a research topic related to
the CICM'08 conferences (http://events.cs.bham.ac.uk/cicm08/
<http://events.cs.bham.ac.uk/cicm08/>)
may apply for participation in the Doctoral Programme.
Application documents shall be send to chris@ags.uni-sb.de
<mailto:chris@ags.uni-sb.de>
and they should consist of:

• A brief (max. 1 page) summary of the PhD topic
• A short letter of recommendation from the supervisor
• A statement whether the student applies for a grant or not

On the basis of this information, the programme committee and the Junior
Advisory Board will invite eligible students to participate in the Doctoral
Programme and award financial support.

Dates

Application Deadline: June 19
Acceptance Notification: June 23

Programme Committee

Christoph Benzmueller (Saarland University)
Jacques Fleuriot (The University of Edinburgh)
William Farmer (Master University)
Mateja Jamnik (Cambridge University)
Joerg Siekmann (DFKI Saarbruecken and Saarland University)

Junior Advisory Board:

Josef Baker (The University of Birmingham)
Christine Mueller (Jacobs University Bremen)
Marc Wagner (Saarland University)

Last updated: Nov 21 2024 at 12:39 UTC