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 7F74F1E6 for ; Fri, 21 Dec 2018 17:00:01 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,382,1539640800"; d="scan'208";a="361460667" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 21 Dec 2018 18:00:00 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 7E94082566; Fri, 21 Dec 2018 18:00:00 +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 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 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) Reply-To: Michael Sperber X-Loop: caml-list@inria.fr X-Sequence: 17258 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: 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/ --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list Forum: https://discuss.ocaml.org/ Bug reports: http://caml.inria.fr/bin/caml-bugs=