Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] 2021 Conference on Intelligent Computer Mathem...

view this post on Zulip Email Gateway (Apr 20 2021 at 08:49):

Call for Abstracts - Doctoral Programme

14th Conference on Intelligent Computer Mathematics

- CICM 2021 -
July 26-31, 2020

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
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.


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

All submissions should be made via until 15 May 2021.

The doctoral program will be held online.

More details here:

Last updated: Sep 25 2021 at 09:17 UTC