From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 940922DF6 for ; Tue, 20 Mar 2018 05:43:02 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,333,1517871600"; d="scan'208";a="318925404" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 20 Mar 2018 06:43:01 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 3F6C082417; Tue, 20 Mar 2018 06:43:01 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 3C2C0823D7 for ; Tue, 20 Mar 2018 06:39:53 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=michael.kohlhase@fau.de; spf=Pass smtp.mailfrom=michael.kohlhase@fau.de; spf=Pass smtp.helo=postmaster@mx-rz-1.rrze.uni-erlangen.de IronPort-PHdr: =?us-ascii?q?9a23=3A0lHy/hyy/W40TGzXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2+4VIJqq85mqBkHD//Il1AaPAd2Araocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze+/94HdbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRHoli?= =?us-ascii?q?kJKjk5/mLZhMN+g61UvB2vqgdjw4PXeoyZKOZyc63fcN4cWGFPXtxRVytEAo6k?= =?us-ascii?q?aIUPDvYOPeZCoIbjo1sFsB6wBQ6sBOPryj9HnGT20rMn2OkmFAHG3RAvH9IUv3?= =?us-ascii?q?vKqNX5LqQSUee1zKnMzTXMdehW1inm5YjGaB8hvOuAUq9ufsfIz0QkCg3LjlKV?= =?us-ascii?q?qYP/PjOV0PwAs2uV7uV6T+Kgl3QrqwB3ojihwccgkojJiZ4QylDf7Cl23IE1Jd?= =?us-ascii?q?u2SEFle96rDp1QuD2EOIdsRcMiWW5otSAnwbMFoZ62ZDUGxZo6yxLFdvCKcIuF?= =?us-ascii?q?7gj+WOqMOzt0mm5pdKq9ihu260Ss1OPxW82u3FpXoSdIkcPAum0P2hHc7MWMV+?= =?us-ascii?q?Fz8V272TmV0gDe8uFELl4wlarcM5Mhx7ExmoMJsUXCByP6hV/6jLWMdkQl5Oek?= =?us-ascii?q?8fnnYrPnppOFKYB0kAX+Pb4omsywH+s4NBICUHWF9uik1b3j+1P2QKlSg/ErnK?= =?us-ascii?q?TVrYrWKdkYq6O6GQNZz5sv5wyhAzu6yNgYmGMILFNBeBKJlYjpPFTOLej9Dfe+?= =?us-ascii?q?n1uskC1kyO7CPrH7AZXNKXjDkLPhfbln8E5T1hE+zd5F6JJJEL0OPez8VlfrtN?= =?us-ascii?q?PEFh85LxC0w+H/BdphzIweXGaPDradMKPTql+I+vkiI/KMZY8QoDbyMeIp5//o?= =?us-ascii?q?jX8jmF8SZ7Ol3ZUNaCPwIvMzKEycZT/og8wdOWYMpAs3CuLw23OYVjsGQne5X6?= =?us-ascii?q?sx4nkYD4KiDY7YS8j5hb2K3C62GttVYWBCClmXHF/mfpjCV/paO3HaGdNojjFR?= =?us-ascii?q?DevpcIQmzxz77FarmYoiFfLd/2gjjbym0dF04+PJkhRipzJ9EoKR3jPUFj0mri?= =?us-ascii?q?YzXzYzmZtHjwll0F7Tg6ZxnrpUGI4Lvq4bYkIBLZfZitdCJZXyVwbGJY/bTUbj?= =?us-ascii?q?WMfjWHcrVMA8hcIIYgNwAdGriB/O2WymDu1Mmg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C4AQAhnrBahxQLvINeHAEBAQQBAQoBA?= =?us-ascii?q?YJ8gTpyIQeDXYsPjQuBTwuBP4wFig8LI4FZhlcaBgEEMxUBAgEBAQEBAQEBARI?= =?us-ascii?q?BAQEKCwkIKC+COCKCdQ8BDQEBJhIYHAIfBwJsBgIBARCFBgEDBAeNF5pSboImg?= =?us-ascii?q?wEBAQWFWIIGCIEMhCeBI00lgVWBVCgMhC2BUoI/gjyCYYdHkDJFCX54hBaJI4I?= =?us-ascii?q?VhgmFHIhaWTxGgzaCToEqNIFCHA4ITSSDAQEPCYIaGwMijgcCc5BiAQEB?= X-IPAS-Result: =?us-ascii?q?A0C4AQAhnrBahxQLvINeHAEBAQQBAQoBAYJ8gTpyIQeDXYs?= =?us-ascii?q?PjQuBTwuBP4wFig8LI4FZhlcaBgEEMxUBAgEBAQEBAQEBARIBAQEKCwkIKC+CO?= =?us-ascii?q?CKCdQ8BDQEBJhIYHAIfBwJsBgIBARCFBgEDBAeNF5pSboImgwEBAQWFWIIGCIE?= =?us-ascii?q?MhCeBI00lgVWBVCgMhC2BUoI/gjyCYYdHkDJFCX54hBaJI4IVhgmFHIhaWTxGg?= =?us-ascii?q?zaCToEqNIFCHA4ITSSDAQEPCYIaGwMijgcCc5BiAQEB?= X-IronPort-AV: E=Sophos;i="5.48,333,1517871600"; d="scan'208";a="318925141" Received: from mx-rz-1.rrze.uni-erlangen.de ([131.188.11.20]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 20 Mar 2018 06:39:52 +0100 Received: from mx-exchlnx-1.rrze.uni-erlangen.de (mx-exchlnx-1.rrze.uni-erlangen.de [IPv6:2001:638:a000:1025::37]) by mx-rz-1.rrze.uni-erlangen.de (Postfix) with ESMTP id 4051wS2snPz8v8g for ; Tue, 20 Mar 2018 06:39:52 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fau.de; s=fau-2013; t=1521524392; bh=CdaW+f6mqjITSajb+ciAZ63qkymqcRpVp+uUAyDSRVU=; h=From:To:Subject:Date:From:To:CC:Subject; b=X6IUhS9pOva4NlxTlxk9Dx9fudQ8N0Z7WsGY4Sh0n6ldM4ulT/lJCSaiQGF0tnotR /k4L3NqdnlJVV1a71ktFaANIA06iKwYxCYl1+gBb/x17i+3MkBnpHckHNsMcfQL9Kx GG1xi16KWEiW9zeea2rtkEOsYEj4xhRgCt+AWlqNVmluAY0dBJ3Np1UWpPGMErO1h+ J2bA6MO4qlUmzEXrIK3mzQSC56G2xoLjzli3JcDIK0e4FyVX7zM24Dj1MelSBYdCk3 SvWlb1/SkRJ2BXOeIeYzQLQTbkyBV/vB/JgLZhzTFf2AiQeUlIG1/CkK+U889v2xqc 0swkCOdbX63+A== X-Virus-Scanned: amavisd-new at boeck2.rrze.uni-erlangen.de (RRZE) X-RRZE-Flag: Not-Spam Received: from lnx1.exch.uni-erlangen.de (lnx1.exch.uni-erlangen.de [10.15.8.18]) by mx-exchlnx-1.rrze.uni-erlangen.de (Postfix) with ESMTP id 4051wQ1sZPz8v7t for ; Tue, 20 Mar 2018 06:39:50 +0100 (CET) X-RRZE-Submit-IP: 79.239.148.174 Received: from Michaels-MBP-2.localdomain (p4FEF94AE.dip0.t-ipconnect.de [79.239.148.174]) (using TLSv1 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) (Authenticated sender: U2FsdGVkX18BoFKBEc0nbQVcyao67yBwQiNbHDVBB0Y=) by lnx1.exch.uni-erlangen.de (Postfix) with ESMTPSA id 2EAAF1E55B for ; Tue, 20 Mar 2018 06:39:50 +0100 (CET) From: Michael Kohlhase To: caml-list@inria.fr Organization: =?UTF-8?Q?Informatik=2c_FAU_Erlangen-N=c3=bcrnberg?= Message-ID: <096e01e0-8407-7fe1-d3b1-04c85ad5c8d9@fau.de> Date: Tue, 20 Mar 2018 06:39:20 +0100 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Validation-by: michael.kohlhase@fau.de Subject: [Caml-list] ICMS Session: Math in 2050 (ABSTRACT DEADLINE 31. March), 24-27 July 2018, Notre Dame University, South Bend, USA Reply-To: Michael Kohlhase X-Loop: caml-list@inria.fr X-Sequence: 16740 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: [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