The Coq mailing list

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

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

                        CALL FOR PARTICIPATION 

     CICM 2020 -- Conference on Intelligent Computer Mathematics

                  https://cicm-conference.org/2020/

Due to the Covid-19 outbreak, CICM 2020 is held as an online conference

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

GENERAL INFORMATION
-------------------

Digital and  computational solutions are becoming  the prevalent means
for the generation, communication, processing, storage and curation of
mathematical  information.  Separate  communities  have  developed  to
investigate  and build  computer based  systems for  computer algebra,
automated deduction, and mathematical publishing as well as novel user
interfaces. While all of these systems excel in their own right, their
integration  can   lead  to   synergies  offering   significant  added
value.  The  Conference  on Intelligent  Computer  Mathematics  (CICM)
offers a  venue for discussing  and developing solutions to  the great
challenges posed by the integration of these diverse areas.

REGISTRATION
------------

The  conference and  the  affiliated events  will  take place  online.
Registration is free of charge.  However, registration is mandatory to
attend the talks.

Please fill this form to register for CICM 2020:

                 https://forms.gle/oS5BVGDf6LgDGDiK8


SCIENTIFIC PROGRAM
------------------

The program of the conference is available under:

             https://easychair.org/smart-program/CICM-13/

(all times are in CEST timezone (UTC+2))


INVITED SPEAKERS
------------------------

- Kevin Buzzard, Imperial College, London, UK 
  Formalizing Undergraduate Mathematics

- Catherine Dubois, ENSIIE, CNRS, Evry, France
  Formally Verified Constraints Solvers: a Guided Tour

- Christian Szegedy, Google Research, Mountain View, CA, USA
  A Promising  Path Towards  Autoformalization and  General Artificial
  Intelligence


INVITED WORKSHOP SPEAKERS
-------------------------

- Freek Wiedijk, Radboud University Nijmegen, NL
  Formal Proof for the Future

- Fairouz Kamareddine, Heriot-Watt University, UK
  TBA



AFFILIATED WORKSHOPS AND DOCTORAL PROGRAMME
---------------------------------------

- NFM 2020 - Workshop on Natural Formal Mathematics 
  (https://cicm-conference.org/2020/cicm.php?event=NFM)

- Doctoral Programme
  (https://cicm-conference.org/2020/cicm.php?event=doctoral)