[TYPES/announce] Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Deadline: June 13, 2024

Serge Autexier serge.autexier at dfki.de
Thu May 23 02:47:26 EDT 2024


===============================================================================

		 Call for Submissions to the Doctoral Programme

              17th Conference on Intelligent Computer Mathematics
                                  - CICM 2024 -
                                August 5-9, 2024
                 Concordia University, Montreal, Quebec, Canada
                        https://urldefense.com/v3/__https://cicm-conference.org/2024__;!!IBzWLUs!QZbETuQ4s5pO_LB0FxBo4mprHIKil0Fe1LDaXSi6euwkq3QOAShnY2hTA93xLcms24n-i5INqbbpb7b22-M-zHZLt2DmCFYquRIyi0fJ$ 

===============================================================================


 * Submission deadline (Abstract + CV):    June 13, 2024
 * Notification of acceptance:             June 28, 2024
 
For further information, please see below:

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 2024 invites submissions in all topics relating to intelligent computer
mathematics, in particular but not limited to
* theorem proving and computer algebra
* mathematical knowledge management
* digital mathematical libraries
 
The doctoral programme provides PhD students a forum to present early results to
receive constructive feedback and mentoring. To attend, submissions of two-page
abstracts are expected in which the focus and research questions of the expected
PhD theses are described; details on completed research tasks and remaining
research plans should be given. In addition to these abstract, a two-pages CV of
the applicant should also be submitted, detailing background information (name,
university, supervisor), education (sought degree, previous degrees),
employments and relevant research experience (publications, attended
conferences/workshops).
 
Submission
==========
All submissions should be made via EasyChair at
https://urldefense.com/v3/__https://easychair.org/my/conference?conf=cicm24__;!!IBzWLUs!QZbETuQ4s5pO_LB0FxBo4mprHIKil0Fe1LDaXSi6euwkq3QOAShnY2hTA93xLcms24n-i5INqbbpb7b22-M-zHZLt2DmCFYqubQaDxPs$ 
 
Important Dates
===============
Submission deadline:           June 13, 2024
Notification of acceptance:    June 28, 2024
Doctoral Program:              August 5-9, 2024

Doctoral Program Chair
======================
Adnan Rashid, Concordia University, Montreal, QC, Canada
 


More information about the Types-announce mailing list