From: Michael Kohlhase <michael.kohlhase@fau.de>
To: caml-list@inria.fr
Subject: [Caml-list] ICMS Session: Math in 2050 (ABSTRACT DEADLINE 31. March), 24-27 July 2018, Notre Dame University, South Bend, USA
Date: Tue, 20 Mar 2018 06:39:20 +0100 [thread overview]
Message-ID: <096e01e0-8407-7fe1-d3b1-04c85ad5c8d9@fau.de> (raw)
[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@fau.de
----------------------------------------------------------------------
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
reply other threads:[~2018-03-20 5:43 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=096e01e0-8407-7fe1-d3b1-04c85ad5c8d9@fau.de \
--to=michael.kohlhase@fau.de \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).