[Om] CICM 2012 Doctoral Programme

[Serge Autexier]

[Apologies for possible multiple postings.]
[Please forward to interested students]

			CALL FOR APPLICATIONS

		     CICM 2012 Doctoral Programme
			    July 11, 2012
		      Jacobs University, Bremen

     http://cicm2012.cicm-conference.org/cicm.php?event=doctoral

The  CICM conferences AISC,  Calculemus, DML,  and MKM  bring together
researchers  from  the  areas  of  Artificial  Intelligence,  computer
algebra,  automated  deduction, and  mathematical  publishing who  are
interested  in  intelligent  mathematical  computation.   It  provides
students  an  excellent opportunity  to  get  an  overview of  ongoing
research, challenges and meet established researchers.

The Doctoral Programme provides a  dedicated forum for PhD students to
present  and discuss  their ideas,  ongoing or  planned  research, and
achieved  results   in  an  open  atmosphere.   It   will  consist  of
presentations  by  the  PhD  students to  get  constructive  feedback,
advice, and suggestions from the research advisory board, researchers,
and  other PhD  students.  Each  PhD student  will be  assigned  to an
experienced researcher  from the research advisory board  who will act
as a mentor and who will provide detailed feedback and advice on their
intended and ongoing research.


APPLICATIONS

Students at  any stage of  their PhD can  apply and should  submit the
following documents:

* A  two-page  abstract  of   your  thesis  describing  your  research
  questions,  research   plans,  completed  and   remaining  research,
  evaluation plans and publication plans;

* A   two-page  CV   that  includes   background   information  (name,
  university,  supervisor), education  (degree sought,  year/status of
  degree, previous degrees), employments, relevant research experience
  (publications,  presentations,  attended  conferences or  workshops,
  etc.)

The documents must  be in PDF format and be submitted  by email to the
organizer  Serge  Autexier  at serge.autexier at dfki.de  (subject:  CICM
doctoral programme application) until May 16, 2012.

Acceptance of applications will be  based on relevance with respect to
the topics of the CICM conference.

A limited  number of  student grants will  be available for  the whole
conference.   To  apply, please  indicate  this  when submitting  your
proposal  including a  short explanation  why  you need  a grant.  The
decision for the grants will be based on neccessity and merit.


IMPORTANT DATES

Submission of applications:        May 16, 2012
Notification of acceptance:        May 25, 2012
Mentor's feedback and advices:    June 15, 2012
Doctoral programme:               July 11, 2012

For   any   further    questions   please   contact   Serge   Autexier
(serge.autexier at dfki.de)


-- 
Serge Autexier,   serge.autexier at dfki.de,   http://www.dfki.de/~serge/
DFKI Bremen, Cyber-Physical Systems
MZH, Room 3120                             Phone: +49 421 218    59834
Bibliothekstr.1, D-28359 Bremen              Fax: +49 421 218 98 59834
----------------------------------------------------------------------
Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH
principal office, *not* the address for mail etc.!!!:
Trippstadter Str. 122, D-67663 Kaiserslautern
management board: Prof. Wolfgang Wahlster (chair), Dr. Walter Olthoff
supervisory board: Prof. Hans A. Aukes (chair)
Amtsgericht Kaiserslautern, HRB 2313
----------------------------------------------------------------------