ICMS Session: Math in 2050 (ABSTRACT DEADLINE 31. March), 24-27 July 2018, Notre Dame University, South Bend, USA

[Michael Kohlhase]

[apologies for multiple copies]

                  ICMS Session
                     ---
                  Math in 2050
     Creativity, Publication, and Application
     supported by Knowledge Bases and Software?
    
     Notre Dame, 24-27 July 2018 (one day, tbd)
     co-located with ICMS 2018 http://www.icms-conference.org/2018
     Details: http://www.icms-conference.org/2018/sessions/session17/


Aim and Scope

The Math2050 Session explores community perceptions of future workflows
in “doing mathematics” (the conception, publication, dissemination, and
application of mathematical knowledge). It follows upon an ICMS event in
Berlin organized by the International Mathematical Knowledge Trust
(IMKT; chartered by the IMU and funded by the Alfred P. Sloan Foundation
to help bring about a global digital mathematics library). The question
of how to encode mathematical semantics that is at the heart of what
future mathematics will be, was considered at a Fields Institute
workshop in February 2016 and is still an active one.
Topics and Publications

The workshop seeks technical contributions and position papers on
novel/computer-supported workflows and information resources for the
practice of the mathematical sciences. The contributions will be used as
anchors to an open discussion on how “doing mathematics could change in
the next 30 years (one full generation of mathematicians). The
contributors will be invited to submit articles to a special issue of
“Mathematics in Computer Science”.

IMPORTANT DATES (all times are "anywhere on earth")

1. Abstract Submission: March 31. 2018
2. Extended Abstract Submission: April 21, 2018.

SUBMISSIONS/PROCEEDINGS

After the meeting a full paper can appear in ICMS proceedings (LNCS)


ORGANISATION/PROGRAMME COMMITTEE

Organizers

    Michael Kohlhase (FAU Erlangen-Nürnberg)
    Patrick D. F. Ion (GDML WG & University of Michigan)

Comments/questions/enquiries: to be sent to the organizers


-- 
----------------------------------------------------------------------
Prof. Dr. Michael Kohlhase,  http://kwarc.info/kohlhase, skype: mibein42

Professur für Wissensrepräsentation & -verarbeitung
  Informatik, FAU Erlangen Nürnberg, Martensstr. 3, D-91058 Erlangen,
Room 11.139,
  tel/fax: (49) 9131-85-64052/55, michael.kohlhase at fau.de
----------------------------------------------------------------------