The Coq mailing list

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

                             Call for Contributions
      work-in-progress - posters - demos - tutorials - doctoral programme
              11th Conference on Intelligent Computer Mathematics
                                 - CICM 2018 - 
                               August 13-17, 2018
                            RISC, Hagenberg, Austria
                      http://www.cicm-conference.org/2018

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

CICM   focuses  on   theoretical  and   practical  solutions   for  
mathematical
applications such  as computation,  deduction, knowledge  management, 
libraries,
and user interfaces.

CICM 2018 will feature 3 invited speakers:

* Akiko Aizawa, National Institute of Informatics, University of Tokyo
* Bruno Buchberger, Research Institute for Symbolic Computation, Johannes 
Kepler
  University
* Adri Olde Daalhuis, University of Edinburgh

and 6 affiliated workshops:

* Computer Algebra in the age of Types
* Computer Mathematics in Education - Enlightenment or Incantation
* Formal Mathematics for Mathematicians
* Formal Verification of Physical Systems
* Mathematical Models and Mathematical Software as Research Data
* OpenMath Workshop

In  addition to  the  above  and the  formally  reviewed  program, CICM  
invites
contributions of various forms:

1) Work-in-progress papers (any length up  to 15 pages) will be lightly 
reviewed
   and, if  accepted, presented at the  conference and published in  a volume 
of
   CEUR-WS.
   
2) Demos and  posters (submitted  as a  summary of  a few  paragraphs) will  
be
   presented  during a  dedicated  session.
   Submission is  open to any topic  interesting to the CICM  audience.  We 
also
   encourage authors of accepted papers to  supplement their talk with a demo 
or
   poster.

3) Tutorials (up to 60 minutes, submitted as a summary of a few paragraphs) 
will
   take place in individual rooms during a dedicated session.

4) Doctoral  program submissions (2  page abstract +  CV) will be  presented 
and
   discussed during  a dedicated session  focusing on mentoring.
   Submission is open to any doctoral student in the CICM area.  Student 
authors
   of  accepted papers  are strongly  encouraged to  additionally submit  to 
the
   doctoral program.
   
   Financial support for doctoral program participants is available.


All submissions should be made via easychair at

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

Notifications are sent on a rolling basis.

The last day to submit is July 15.