You must enable JavaScript to use this site
  • Doctoral Programme (chair: Mădălina Eraşcu)

    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.)
    All submissions should be made via https://easychair.org/my/conference?conf=cicm2022 until July 15, 2022.

  • News

    • Kickff Meeting on EuroProofNet Libraries at CICM
    • Special registration option for online participation
    • Accepted papers are online
    • Registration is open to all CLAS'22 events, including CICM
    • Submission deadlines extended
    • CICM will be a hybrid event
    • Springer LNAI proceedings confirmed
    • PC and dates online
    • Initial website online
Privacy policy and legal information
Last modified: March 30 2022 23:43:53 CEST