[mizar] CICM 2024 Call for Papers

[Adam Naumowicz <adamn@math.uwb.edu.pl>]

Dear Mizar Users,

Below I'm forwarding the CICM 2024 call for papers with slightly updated 
submission/notification dates.

Adam

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

Call for Papers
                    formal papers - doctoral programme

         17th Conference on Intelligent Computer Mathematics
      	                    - CICM 2024 -
                        August 59, 2024
                            Montral, 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:              March 11, 2024
  - Full paper deadline:            March 18, 2024
  - Reviews sent to authors:        April 29, 2024
  - Rebuttals due:                  May 1, 2024
  - Notification of acceptance:	    May 16, 2024
  - Camera-ready copies due:        June 3, 2024
  - 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
and Laura Kovcs.

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=cicm2024
using the Springer LNCS style files
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.