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

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@hnu.de * Laura Kovács laura.kovacs@tuwien.ac.at

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

Or send an email to cicm2024@encs.concordia.ca