The Coq mailing list

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

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

                         Call for Participation

   17th Conference on Intelligent Computer Mathematics - CICM 2024 -

                    5-9 August 2024 Montréal (Canada)

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

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

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.

Meet the CICM community this year in Montréal, Canada, from August 5th to
9th!

CICM 2024 features not only interesting presentations, keynotes,
workshops, and tutorials, but also a great city with many attractions to
visit. Our conference dinner will be on a wonderful cruise on the St.
Lawrence River.

We will also host the first Women in Formal Methods (WiFM) workshop to
take place on Friday, August 9.

We have kept the registration fees very moderate with discounted rates for
students, so please join!


Registration
-------------

Please use the following registration page:
https://cicm-conference.org/2024/cicm.php?event=&menu=registration


Accommodation
-------------

For information about accommodation arrangement visit the web page:
https://cicm-conference.org/2024/cicm.php?event=&menu=travel


Accepted papers and Provisional Program
---------------------------------------

The list of accepted papers is online:
https://cicm-conference.org/2024/cicm.php?event=&menu=accepted

A provisional program is online:
https://cicm-conference.org/2024/cicm.php?event=&menu=program


Invited speakers
----------------

* Jacques Carette (McMaster University, Canada): "Learning from
   'invisible mathematics'"

* Andrew Granville (Université de Montréal, Canada): "When our
   computers become better at proving theorems than we are"

* Jennifer Paulhus (Grinnell College, USA): "LMFDB: the joys and
   challenges of developing a mathematical database"


Scope and Committee
-------------------

The scope of CICM concerns 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 2024 Program committee:
https://cicm-conference.org/2024/cicm.php?event=&menu=pc


Workshops affiliated to CICM 2024
---------------------------------

* 15th Workshop on Mathematical User Interaction (MathUI 2024),
   organized by Kazuhisa Nakasho and Jan Frederik Schaefer

* 3rd Workshop on Formal Verification of Physical Systems (FVPS 2024)
   organized by Adnan Rashid, Osman Hasan and Sofiene Tahar

* Alignment Workshop (Alignment 2024), organized by Lucy Horowitz,
   Valeria de Paiva and Florian Rabe

* Lurch Tutorial, organized by Nathan Carter and Kenneth Monks

* Women in Formal Methods Workshop (WiFM 2024), organized by Yassmeen
   Elderhalli



Local information, travel and accommodation
-------------------------------------------

Please see
https://cicm-conference.org/2024/cicm.php?event=&menu=travel

For any queries about the conference program, please contact the PC co-chairs:
* Andrea Kohlhase <andrea.kohlhase AT hnu.de>
* Laura Kovács <laura.kovacs AT tuwien.ac.at>

For any queries about local issues, please contact the conference co-chairs
* Sofiene Tahar <tahar AT ece.concordia.ca>
* William Farmer <farmerw AT mcmaster.ca>

Or send an email to <cicm2024 AT encs.concordia.ca>