You must enable JavaScript to use this site
  • 13th Mathematical User Interfaces Workshop 2020

    at the Conference on Intelligent Computer Mathematics

    Bertinoro, Italy between July 26 - 31, 2020

    please redistribute


    MathUI is an international workshop to discuss how users can be best supported when doing/learning/searching for/interacting with mathematics using a computer.

    • Is mathematical user interface design a design for representing mathematics, embedding mathematical context, or a specific design for mathematicians?
    • How is mathematics for which purpose best represented?
    • What specifically math-oriented support is needed?
    • Does learning of math require a platform different than other learning platforms?
    • Which mathematical services can be offered?
    • Which services can be meaningfully combined?
    • What best practices wrt. mathematics can be found and how can they be best communicated?
    • What is the spectrum of tasks when doing maths on a computer? What are the conceptual connections between the concepts manipulated in data-processing, spreadsheets, data-visualisation, or geometry systems?

    We invite all questions, that care for the use of mathematics on computers and how the user experience can be improved, to be discussed in the workshop.



    • user-requirements for math interfaces
    • novel mathematical interfaces
    • presentation formats
    • mobile-devices powered mathematics
    • cultural differences in practices of mathematical languages
    • didactically sensible scenarios of use
    • spreadsheets as mathematical interfaces
    • manipulations of mathematical expressions
    • usability studies of mathematical interfaces

    This workshop follows a successful series of workshops held at the Conferences on Intelligent Computer Mathematics since 11 years; it features presentations of brand new ideas in papers selected by a thorough review process, wide space for discussions, as well as a software demonstration session.


    The organizers invite authors to submit contributions of 6 to 12 pages on the workshop-related topics in PDF format optionally illustrated by supplementary media such as video recordings or access to demos. Please submit via easychair.


    The deadline for submissions is Mai 21st 2020. Method of submission: please login and submit via EasyChair.

    The submissions will be reviewed by the international programme committee whose comments and recommendations will be sent back by June 15th requesting a final version (6 - 12 pages) no later than June 30th.

    Moreover, MathUI will be concluded by an EXPO-like demonstration session. Proposed demonstrations should be sent by email until June 21th, containing a URL to a software description, a title, a short abstract of the demonstrated features, and the indication of hardware expectations (own/lent laptop/tablet, internet access (speed?), power, …).

    After a short elevator pitch, the demonstration session will run for 1-3h, each demonstrating to interested parties.

    Programme Committee


    • Yasuyuki Nakamura, Nagoya University (to be confirmed)
    • Mitsushi Fujimoto, Fukuoka University of Education (to be confirmed)


    • Marco Pollanen (organizer), Trent University


    • Jana Trgalova, Universite Claude Bernard Lyon 1 (to be confirmed)


    • Andrea Kohlhase (organizer), Neu-Ulm University of Applied Sciences
    • Michael Kohlhase, University of Erlangen (to be confirmed)
    • Paul Libbrecht (oranizer), German IUBH University of Applied Science, Germany
    • Moritz Schubotz (oranizer), Dept. of mathematics, FIZ-Karlsruhe, Berlin, Germany


    • Daniel Marquès, wiris, Barcelona (to be confirmed)


    • Deyan Ginev, Authorea, New York (to be confirmed)
    • Elena Smirnova, Texas Instruments Inc. Education Technology (to be confirmed)

    For inquiries please contact

    • Andrea Kohlhase,
    • Paul Libbrecht,
    • Marco Pollanen,
    • Moritz Schubotz,
  • News

    • 301 registrations
    • Proceedings online
    • Registration form online
    • Programme online
    • Proceedings in print
    • Final papers received
    • Accepted papers online
    • Notifications sent out
    • Decision phase completed
    • Rebuttal phase completed
    • Reviews sent out
    • Reviewing phase completed
    • Submission (main) closed
    • Cfp third round
    • Deadline extension
    • Cfp second round
    • Invited keynotes complete
    • Springer LNCS proceedings
    • Cfp first round
    • Dates online
    • Calls online
    • Invited speakers
    • PC online
    • Initial website online
Privacy policy and legal information
Last modified: April 16 2020 10:01:53 CEST