[TYPES/announce] CICM 2018: Call for Papers, Workshops & Tutorials

Serge Autexier serge.autexier at dfki.de
Tue Jan 9 02:59:23 EST 2018


                            Call for Papers
 formal papers - informal papers - doctoral programme - workshops - tutorials
                                                                                 
         11th Conference on Intelligent Computer Mathematics
      	                    - CICM 2018 - 
                           August 13-17, 2018
                          RISC, Hagenberg, Austria
                    http://www.cicm-conference.org/2018

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

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

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.

4) Workshops allow smaller groups to self-organize focused discussions.

5) Tutorials allow presenting a particular system in depth.

* Important Dates *

 Formal submissions
 
  - Abstract deadline:            April 15
  - Full paper deadline:          April 22
  - Reviews sent to authors:      May 21
  - Rebuttals due:                May 27
  - Notification of acceptance:	  June 4
  - Camera-ready copies due:      June 8
  - Conference:                   August 13-17

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 22
  - Second round submission deadline: July  31         

  
 Workshop and Tutorial proposals
  - Submission deadline:          February 26
  
All submissions should be made via easychair at https://easychair.org/conferences/?conf=cicm2018


More information about the Types-announce mailing list