ICMS 2020: International Congress on Mathematical Software 2020 TU Braunschweig Braunschweig, Germany, July 13-16, 2020 |
Conference website | http://www.iaa.tu-bs.de/AppliedAlgebra/ICMS2020/ICMS2020.html |
Submission link | https://easychair.org/conferences/?conf=icms2020 |
Abstract registration deadline | March 27, 2020 |
Submission deadline | March 27, 2020 |
Submission Deadline for Software Demos | March 30, 2020 |
ICMS is a bi-annual congress that gathers the mathematicians, scientists and programmers who are interested in the development of mathematical sofware.
Invited Speakers
- Erika Ábrahám (RWTH Aachen, Germany)
- Alan Edelman (MIT, USA)
- Victor Shoup (Courant Institue, USA)
Sessions
- Gröbner Bases in Theory and Practice
- Real Algebraic Geometry
- Algebraic Geometry via Numerical Computation
- Computational Algebraic Analysis
- Software for Number Theory and Arithmetic Geometry
- Groups and Group Actions
- The Classification Problem in Geometry
- Polyhedral Methods in Geometry and Optimization
- Univalent Mathematics: Theory and Implementation
- Artificial Intelligence and Mathematical Software
- Databases in Mathematics
- Accelerating Innovation Speed in Mathematics by Trading Mathematical Research Data
- OpenMath Workshop
- The Jupyter Environment for Computational Mathematics
- General Session
You can find detailed information about the sessions in the ICMS homepage, or in the session homepages which are linked in the list above.
Committees
General Chair
- Michael Joswig (TU Berlin, Germany)
Program Chairs
- Anna Biagatti (Universita di Genova, Italy)
- Folkmar Bornemann ( TU München, Germany)
- Jacques Carette (McMaster University, Canada)
Program Committee
- Erika Ábrahám (RWTH Aachen, Germany)
- Carlo Angiuli (Carnegie Mellon University, USA)
- Katja Berčič (FAU Erlangen-Nürnberg, Germany)
- Anton Betten (Colorado State University, USA)
- Gavin Brown (University of Warwick, United Kingdom)
- Taylor Brysiewicz (Texas A&M University, USA)
- Changbo Chen (Chinese Academy of Sciences, China)
- Tom Coates (Imperial College Longon, United Kingdom)
- Wolfgnag Dalitz (Zuse Institute Berlin, Germany)
- James H. Davenport (University of Bath, United Kingdom)
- Bettina Eick (TU Braunschweig, Germany)
- Matthew England (Coventry University, United Kingdom)
- Claus Fieker (TU Kaiserslautern, Germany)
- Florian Hess (Oldenburg University, Germany)
- Alexander Kasprzyk (Nottingham University, United Kingdom)
- Michael Kohlhase (FAU Erlangen-Nürnberg, Germany)
- Christoph Koutschan (RICAM, Austria)
- Viktor Levandovskyy (RWTW Aachen, Germany)
- Anders Mörtberg (Stockholm University, Sweden)
- Yue Ren (Swansea University, United Kingdom)
- Anna-Laura Sattelberger (Max Planck Institute for Mathematics in the Sciences, Germany)
- Benjamin Schröter (Binghamton University, USA)
- Moritz Schubotz (FIZ Karlsruhe, Germany)
- Emre Sertöz (Max Planck Institute for Mathematics in the Sciences, Germany)
- Nicolas M. Thiéry (Paris-Sud University, France)
- Rebecca Waldecker Martin-Luther-University Halle-Wittenberg, Germany)
Local Chair
- Timo de Wolff (TU Braunschweig, Germany)
Local Organizers
- Alexander Cant (TU Braunschweig, Germany)
- Bettina Eick (TU Braunschweig, Germany)
- Janin Heuer(TU Braunschweig, Germany)
- Birgit Komander (TU Braunschweig, Germany)
- Khazhgali Kozhasov (TU Braunschweig, Germany)
- Dirk Lorenz (TU Braunschweig, Germany)
- Tobias Moede (TU Braunschweig, Germany)
- Silke Tiel (TU Braunschweig, Germany)
- Oguzhan Yürük (TU Braunschweig, Germany)
Submission Guidelines
In addition to the usual presentations this year, for the first time, there will be an opportunity to present software in a fair, which is similar to a poster session. You can find the instructions for submitting an extended abstract for organized sessions and software demonstration below.
Extended Abstract Submission for the Organized Sessions
You submit an extended abstract by March 16, 2016. If accepted, then it will enter the conference proceedings, which will appear in the Springer series Lecture Notes in Computer Science (LNCS). It should be at least 4 pages and at most 8 pages. It should follow the Springer guidelines for authors. In particular, it should use the latex template and the LNCS latex style. The extended abstracts must be submitted via EasyChair to:
https://easychair.org/conferences/?conf=icms2020
as a single file, containing all the files. This must include one LaTeX source file, one bib file with the references, and one PDF created from the source. If you should have TikZ graphics, include it into the LaTeX source. Additional graphics files may be added to the zip file as PNG or JPG.
The extended abstracts contain original research that has neither been published nor submitted for publication elsewhere. Authors need to sign a Consent-to-Publish form, through which the copyright of their paper is transferred to Springer.
Extended Abstract Submission for the Software Demonstrations
In order to give a software demo at ICMS 2020 you need to submit an extended abstract by March 30, 2020. It should be at least 0.5 pages and at most 1 page. It should follow the Springer guidelines for authors.
The extended abstracts must be submitted via EasyChair to
https://easychair.org/conferences/?conf=icms2020
as a single file, containing all the files. This must include one LaTeX source file, one bib file with any references, and one PDF created from the source. You will be asked to choose a topic in the submission page. Please make sure that you choose "Software Demos" as the topic.
Note that the call for software demonstration is independent of the other presentations (in form of a talk) at the conference. i.e., giving a talk at ICMS 2020 neither is a prerequisite for presenting at the software demonstration, nor are speakers of one of the various sessions excluded from (additionally) submitting an abstract for the software demonstration. The number of available spots is, however, limited; decisions for acceptance will be made on basis of the submitted abstract.
Venue
The conference will be held in TU Braunschweig, Braunschweig, Germany.
Contact
All questions about submissions should be emailed to Oguzhan Yürük.