The Coq mailing list

[serge.autexier AT dfki.de (Serge Autexier)]

                  The 3rd Call for Papers: MathUI'24
                         (extended deadline)
         (see MathUI at http://www.cicm-conference.org/2024)
               ----------------------------------------
                      15th MathUI Workshop 2024
                    Mathematical User Interaction
               ----------------------------------------
        at the Conference on Intelligent Computer Mathematics
                         Montreal, QC, Canada
                            August 9, 2024
                    ------------------------------
                         please redistribute
                         

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?

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

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, wide space for
discussions, as well as a software demonstration session.

SUBMISSIONS
-----------

Please submit via EasyChair at
https://easychair.org/conferences/?conf=mathui24 .

- Abstract deadline: July 12th, 2024.
- Deadline: Continuous submission until July 12th, 2024. Early submission 
leads
          to early notification.
- Contribution: 5 - 12 pages (papers with less than 10 pages will be 
considered
          short papers in the proceedings)
- Format: Authors should prepare their papers in the one column style of 
CEUR-WS
          for the final version and without page numbers (template and sample
          papers). Optionally illustrated by supplementary media such as video
          recordings or access to demos.  - Method of submission: Please login
          and submit via EasyChair.  We strongly recommend in-person
          presentation of accepted papers.

The program committee will review the submissions whose comments and
recommendations will be sent back by July 23rd, requesting a final version no
later than July 29th.  Early submissions will receive earlier feedback.

PC COMMITTEE
-------------
  - Abhishek Chugh, Sophize Foundation
  - Andrea Kohlhase, Neu-Ulm University of Applied Sciences
  - Dennis Müller, FAU Erlangen-Nürnberg
  - Fabian Huch, Technical University of Munich
  - Jan Frederik Schaefer (co-organizer), Friedrich-Alexander-Universität 
Erlangen-Nürnberg
  - Kazuhisa Nakasho (co-organizer), Yamaguchi University

For inquiries please contact
     
 - Kazuhisa Nakasho, nakasho AT yamaguchi-u.ac.jp
 - Jan Frederik Schaefer, jan.frederik.schaefer AT fau.de

HOPE TO SEE YOU AT MathUI'24!