You must enable JavaScript to use this site
  • Doctoral Programme (Chair: Dennis Müller)

    CICM is an excellent opportunity for graduate students to meet established researchers from the areas of computer algebra, automated deduction, and mathematical publishing.

    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.

    Application

    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.)
    Submissions should be made via easychair.

  • News

    • tentative informal proceedings
    • formal proceedings online
    • detailed program online
    • 3 invited speakers
    • accepted papers announced
    • registration open
    • extended deadline
    • four workshops and tutorial confirmed
    • LNAI proceedings confirmed
    • initial program committee
    • initial website online
Privacy policy and legal information
Last modified: May 09 2019 14:13:45 CEST