ICMS 2020

TU Braunschweig, Germany, July 13-16, 2020

ICMS is a bi-annual congress that gathers the mathematicians, scientists and programmers who are interested in the development of mathematical sofware. ICMS 2020 is supported by the TU Braunschweig, the Einstein Foundation, the Emmy Noether Programm of the DFG, and SFB-TRR 195.

Update on COVID-19

The COVID-19 pandemic effects ICMS 2020 as every planned conference. Despite the extraordinary conditions, ICMS 2020 will happen - as a virtual conference. Our aim is to virtualize not only the talks, but as many aspects of an academic conference as best as we can. Further information about the virtual format of ICMS 2020 will be announced here regularly.

ICMS Unites

ICMS 2020 has brought us all closer together in times of social distancing.
The map below gives shows the locations of our participants from around the globe.

We thank for providing this map.

ICMS 2020 Quick Guide

We are aware that following an online conference is not an easy task. In order to point most important highlights of the virtual format, we prepared a one page quick guide for you. We hope that this quick guide will increase your mobility during the conference, and make ICMS 2020 a smooth experience for you.
Here you can find the one page quick guide for the virtual setting of ICMS 2020.

Invited Speakers

The list of invited speakers for the ICMS 2020 is as follows:

Important Dates

Session proposal submission 02 December 2019
Session proposal decisions 16 December 2019
Short Abstract Submission 24 February 2020
Extended Abstract Submission (16 March 2020) 27 March 2020
Software Demo Proposal 30 March 2020
PC decision on extended abstracts and software demos 27 April 2020
Opening Date of Registrations 01 May 2020
Camera Ready Papers 09 May 2020
7th ICMS in Braunschweig 13-16 July 2020

Conference Poster

You can download the conference poster from here.

Public Contributed Talks

The video records of the contributed talks of ICMS 2020 will be publicly available, if their speakers have listed them as public. You can downlad the puclicly listed talks from here.


ICMS 2020 be held virtually between July 13-16, 2020. The live part of the conference will happen every day from 14:00 to 17:00 CEST, and the planned schedule can be found below. All information below are according to CEST timezone.

Monday, July 13 Tuesday, July 14 Wednesday, July 15 Thursday, July 16
Virtual Excursion
14:00-14:30 A,G,H B,E,H C,F,H,I D,F,H,O
14:30-14:40 Break Break Break Break
14:40-15:40 Plenary Talk: Abraham Plenary Talk: Edelman Plenary Talk: Shoup Software Demo
15:40-15:50 Break Break Break Break
15:50-16:20 A,H,G,J B,E,H C,F,H,I D,F,O
16:20-16:30 Break Break Break Break
16:30-17:10 A,J,K E,J,K C,I,L,N D,L,N,O
Bussiness Meeting
Conference Dinner

The letters on the time slots correspond to the session codes. You can find the full list of session codes below.

Session Code Session Name
A Gröbner Basis in Theory and Practice
B Real Algebraic Geometry
C Algebraic Geometry via Numerical Computation
D Computational Algebraic Analysis
E Software for Number Theory and Arithmetic Geometry
F Groups and Group Actions
G The Classification Problem in Geometry
H Polyhedral Methods in Geometry and Optimization
I Univalent Mathematics: Theory and Implementation
J Artificial Intelligence and Mathematical Software
K Databases in Mathematics
L Accelerating Innovation Speed by Trading Mathematical Data
N The Jupyter Enviroments for Computational Mathematics
O General Session


The conference proceedings can be found in the following link:

The bibliograpy info for the proceedings of ICMS 2020 is as follows:

	editor = {Bigatti, Anna Maria and Carette, Jacques and Davenport, James H. and Joswig, Michael and de Wolff, Timo},
	booktitle = {Mathematical software -- ICMS 2020},
	series = {Lecture Notes in Computer Science},
	volume = {12097},
	publisher = {Springer},


The support by the following organizations is gratefully acknowledged.

Einstein Foundation