[Event at CIG] Extended Deadline April 8, 2024 (abstracts April 1, 2024): 17th Conference on Intelligent Computer Mathematics (CICM 2024)

[Serge Autexier]

				Call for Papers
		       formal papers - doctoral programme

	      17th Conference on Intelligent Computer Mathematics
 				- CICM 2024 -
			        August 5–9, 2024
				Montréal, Canada
				
		       https://cicm-conference.org/2024/

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

More  and  more  mathematical  information is  digitally  processed,  generated,
communicated, stored and curated.

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

*** Important Dates ***

 Formal submissions 
  - Abstract deadline:              April 1, 2024 (extended)
  - Full paper deadline:            April 8, 2024 (extended)
  - Reviews sent to authors:        May 14, 2024 (extended)
  - Rebuttals:                      May 14-17, 2024 (extended)
  - Notification of acceptance:	    May 28, 2024 (extended)
  - Camera-ready copies due:        June 11, 2024 (extended)
  - Conference:                     August 5-9, 2024

Doctoral programme applications
   - Submission deadline:           June 13, 2024
   - Notification of acceptance:    June 28, 2024

*** Programme committee ***
                             
The program committee is listed at https://cicm-conference.org/2024/cicm.php?event=&menu=pc  

The  program committee  is chaired  by  Andrea Kohlhase  (Neu-Ulm University  of
Applied Sciences, Germany) and Laura Kovács (TU Vienna, Austria).

The CICM  community appreciates the varying  nature of the relevant  research in
computer mathematics and invites submissions of two different forms:

*** Formal Paper Submissions ***

Formal  submissions will  be reviewed  rigorously  and accepted  papers will  be
published in a volume of Springer LNAI:

   * regular papers (up to 15 pages + bibliography) present novel 
     research results
   
   * project and survey papers (up to 15 pages + bibliography)
     summarize existing results
  
   * system and dataset descriptions (4 to 5 pages + bibliography)
     present digital artifacts

*** Doctoral Symposium: Two-Page Abstracts***

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

*** Submissions ***   

All submissions should be made via EasyChair at

                 https://easychair.org/conferences/?conf=cicm24

using the Springer LNCS style files (see https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines).

CICM  2024 proceedings,  containing  the accepted  formal  submissions, will  be
published in the Springer LNAI series.

*** Participation - Physical Event ***

CICM 2024 will  be held as a  physical event and participation  is possible only
on-site. At least one of the authors  of accepted papers is expected to register
to CICM 2024 and present the work(s) on-site.

*** Best Papers ***

CICM 2024 honors the  best paper and best student paper  with respect to reviews
and program committee discussions with an award.