The Coq mailing list

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

[Apologies for cross-postings]

                                Call for Papers
              formal papers - informal papers - doctoral programme

              12th Conference on Intelligent Computer Mathematics
                                 - CICM 2019 -
                                July 8-12, 2019
                         CIIRC, Prague, Czech Republic

                      http://www.cicm-conference.org/2019

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

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

CICM appreciates  the varying nature of  the relevant research in  this area 
and
invites submissions of very different forms:

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

   * regular papers (up to 15 pages including references) present novel 
research
      results

   * project  and  survey papers  (up  to  15  pages +  bibliography)  
summarize
     existing results

   * system and dataset descriptions (up to 5 pages) present digital artifacts

   * system  entry (1  page  according  to the  given  LaTeX template)  
provides
     metadata and a quick overview of a new tool or a new release of an 
existent
     tool

2) Informal submissions  will be reviewed with a positive  bias and selected 
for
   presentation based on their relevance for the community.

   * informal  papers  may   present  work-in-progress,  project  
announcements,
     position statements, etc.

   * posters and system demos will be presented in parallel in special 
sessions

3) The doctoral programme provides PhD students a forum to present early 
results
   receive constructive feedback and mentoring.

* Important Dates *

 Formal submissions
 
  - Abstract deadline:            March 01
  - Full paper deadline:          March 08
  - Reviews sent to authors:      April 06
  - Rebuttals due:                April 10
  - Notification of acceptance:   April 15
  - Camera-ready copies due:      May 01
  - Conference:                   July 08-12

Informal submissions and doctoral programme

  Two separate submission rounds are offered so that some authors can make 
early
  travel plans while other authors submit spontaneously.

  - First round submission deadline:  April 01
  - Second round submission deadline: May   15
  
All submissions should be made via easychair at

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