14^{th} Conference on Intelligent Computer Mathematics

July 26 - 31, 2021

Timisoara, Romania

CICM

MathUI

FVPS

FMM

NatFoM

OpenMath

Doctoral Programme

You must enable JavaScript to use this site

Registration

Invited Speakers

Programme

Proceedings

PC

Important Dates

Call for Papers

Call for Workshops

13th MathUI Workshop 2021
Mathematical User Interaction

at the Conference on Intelligent Computer Mathematics

Timisoara, Romania (online) between July 26 - 31, 2021 (exact date tba.)

Please join us at MathUI'21!

Scope

MathUI is an international workshop for discussing how users can be best supported when interacting with mathematical content, i.e., doing/learning/searching for/viewing/... mathematics using a digital device.
Use cases range from professional mathematicians trying to prove a new theorem up to non-math-oriented people trying to understand the math formula used to calculate interest rates.

What do we know about interactions between users and math?

Which mathematical services can be offered, and can they be meaningfully combined?

How is mathematics for which purpose best represented?

What specifically math-oriented support or platforms are needed?

How can we exploit best practices concerning mathematics for better math-user interactions?

Topics of Interest

We invite all topics that care for the use of mathematics on digital devices and its user experience, for instance,

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

graphs as mathematical interfaces

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; it features presentations of brand new ideas in papers selected by a thorough review process, a wide space for discussions, as well as a software demonstration session.

Submissions

Accepted submissions will be published in the CEUR Workshop Proceedings series (http://ceur-ws.org/).

Submission at easyChair (https://easychair.org/conferences/?conf=cicm2021): Select
the author role, select the "new submission" tab, and choose MathUI.

The program committee will review the submissions whose comments and recommendations will be sent back by July 21st, requesting a final version (4 - 12 pages) no later than July 25th.

Programme Committee

Andrea Kohlhase (organizer), Neu-Ulm University of Applied Sciences

Paul Libbrecht, IU International University of Applied Science and Cabrilog SAS

Marco Pollanen, Trent University

Moritz Schubotz, FIZ Karlsruhe - Leibniz Institute for Information Infrastructure

For the time of the CICM'21 conference, you can have a preview of the papers accepted for presentation at MathUI'21: