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 sympa.inria.fr (Postfix) with ESMTPS id E41607ED69 for ; Wed, 29 May 2019 13:42:16 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=dennis.mueller@fau.de; spf=Pass smtp.mailfrom=dennis.mueller@fau.de; spf=Pass smtp.helo=postmaster@mx-rz-3.rrze.uni-erlangen.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of dennis.mueller@fau.de) identity=pra; client-ip=131.188.11.22; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dennis.mueller@fau.de"; x-sender="dennis.mueller@fau.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of dennis.mueller@fau.de designates 131.188.11.22 as permitted sender) identity=mailfrom; client-ip=131.188.11.22; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dennis.mueller@fau.de"; x-sender="dennis.mueller@fau.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@mx-rz-3.rrze.uni-erlangen.de designates 131.188.11.22 as permitted sender) identity=helo; client-ip=131.188.11.22; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dennis.mueller@fau.de"; x-sender="postmaster@mx-rz-3.rrze.uni-erlangen.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3ADCOgGR2Fy46sz5m0smDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seIUIvad9pjvdHbS+e9qxAeQG9mCsrQd0bWd7/yocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmSexbalvIBmorwjducYbjIR/Iast1xXFpWdFdf?= =?us-ascii?q?5Lzm1yP1KTmBj85sa0/JF99ilbpuws+c1dX6jkZqo0VbNXAigoPGAz/83rqALM?= =?us-ascii?q?TRCT6XsGU2UZiQRHDg7Y5xznRJjxsy/6tu1g2CmGOMD9UL45VSi+46ptVRTljj?= =?us-ascii?q?oMOTwk/2HNksF+jL9VrgyiqRJxzYHbb52aOvVlc6PBft4XX3ZNUtpfWiFDBI63?= =?us-ascii?q?cosBD/AGPeZdt4TzqUUBrR24BQmtH+Pg0jhGnmPy3a0+zeshCxzN0Qs9EN0Qtn?= =?us-ascii?q?TUqtT1NLwIXeCw0anH0zHDb/dI1jfn84XIfAouoeyWUb1tb8Xc0E8iHB7LgFWX?= =?us-ascii?q?rIzqJTKV1uIVvmeH7upvSeevh3c7pAF2pDivyNkjipPXiYIT1l/L6z91wIEvJd?= =?us-ascii?q?23TkNwfN2qEINIui2HOYZ6X9kuT3xrtSs50LEKpIO3cDIUxJg53xLTdeCLf5SV?= =?us-ascii?q?7h/mVeucLzR1iXd/d76jmxq+7U2txvDgWsWq0FtHqy9InsTSuX0Lyhfd8NKISu?= =?us-ascii?q?Fn8UekwTuP1x7c6uVDIU0skKraJIctwqQxl5YKv0nPBDX2mF/3jaCIbEkk5+6o?= =?us-ascii?q?6+X+brr4vJ+cM5V7igfxMqswnMyzG/k3PRYWU2ia/+SzyqHj8FXkTLhEk/E6iL?= =?us-ascii?q?TVvZPZKMgBu6K1HhVZ3pg95xqnCjepytUYnX0JLFJffxKHipDkNEzQL/D+C/e/?= =?us-ascii?q?gk+snC1ux/DbILLhBpHNIWbZkLr6c7Zy8VNcxBAuwt9B/55UEK0OIOrvWk/ts9?= =?us-ascii?q?zVFgM2PBaxw+bjEdl90oIeWXmTAqKCK6PTsVqI5vo1LOWWZY8Vviz9K/k/6PL0?= =?us-ascii?q?g385gwxVQa781pISbDW8H+96C0Sfe3vlxNkbQkkQuQ9rYOHsjlyZZhvHY3K/Re?= =?us-ascii?q?po6jw9DoO9S4LeS4Spjaap0i6mWJFbMDMVQmuQGGvlIt3XE8wHbzifd5c4w240?= =?us-ascii?q?EIO5Qopk7imA8Qrzyr5pNO3Rqn8WvI+l2NUnvrSPxyF3ziR9CoGm60/IV3t9zj?= =?us-ascii?q?EGTiJw0K0t+RUgmGfG6rBxhrljLfIW5/5NVVxiZ5vMivZoTou0QBjTc5GUTlfj?= =?us-ascii?q?T8+iCDc+Q9R3z9JcOks=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AzAwCLb+5chxYLvINLGoIXgT4pgRNTM?= =?us-ascii?q?SiEE5RthASVEIFnCQEDAQwjDAEBgUuFaRwGAQQzBg4BAwEBBAEBAgEBAwETAQE?= =?us-ascii?q?BCgsJCCkjDII6IoMSBg8BBQgBASYSGBwCJgJsBgIBARKCQUsBggoBDjaNA5p5c?= =?us-ascii?q?YEvgnkBAQWBMgGBFINkgQYJgQwoijaBHYIWgREnDIIxgXCBXQQYgRQBEgFsgj2?= =?us-ascii?q?CWIs4EgadFAcCgTJdA5MWIYxQDQWJcYQCjk6QToFlgQhxcYM7CYIeAoQJhGGFP?= =?us-ascii?q?gM9ATIBjAOCQwEB?= X-IPAS-Result: =?us-ascii?q?A0AzAwCLb+5chxYLvINLGoIXgT4pgRNTMSiEE5RthASVEIF?= =?us-ascii?q?nCQEDAQwjDAEBgUuFaRwGAQQzBg4BAwEBBAEBAgEBAwETAQEBCgsJCCkjDII6I?= =?us-ascii?q?oMSBg8BBQgBASYSGBwCJgJsBgIBARKCQUsBggoBDjaNA5p5cYEvgnkBAQWBMgG?= =?us-ascii?q?BFINkgQYJgQwoijaBHYIWgREnDIIxgXCBXQQYgRQBEgFsgj2CWIs4EgadFAcCg?= =?us-ascii?q?TJdA5MWIYxQDQWJcYQCjk6QToFlgQhxcYM7CYIeAoQJhGGFPgM9ATIBjAOCQwE?= =?us-ascii?q?B?= X-IronPort-AV: E=Sophos;i="5.60,527,1549926000"; d="scan'208";a="385222810" X-MGA-submission: =?us-ascii?q?MDHgXbhgUZszTZ3aE8xoKcjbB636kE47QhoYOU?= =?us-ascii?q?FelhSHsS4G5NE3VktlLnWhYRbT0fq1YCWfqw6G4l1J7gRLYjS5Z4/p3L?= =?us-ascii?q?+768d+Ribn9hK0y4OyiieIMmi3vP1DW1LyZ15ogP0IDHVer3jDQEjsEL?= =?us-ascii?q?IHtpRqBj7cZnWHVAGy44dJeA=3D=3D?= Received: from mx-rz-3.rrze.uni-erlangen.de ([131.188.11.22]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 29 May 2019 13:42:16 +0200 Received: from mx-rz-smart.rrze.uni-erlangen.de (mx-rz-smart.rrze.uni-erlangen.de [IPv6:2001:638:a000:1025::1e]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mx-rz-3.rrze.uni-erlangen.de (Postfix) with ESMTPS id 45DTMq1gXFz1xpl for ; Wed, 29 May 2019 13:42:15 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fau.de; s=fau-2013; t=1559130135; bh=j0xJrM08be/il324KN35LWXE6ukwCDo5a2WHI/urTJ0=; h=From:Subject:To:Date:From:To:CC:Subject; b=OQ62AV6YDI5g4B0TLByW1+6ninvdlAAINFTYch2yhbOHoPNQ8+Te/3lJgnAP+yMeI mM5cFAEWjFj0RcRjtoN9pH3WrAt92xsELcvD790D4ExopUxqkWov8vK2/8x72jCd6L lOiN7LJBpXY/o3BUfBsNgtrSRgb2SIuB4KmQTUkk3qrAYyiOMqR0JjAM9dFPPLCYe5 O9IZfNDpgIskTZIPqKpz2//A9vYtBDTlCc5LBWm4gsDYanwNg+F2opP+En6E0JVIip ejBtrMHtva7fgNiDZfLQLjNl1cccHLOaQLsjo+mqInmdh81PqZYvpgA+S7z5ggn8bT 1kb7eqJgrBWSw== X-Virus-Scanned: amavisd-new at boeck5.rrze.uni-erlangen.de (RRZE) X-RRZE-Flag: Not-Spam X-RRZE-Submit-IP: 10.188.48.143 Received: from [10.188.48.143] (kwarc23.informatik.uni-erlangen.de [10.188.48.143]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) (Authenticated sender: U2FsdGVkX1+np8gU/NWbRI6X3NlFPwaoxuIGLLgsbc4=) by smtp-auth.uni-erlangen.de (Postfix) with ESMTPSA id 45DTMm41W8z239W for ; Wed, 29 May 2019 13:42:12 +0200 (CEST) From: =?UTF-8?Q?Dennis_M=c3=bcller?= To: caml-list@inria.fr Message-ID: <4cf77c62-4726-67d0-11f1-64ae6bddf3e2@fau.de> Date: Wed, 29 May 2019 13:42:12 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.6.1 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Content-Language: en-US X-Validation-by: dennis.mueller@fau.de Subject: [Caml-list] Call for Participation - Workshop on Large Mathematical Libraries (LML 2019)              Call for Participation         Workshop on Large Mathematics Libraries (LML 2019)      12th Conference on Intelligent Computer Mathematics                             - CICM 2019 -                            July 8-12, 2019                     CIIRC, Prague, Czech Republic                  http://www.cicm-conference.org/2019 ---------------------------------------------------------------------- Large formal and semiformal mathematics libraries are needed to support mathematics research, mathematics education, rigorous software development, and formal proof development.  This workshop will explore methods for designing, constructing, and maintaining large mathematics libraries as well as for finding, comparing, and applying the knowledge residing in these libraries. Key topics of interest will include:    o Methods for sharing knowledge between libraries.    o Modular techniques for organizing the knowledge within libraries.    o The translation of libraries to different languages and logics.    o The construction of new libraries by integrating existing      libraries.    o Tools for exploring the contents of large libraries.    o Observations about past results. The workshop will consist of two invited presentations and several contributed presentations and system demonstrations.  We welcome presentation and demonstration proposals in the form of extended 1-4 page abstracts formatted in LaTeX.  Abstracts should be sent via email to wmfarmer@mcmaster.ca and dennis.mueller@fau.de.  Abstracts of selected presentations and demonstrations will be published online. More details about LML 2019 are available at https://www.cicm-conference.org/2019/cicm.php?event=lml&menu=general Important Dates    o Abstract submission: June 24, 2019    o Notification:        July 01, 2019    o Workshop:            July 10, 2019 Registration Registration to CICM 2019 and the workshops is open at the CICM website or directly at https://www.cicm-conference.org/2019/cicm.php?event=&menu=registration -- Dennis M. Müller "To do mathematics is to be, at once, touched by fire and bound by reason. This is no contradiction. Logic forms a narrow channel through which intuition flows with vastly augmented force" - Jordan Ellenberg (How Not to Be Wrong)