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 ESMTP id 9879C5D5 for ; Fri, 13 Dec 2019 16:26:07 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.69,309,1571695200"; d="scan'208";a="420188669" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 13 Dec 2019 17:26:05 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0FE917F345; Fri, 13 Dec 2019 17:26:06 +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 0BB927F345 for ; Fri, 13 Dec 2019 17:25:56 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=sperber@deinprogramm.de; spf=Pass smtp.mailfrom=sperber@deinprogramm.de; spf=None smtp.helo=postmaster@deinprogramm.deinprogramm.de IronPort-PHdr: =?us-ascii?q?9a23=3A9dmerhLLCtgLEzILtNmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgeKf7xwZ3uMQTl6Ol3ixeRBMOHsqkC0ruH+PC/EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCezbL9oMRm7qQHcusYVjIZgN6081gbHrnxUdu?= =?us-ascii?q?pM2GhmP0iTnxHy5sex+J5s7SFdsO8/+sBDTKv3Yb02QaRXAzo6PW814tbrtQTY?= =?us-ascii?q?QguU+nQcSGQWnQFWDAXD8Rr3Q43+sir+tup6xSmaIcj7Rq06VDi+86tmTgLjhS?= =?us-ascii?q?EaPDA77W7XkNR9gqJFrhy8qRJxwIDbb46JO/RxZa7dYcoaSHBdUspNTSFMAIWx?= =?us-ascii?q?ZJYPAeobOuZYqpHwqVwPrRSiBQmjHv3gyjtVjXHrxa01zf4hHhrY0ww6AtkDt2?= =?us-ascii?q?/UrM3rO6cISu+60rPIwC7eYPxI2Df97pDIcgomofGDR7J/a8/RyUw1GwzYkFqd?= =?us-ascii?q?sIroNC6b2OQKtmiU9etgVeS3hmE8rAF+uTuvxsAqionHnI4a107L+T1lz4YxIt?= =?us-ascii?q?24SlN7YcS6H5RNrS2VKpV5T8U/SG9roCY30r4LtJ2hcCQXzJkqxATTZvyEfoSS?= =?us-ascii?q?/x7uVuKcLS92iX9nYr6zmRm//VK9xuHhUsS4yktGoy5ZntTKq3sDzQbc6tKdRf?= =?us-ascii?q?t45kqh2SiA1wTU6uxcPE87i6vbK5g5wr4qkZoTvl7DETXzmEXzlqOZa1sr+umu?= =?us-ascii?q?6+T/eLXmoZCcN5VuhQH7N6QigNGwDvogPggPWWiU5/i82aXg8ED6WrlGk/k7n6?= =?us-ascii?q?rDvJ3aJskXvLO1Dg1R34o77hawFTam0NAWnXkdK1JFfQqKj5PxO17QOvD3Fumw?= =?us-ascii?q?g063nTh22f/GP7vhAo3XLnjEn7fhZ6xy60tZyAYp0N9Q+YpYCqsdL/LrRk/xqN?= =?us-ascii?q?vYAwclPAOuxubnDMxx1ocfWWKUHq+UK7jSsF+N5uI3OeaAfo4VuDDnK/gk/fHi?= =?us-ascii?q?l3E5mUVONZWuiJAebXT9GvV9P22YZ2Dti5EPCzQkpA07Gcnrg12LXDobXG6/Ra?= =?us-ascii?q?gx/HlvE5qrF43OXKihjb2HxD28EYdfY2UABl3aQiSgTJmNR/pZMHHaGcRmiDFR?= =?us-ascii?q?DeH9Gb9k7gmnsUrB85QiNvDdo3JKuZ/i0sBv4OLJnBQ3szB5XZzEgjO9Clpsl2?= =?us-ascii?q?ZNfAcYmaV2oEhz0FCGiPcqj/FZE8RJ4PxTWwI/c5LRnbUjVoLCHznZd9LMc26I?= =?us-ascii?q?B9WrBTZqFoA9zt4Ie1x6FM+rixWF0yerBacPkLORDZkxtK7RjSD8?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CPugA1u/Nd/7M6xlhlgkaBNQIBgVJVM?= =?us-ascii?q?iqEA4glXgiIOZklgXoJAQMBDCMKAgEBgUyFIQcBBDgCDQIQAQEEAQEBAgECAwQ?= =?us-ascii?q?BbIU3DII7IoMlBh0BASYSLAgCBSECEQEENYNKgnsBCq0jgTKCfgEBBYE1AYYJC?= =?us-ascii?q?YEOJgMBAYoMgiOCAIERg1GBBIFVCwECgi+CQ4JejXKhCoFMbgSCO4RpjneDNos?= =?us-ascii?q?Xi3qXGoUVjQqCAAuBWDMaCBwUgycJRxEUjSqEDoofAkAzgQeOSAEB?= X-IPAS-Result: =?us-ascii?q?A0CPugA1u/Nd/7M6xlhlgkaBNQIBgVJVMiqEA4glXgiIOZk?= =?us-ascii?q?lgXoJAQMBDCMKAgEBgUyFIQcBBDgCDQIQAQEEAQEBAgECAwQBbIU3DII7IoMlB?= =?us-ascii?q?h0BASYSLAgCBSECEQEENYNKgnsBCq0jgTKCfgEBBYE1AYYJCYEOJgMBAYoMgiO?= =?us-ascii?q?CAIERg1GBBIFVCwECgi+CQ4JejXKhCoFMbgSCO4RpjneDNosXi3qXGoUVjQqCA?= =?us-ascii?q?AuBWDMaCBwUgycJRxEUjSqEDoofAkAzgQeOSAEB?= X-IronPort-AV: E=Sophos;i="5.69,309,1571695200"; d="scan'208";a="420188537" X-MGA-submission: =?us-ascii?q?MDGz/LRbXu2gyxfMUUbDHxaqE7xbkcfjZOIS1x?= =?us-ascii?q?KNZZdNjyPRuD2DQY16b2gk4qhisCvYIGmoqNHyWRg2/FlP+dbJhQt4FL?= =?us-ascii?q?ltTPLgWQpXJF2izoKQ9UM0mNL4e2nlGIl2PplzZAN1qA8yHhuLCyRILA?= =?us-ascii?q?m/Jog6Iyx4k1A9BOnGrBAc2w=3D=3D?= Received: from deinprogramm.de (HELO deinprogramm.deinprogramm.de) ([88.198.58.179]) by mail2-smtp-roc.national.inria.fr with ESMTP; 13 Dec 2019 17:25:27 +0100 Received: from valmont.home.active-group.de (b2b-37-24-119-190.unitymedia.biz [37.24.119.190]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by deinprogramm.deinprogramm.de (Postfix) with ESMTPSA id 4693C2AE1A0F for ; Fri, 13 Dec 2019 17:25:26 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=deinprogramm.de; s=default; t=1576254326; bh=UhvqSVUGCIKHVggjrDm5MEVjstTpc1YMtRdfFQi3lmc=; h=From:To:Subject:Date; b=cJgcRlmBpp3zAW+Gced1IlyTBozlzdIoIwnw5OMsLlwIFV8WI0CVoH+AOVEXF3/vt Y+zva12yS+812TPZoNRHg14Fb3G99leNwRzfdIa6dZt8FwOMs8yErU2UXYJG2NqnIp Vu35dy4rh0CiZUHYHyKDDXJc4PZU8onV97U8GW3w= From: Michael Sperber To: caml-list@inria.fr Date: Fri, 13 Dec 2019 17:25:25 +0100 Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (darwin) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Call for Participation: BOB 2020 (February 28, Berlin) Reply-To: Michael Sperber X-Loop: caml-list@inria.fr X-Sequence: 17907 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: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D BOB 2020 Conference =E2=80=9CWhat happens if we simply use what=E2=80=99s best?=E2=80=9D February 28, 2020, Berlin http://bobkonf.de/2020/ Program: http://bobkonf.de/2020/en/program.html Registration: http://bobkonf.de/2020/en/registration.html =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D =09=09=09=09=20=20=20 BOB is the conference for developers, architects and decision-makers to explore technologies beyond the mainstream in software development, and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experiences. The program features 14 talks and 8 tutorials on current topics: http://bobkonf.de/2020/en/program.html The subject range of talks includes functional programming, formal methods, architecture documentation, functional-reactive programming, and language design. The tutorials feature introductions to Idris, Haskell, F#, TLA+, ReasonML, and probabilistic programming. Heather Miller will give the keynote talk. Registration is open online: http://bobkonf.de/2020/en/registration.html NOTE: The early-bird rates expire on February 19, 2020! BOB cooperates with the :clojureD conference on the day after BOB: https://clojured.de/