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 681DA824CF for ; Fri, 21 Dec 2018 17:59:52 +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=3AsYmVSBTjFINh8mawq9n5zBCOgdpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6yZhKN2/xhgRfzUJnB7Loc0qyK6/CmATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfbB/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlS?= =?us-ascii?q?gHLSY0/mHJhMJtgqxVoxyuqBNjzIDbe4yVKON+c7nBcd8GX2dMXMBcXDFBDIOm?= =?us-ascii?q?aIsPCvIMM+FZr4bhp1sBtwWxBQ2xD+3y0j9HmGX20rYk3OQ7DArL2xcgH8oQv3?= =?us-ascii?q?TOt9r6Kr0SXPuow6bWzDXDaetW2S366IjHaBAuu/SMXbdqfcXM10YiDgXIhUie?= =?us-ascii?q?p4ziOjOazOUNs26D4uV7UuKgkG0nqwZ3ojih3Msjl5fGipoPyl/e6Sp5w5g6Jc?= =?us-ascii?q?G2SEFlet6kDIFcuD2dN4tzRM4pXmJmuD4ix7AFupO3ZjUGxZAkyhLFa/GKcJKE?= =?us-ascii?q?7g/hWeuVOTt1inBodKihixu960Ss1/DwW82u3FpXqidJjt/BvW0X2RPJ8MiIUP?= =?us-ascii?q?5981+h2TmR0wDT7flJLl0qmqraLZ4h2qQwlp0csUTZBCD2nUD2gLWLeUo6++io?= =?us-ascii?q?7fznYq/hpp+TLY97kAT+MqE0lsOiH+s0KgkOX26F9uSgzLDu/k70TK9XgvAyka?= =?us-ascii?q?TVqpDXKMcBqqKkAQJY1p4v6xOlADen1NQYk2MHLFVAeB+flIjpI0/BIOrjAvih?= =?us-ascii?q?mVShiypkyO7HPr3nGpXNNH/DkLj7fbln7k5czRA/ws1B6J5MELEOPOrzWlPttN?= =?us-ascii?q?zfFhI2Lxa7w+PjCNlk0oMeWHmPArOCPaPJsV6I4/ovLPOWaI8Uvjb9Mfkl6OT0?= =?us-ascii?q?gX83g19ONZWuiJAebXT9GvV9P22YZ2Dti5EPCzQkpA07Gcnrg12LXDobXG6/Ra?= =?us-ascii?q?gx/HlvE5qrF43OXKihjb2HxD28EYdfY2UABl3aQiSgTJmNR/pZMHHaGcRmiDFR?= =?us-ascii?q?DeHwGb9k7gmnsUrB85QiK+PV/iMCspe6i4p56uzVjQs1+iZ9CsHb32zfFjgozF?= =?us-ascii?q?NNfCc/2eVEmWI40k2KiPcqj/FZE8RJ4PxTWwI/c5LRnbQjVoLCHznZd9LMc26I?= =?us-ascii?q?B9WrBTZqFoA9zt4Ie1x6FM+rixWF0yerBacPkLORDZkxtK7RjSD8?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AqBwCTGh1c/7M6xlhjg3KBD4ECJ4N9i?= =?us-ascii?q?HiNOplLDSMJgUuFfwcBBDQSAQMBAQIBAQEBAWwcDII6IoMSBkVGAgUhAhEBBIM?= =?us-ascii?q?zTIIFAQqmDoEvhC0BhgKBC4ksgh+Bf4ERhFOBUgsBAoItgjuCVwKJeZdMCYEWV?= =?us-ascii?q?IUoim+CLYdZh1mNG4E2gV2BH4hPgV0hgVYzGggcFIMnCYIqg1Uzih8CPjOBB44?= =?us-ascii?q?uAQE?= X-IPAS-Result: =?us-ascii?q?A0AqBwCTGh1c/7M6xlhjg3KBD4ECJ4N9iHiNOplLDSMJgUu?= =?us-ascii?q?FfwcBBDQSAQMBAQIBAQEBAWwcDII6IoMSBkVGAgUhAhEBBIMzTIIFAQqmDoEvh?= =?us-ascii?q?C0BhgKBC4ksgh+Bf4ERhFOBUgsBAoItgjuCVwKJeZdMCYEWVIUoim+CLYdZh1m?= =?us-ascii?q?NG4E2gV2BH4hPgV0hgVYzGggcFIMnCYIqg1Uzih8CPjOBB44uAQE?= X-IronPort-AV: E=Sophos;i="5.56,382,1539640800"; d="scan'208";a="289897984" Received: from deinprogramm.de (HELO deinprogramm.deinprogramm.de) ([88.198.58.179]) by mail3-smtp-sop.national.inria.fr with ESMTP; 21 Dec 2018 17:59:51 +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 DD96B1680F8F for ; Fri, 21 Dec 2018 17:59:49 +0100 (CET) From: Michael Sperber To: caml-list@inria.fr Date: Fri, 21 Dec 2018 17:59:49 +0100 Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (darwin) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Call for Participation: BOB 2019 (March 22, Berlin) BOB has a strong emphasis on functional programming - OCamlers very welcome! =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 2019 Conference =E2=80=9CWhat happens if we simply use what=E2=80=99s best?=E2=80=9D March 22, 2019, Berlin http://bobkonf.de/2019/ Program: http://bobkonf.de/2019/en/program.html Registration: http://bobkonf.de/2019/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/2019/en/program.html The subject range of talks includes functional programming, formal methods, event sourcing, music, advanced SQL, logic, and feeling The tutorials feature introductions to Racket, Clojure, Functional Programming, TypeScript, type-level programming, SQL indexing, probabilistic programming, and hardware. Gabriele Keller will give the keynote talk. Registration is open online: http://bobkonf.de/2019/en/registration.html NOTE: The early-bird rates expire on February 19, 2019! BOB cooperates with the RacketFest conference on the following day: https://racketfest.com/