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 5B2FB2DF6 for ; Tue, 20 Mar 2018 05:29:18 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,333,1517871600"; d="scan'208";a="318924109" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 20 Mar 2018 06:29:16 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 8E7588241A; Tue, 20 Mar 2018 06:29:16 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id AE097823D7 for ; Tue, 20 Mar 2018 06:24:19 +0100 (CET) Authentication-Results: mail3-smtp-sop.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=3A3V93pBPwewSaB7xS8ekl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0IvT4rarrMEGX3/hxlliBBdydt6ofzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxlGiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhS?= =?us-ascii?q?kHKTA37WbXhM9+gq1Vrx2uuxNxzpXIYIyWLvdyYr/RcN0YSGdHQ81fVzZBAoS5?= =?us-ascii?q?b4YXCOQBPPpXr4nnqFQQqRu1GAyiBOTvyj9Mhn/5x7Y63Po8GgzB2QwgHs4BsH?= =?us-ascii?q?TOo9rrMKceS+O1zK7IzTXHb/NZwyz955bTfxAvu/6MQKh8ftfPxkQ2EQ7Ok1ue?= =?us-ascii?q?qYvgPzyP1+QNtXCW7uRuWO61jG4nsQ5xriCsxsYikIbJnJ4axkrF9SV/zoY1Is?= =?us-ascii?q?W0SE9nbt6hC5tcrj2VN4xwQsMsXW5oojg1yrsatpGlZiQKz44nxxHHZ/yAa4iH?= =?us-ascii?q?/BTjVOOLLjdkhHJpYrW/hwy98UWm1+byVdG03U5XoidLj9XArG0B2h/Q58SdV/?= =?us-ascii?q?dx412t1SiT2wzL6OxJJVo4mbTVJpMl2LI8i5UevEfZEiPrmkj7g6mbfVg+9Oey?= =?us-ascii?q?8eToeLDmq4ecN4BqjgH+NbwjmsmwAOghKAgPXnGX9fmm2L355034QatFgucrkq?= =?us-ascii?q?nfsZDWPNoUprS9AwBP1IYj5AiwDzG83NsFg3YLNFNFeBSZgIj1I1zCPf71Aeql?= =?us-ascii?q?j1ixkzpmxOrKMqD8DpnXMHTPjK/tfbNn5E5dzAozw8pf55VRCrwZJfLzW1P+tN?= =?us-ascii?q?zCARAnNwy42eXnCNJ91oMaWWKAGLSZP73JvF+G/O0vPvOAa5ILtzrlMfgq++bu?= =?us-ascii?q?jWMlmV8aZaSmwYEYaHW8Hvh/J0WZYGHsgssaHGcRvgs+SfTqh0eYXT5SYXayRa?= =?us-ascii?q?M86SshBIKoF4eQDryq1beI2SP+GpxNekhHDEqNGDHmbdaqQfAJPQeTKc9onzhM?= =?us-ascii?q?dr+hT48ozhzm4Ar7wLpuI+6S+SoYsZLqz9Vd6eTO0x0/o28nR/+B2n2AGjkn1l?= =?us-ascii?q?gDQCU7ifgm8B5Nj2yb2K09uMR2UNla5vdHSAA/ZczSxvE8B92gA1udLOfMc06v?= =?us-ascii?q?R5CdOR90Vsg4k40Aals7F9jw1kmejRrvOKcckvmwPLJx8q/Y2COpdcNtjmzUkf?= =?us-ascii?q?BnlUM0T41SM2zji7R7/g7cCoiPn0jLzqs=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A8AwChmrBahxQLvINeHgEGDIJ8gTpyI?= =?us-ascii?q?QeDXYsPjGwfgU+BSowFh32CEgsjgVmDEAODRBoGAQQxFwECAQEBAQEBAQEBEgE?= =?us-ascii?q?BAQoLCQgoL4I4IoJ1DwENAQEmEhgcAh8HAmwGAgEBhRYBAwQHjSiaUm6CJoMBA?= =?us-ascii?q?QEFhViCBgiBDIQngSNNJYFVgVQohDmBUgsCgjKCPIJhh0eQMkUJfniEFokjghW?= =?us-ascii?q?GCYUciFpZPEaGBIEqHwGBVhwOCE0kgwEBDwmCGhsDIo4HAnOQYgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0A8AwChmrBahxQLvINeHgEGDIJ8gTpyIQeDXYsPjGwfgU+?= =?us-ascii?q?BSowFh32CEgsjgVmDEAODRBoGAQQxFwECAQEBAQEBAQEBEgEBAQoLCQgoL4I4I?= =?us-ascii?q?oJ1DwENAQEmEhgcAh8HAmwGAgEBhRYBAwQHjSiaUm6CJoMBAQEFhViCBgiBDIQ?= =?us-ascii?q?ngSNNJYFVgVQohDmBUgsCgjKCPIJhh0eQMkUJfniEFokjghWGCYUciFpZPEaGB?= =?us-ascii?q?IEqHwGBVhwOCE0kgwEBDwmCGhsDIo4HAnOQYgEBAQ?= X-IronPort-AV: E=Sophos;i="5.48,333,1517871600"; d="scan'208";a="259026668" Received: from mx-rz-1.rrze.uni-erlangen.de ([131.188.11.20]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 20 Mar 2018 06:24:04 +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 4051ZC22B5z8v7Z for ; Tue, 20 Mar 2018 06:24:03 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fau.de; s=fau-2013; t=1521523443; bh=NijfjI2HkyZWDYkfuGYO3CRUlM0rkdOyo2ZpzKwIseE=; h=From:To:Subject:Date:From:To:CC:Subject; b=VraHsS3vVYi1m3V1odpCsvxHTvQuJE4r8/l/9GHAas1urqfr9uD/Ltc2H7Oc/FJLB 7sD87MKAbfXubPMBDrkg13B/ulzgX6ssh8bCAMGG0bJ/E36/hJwNBUt3INRRxcBprY B6rbmvNis12U7kqijzrSRJ5LpcMzVk4bi4lYbFIxxW2WNz7Z2CJujx7/Eiclm7RPMO EvfizXIMjvbEmGR9qPr0zFsM5ns4UHSYHupcGCy6vgcEXMZYvWUJUZq1z9ridsiRVC jv3ov7zUbGvqTiXD8aym+I21aLkH26x8XlfM8zg24IMgWur0QiUtigTusWn+rZHvIG pmvOed/OMa2SA== X-Virus-Scanned: amavisd-new at boeck1.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 4051Z91kTkz8v8b for ; Tue, 20 Mar 2018 06:24:01 +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: U2FsdGVkX1/Zs+VTkeEXe1Bn+CMTeRpC/FWUmUe26UE=) by lnx1.exch.uni-erlangen.de (Postfix) with ESMTPSA id 28AC21E946 for ; Tue, 20 Mar 2018 06:24:01 +0100 (CET) From: Michael Kohlhase To: caml-list@inria.fr Organization: =?UTF-8?Q?Informatik=2c_FAU_Erlangen-N=c3=bcrnberg?= Message-ID: <751d9c38-3c4c-ce97-a6ee-38863fac629a@fau.de> Date: Tue, 20 Mar 2018 06:23:06 +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] CFP 29th OpenMath Workshop (ABSTRACT DEADLINE 31. March), 24-27 July 2018, ICMS, Notre Dame University, South Bend, USA Reply-To: Michael Kohlhase X-Loop: caml-list@inria.fr X-Sequence: 16739 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 postings]                      29th OpenMath Workshop                           24-27 July 2018             Notre Dame University, South Bend, USA NOTE: co-located with ICMS 2018 http://www.icms-conference.org/2018 Details: http://www.icms-conference.org/2018/sessions/session5/ OBJECTIVES OpenMath (http://www.openmath.org) is a language for exchanging mathematical formulae across applications (such as computer algebra systems).  From 2010 its importance has increased in that OpenMath Content Dictionaries were adopted as a foundation of the MathML 3 W3C recommendation (http://www.w3.org/TR/MathML), the standard for mathematical formulae on the Web. Topics we expect to see at the workshop include    * Feature Requests (Standard Enhancement Proposals) and Discussions      for going beyond OpenMath 2;    * Further convergence of OpenMath and MathML 3;    * Reasoning with OpenMath;    * OpenMath on the Semantic Web;    * New OpenMath Content Dictionaries;    * Software using or processing OpenMath; Contributions can be either full research papers, Standard Enhancement Proposals, or a description of new Content Dictionaries, particularly ones that are suggested for formal adoption by the OpenMath Society. 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) Submission categories:    * Full paper: 5–10 pages    * Short paper: 1–4 pages    * CD description: 1-6 pages; a link to the CD must be provided.    * Standard Enhancement Proposal: 1-10 pages (as      appropriate w.r.t. the background knowledge required); a link to      any related implementation (e.g. a Relax NG schema) should be provided. ORGANISATION/PROGRAMME COMMITTEE    * James Davenport (University of Bath, UK)    * Michael Kohlhase (FAU Erlangen-Nürnberg, Germany) 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