From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 7CFBA7ED1F for ; Mon, 13 Jan 2020 15:28:36 +0100 (CET) Authentication-Results: mail3-smtp-sop.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 Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sperber@deinprogramm.de) identity=pra; client-ip=88.198.58.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sperber@deinprogramm.de"; x-sender="sperber@deinprogramm.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of sperber@deinprogramm.de designates 88.198.58.179 as permitted sender) identity=mailfrom; client-ip=88.198.58.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sperber@deinprogramm.de"; x-sender="sperber@deinprogramm.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@deinprogramm.deinprogramm.de) identity=helo; client-ip=88.198.58.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sperber@deinprogramm.de"; x-sender="postmaster@deinprogramm.deinprogramm.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ANA7u4R1XDeJirn5csmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seIQKPad9pjvdHbS+e9qxAeQG9mCsLQe1LKd7fqocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmTSwbalsIBi0sQnducgbjZV/Iast1xXFpWdFdf?= =?us-ascii?q?5Lzm1yP1KTmBj85sa0/JF99ilbpuws+c1dX6jkZqo0VbNXAigoPGAz/83rqALM?= =?us-ascii?q?TRCT6XsGU2UZiQRHDg7Y5xznRJjxsy/6tu1g2CmGOMD9UL45VSi+46ptVRTljj?= =?us-ascii?q?oMOTwk/2HNksF+jLxVrg+vqRJ8zYHbb52aOvVlc6PBZNMXX3ZNUtpLWiFDBI63?= =?us-ascii?q?cosBD/AGPeZdt4TzoFoOoge+BQa2GuzvziJDiGLu3aIkyeQuCh/J3BY9FN8Jq3?= =?us-ascii?q?TUtMv6NL0JXu+r1qnF1ijMYO1X2Tf78IjIaBchof6WXb1qdMrRzFMjGB7bgViJ?= =?us-ascii?q?r4HuIj2b1uMIs2eB7upgU/qihHUgqw5qoTivwcEsiofTio0I1F/I7T95z5wpKt?= =?us-ascii?q?27VkF7fdCkH4VLtyGGLYd5XsQiQ2RwtCkmzr0Gvpy7fDUQyJs52hHTceGIfJaO?= =?us-ascii?q?7xn+V+iROS91iXFmdb6lmhq/9Uutxvf8W8S3ylpGsyhIn93Uun0D1RHf8NaLR/?= =?us-ascii?q?Rn8ku8xDqC0xrf5vxALEwok6fQNoQvzaQqlpUJtETOBi/2l1vyjK+Rbkgr5/an?= =?us-ascii?q?6+XhYrX+vJ+cMIB0ihvkPaQrn8yzG/k3PRYPX2id4eS8zrrj/ULjQLpQi/02l7?= =?us-ascii?q?PVv43EKsgDp665BRFa0po75hu8DDqqyskUkH0EIV5feB+KjJLlN0zMLf38Ffu/?= =?us-ascii?q?hk6jkDZvx/DIJL3hBZDNI2DYkLf5Y7l98VVTxxQpzd1E+p1bFLABIPTrWk/rs9?= =?us-ascii?q?zYAQU5PBaxw+biEtlyy50RVXqVAqCFKKPSrUOI5uU3LuaQfoAVvTL9J+Eh5/7v?= =?us-ascii?q?ln85hUQQfbKp3JsScHC3BO5qI0SfYXr2g9cOC30GvgQkTL+itFrXWjdWYzO2Xr?= =?us-ascii?q?kgzjA9EoOvS4nZFa63h7nU+SawHpRbYih9El2WG3ryP9GfQ/oWYi+ICsNskzoc?= =?us-ascii?q?T7+uUYYk0FeiuVmpmPJcMuPI93hA5trY399v6riLzE1gxXlPF82Yllq1YSRshG?= =?us-ascii?q?pRGG060aF5uVZ6xU2K1K0+j/EKTYUOtcMMaR8zMNvn98I/C932XVmZLNuESVC+?= =?us-ascii?q?WNKpGzg0S5Q9zt4Ie1x6FM+rixWF0yf4W+ZExYzOP4Q99+fn51a0Is98z3jc06?= =?us-ascii?q?x40AsqT8pJLXehibR28g2VC4Obykg=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BxSABtfRxe/7M6xlhlHAEBASgBBwEBA?= =?us-ascii?q?QUBBAQBAYFhgxNVMiqEDIkDCIgwmycJAQMBDCMKAgEBgUyDQgmBPwcBBDQTAhA?= =?us-ascii?q?BAQQBAQECAQIDBAFshTcMgjsigyUGHQEBJhIsCAIFIQIRAQQ1g06CfwEKqSSBM?= =?us-ascii?q?oJ+AQEFgS8BhhYJgQ4oAYoPgiOCAIERgmVsgQSBVQsBAoIvgkOCXo4HoTmBTnO?= =?us-ascii?q?CSIRzjw2DPosijAyUWYFPgQ+DEoIOjSKBaSKBWDMaCBwUgycJRxgNiBkggzszi?= =?us-ascii?q?h8CQDOBB4wXAQE?= X-IPAS-Result: =?us-ascii?q?A0BxSABtfRxe/7M6xlhlHAEBASgBBwEBAQUBBAQBAYFhgxN?= =?us-ascii?q?VMiqEDIkDCIgwmycJAQMBDCMKAgEBgUyDQgmBPwcBBDQTAhABAQQBAQECAQIDB?= =?us-ascii?q?AFshTcMgjsigyUGHQEBJhIsCAIFIQIRAQQ1g06CfwEKqSSBMoJ+AQEFgS8BhhY?= =?us-ascii?q?JgQ4oAYoPgiOCAIERgmVsgQSBVQsBAoIvgkOCXo4HoTmBTnOCSIRzjw2DPosij?= =?us-ascii?q?AyUWYFPgQ+DEoIOjSKBaSKBWDMaCBwUgycJRxgNiBkggzszih8CQDOBB4wXAQE?= X-IronPort-AV: E=Sophos;i="5.69,429,1571695200"; d="scan'208";a="335637026" X-MGA-submission: =?us-ascii?q?MDEWaYjXrl1DcAwwfA4jyg3fJZL/Uy7CFIg8sN?= =?us-ascii?q?fozbz/v4WhPh1B5WY/vSgpRbi+QBHeVtj/KdMdTlj3WPxTyn36ekTHkZ?= =?us-ascii?q?1RewNGFnO1GcCV+/oLsxvl3BjEWLhWeVAnKaPQRqR+x73+0eZ/ug00gO?= =?us-ascii?q?vdKovaHkXrHUA1YRZ3cBsq3A=3D=3D?= Received: from deinprogramm.de (HELO deinprogramm.deinprogramm.de) ([88.198.58.179]) by mail3-smtp-sop.national.inria.fr with ESMTP; 13 Jan 2020 15:28:35 +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 D35562AE1A4C for ; Mon, 13 Jan 2020 15:28:34 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=deinprogramm.de; s=default; t=1578925715; bh=7FRN8ZAS+0jfoAnHl0OOPnhgIIlLjSf2D7ydnxDhQ5g=; h=From:To:Subject:Date; b=mp0fseWyQzcOIEKYPgvjl6DIilrr7VU2jjGvLZQiG0f5z3pZ3u2p8OSIwGGe83yrD N61v/OhlpDZXqrwAqieXarp+ASDaHFXF1zElD3FR4Zgo76Xbe5eIPc4MvhOCo8l4ya hxLkje0Yp1T3MsddBvYxsfd9EEAvgV9LuQqij4cE= From: Michael Sperber To: caml-list@inria.fr Date: Mon, 13 Jan 2020 15:28:34 +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] 2nd Call for Participation: BOB 2020 (February 28, Berlin, early-bird until Jan 20) We're thrilled to have Gabriel Scherer among the speakers! =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 January 20, 2020! BOB cooperates with the Racketfest conference on the day before BOB: https://racketfest.com/ BOB cooperates with the :clojureD conference on the day after BOB: https://clojured.de/