The Coq mailing list

[serge.autexier AT dfki.de (Serge Autexier)]

[Apologies for cross-postings]

     Final Call for Applications to the Doctoral Programme
                   Deadline 15. July 2022

         15th Conference on Intelligent Computer Mathematics
                            - CICM 2022 -
                        September 19-23, 2022
                    Tbilisi, Georgia (hybrid event)
                 http://www.cicm-conference.org/2022

--------------------------------------------------------------------------------

Digital and computational solutions are becoming the prevalent means
for the generation, communication, processing, storage and curation of
mathematical information.

CICM brings together the many separate communities that have developed
theoretical and practical solutions for mathematical applications such
as computation, deduction, knowledge management, and user interfaces.
It offers a venue for discussing problems and solutions in each of
these areas and their integration.

CICM 2022 Invited Speakers:

* Erika Abraham (RWTH Aachen University)
* Deyan Ginev (FAU Erlangen-Nürnberg and NIST)
* Sébastien Gouëzel (IRMAR, Université de Rennes 1)                          
                             
CICM 2022 Programme committee:
  see https://www.cicm-conference.org/2022/cicm.php?event=&menu=pc

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

- Deadline: July 15, 2022 (not a cut-off time and late submissions may still 
be considered)
- Notification of acceptance: July 29, 2022 

All submissions should be made via EasyChair at 
    https://easychair.org/conferences/?conf=cicm2022