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 CEACF5D5 for ; Tue, 12 Feb 2019 08:59:16 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.58,361,1544482800"; d="scan'208";a="369034423" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 12 Feb 2019 09:59:15 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id C1619825B4; Tue, 12 Feb 2019 09:59:15 +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 1D16E82581 for ; Tue, 12 Feb 2019 09:59:10 +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=3Am5CwWBFvbmgzO6F1er/j7J1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zpcqwAkXT6L1XgUPTWs2DsrQY07qQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmDmwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj?= =?us-ascii?q?8KOT4n/m/KhMJ+j6xUrx29qBJw2IPUfJiVOeBicq/BZ94XR2xMVdtRWSxbBYO8?= =?us-ascii?q?apMCAe0APelEr4nyvUUBrR+jDgexHOPg1CVIiWTo0q0gzu8sFhrG3BQ+ENIUq3?= =?us-ascii?q?vbss/1ObwPXu+rzanIyy3Db+lR2Tfy8ojHaBUhofSWUb1tb8Xc0E8iHB7LgFWX?= =?us-ascii?q?rIzqJTKV1uIVvmeA6OpvTuGvi2khqwF/uDSg29kjhpHTho0P1l/E9jt2wJo7Jd?= =?us-ascii?q?KmU057fcSoH4dXtyGfMYZ9X8AsQ3lwtSs5ybAKo4O3cSwJxZg9xxPSaOaLf5WK?= =?us-ascii?q?7x/nTOqcJTl1iGh7dL+xhRu+60qtx+3mWsWp1FtHrCxImcTWuH8XzRzc8M2HR+?= =?us-ascii?q?N9/ki/3TaP0Bje5fxaLkA1k6rbM4Qhwrk/lpoJq0vDGyr2lF/rg6CId0Uk/PCo?= =?us-ascii?q?6/7gYrXpvJ+TLYp0igTkPqszhMOzGeU4Mg4QUGiH4emx177u8VfkTLhOjfA6iK?= =?us-ascii?q?nUvZPAKcgGpKO0BxdZ0oM55Ba+Czem3s4YnX4CLF9dYxKHl5bmO0vVL//mF/ey?= =?us-ascii?q?mEmjnylqx/DAJr3hGJLNLnfZkLj7eLZ97lRQxxctwtxH/ZJbFqkBIO7vWk/2rN?= =?us-ascii?q?HXEgU2Mwmww+r+DNV915geWX6UD6+CMKLStEeI6fg1L+mNYo8Vojf9JOI/6/7g?= =?us-ascii?q?l39q0WMaKKKg2J9SbHGjAtxnJV+YaDzimIQvC2AP6y8/R+zjhVnKaiZefXy/Re?= =?us-ascii?q?po/Sk2EoirF6/PS4GrmKaG0z2yG5gQam0QWQPEKmvha4jRA6REUymVOMI0ymVV?= =?us-ascii?q?B4jkcJco0FSVjCG/zrNmKuTO/ShB6sDv2dlz//fUmgs78DkyA8nPijjRHVExpX?= =?us-ascii?q?sBQnoN5I46uVZ0kwjR3aV5heRCEtNJ7vZMFAs3Z8aFkr5KTuvqUweERe+nDVar?= =?us-ascii?q?RtL9WWM9Q9M328UJbFx0HtDkgh3C2TKwBLAPnrmOQpA5oPrR?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DcBAA9imJc/7M6xlhjg3KBEFEyJ4QEi?= =?us-ascii?q?HmNL5l/DSMJgUuGWgcBBDQSAQMBAQIBAQEBAWwcDII6IoMSBkVGAgUTDgIRAQS?= =?us-ascii?q?DNUyCBQEKrB+BL4QvAYV+gQuJMIIfgX+BEYRTgVILAQKCLYI8glcCii2YcgmBH?= =?us-ascii?q?YYbizGCP4gMiBWOIYFRgXyBNokYgV0hgVYzGggcFIMnCYIrg1Yzih8CPjN7DIw?= =?us-ascii?q?0AQE?= X-IPAS-Result: =?us-ascii?q?A0DcBAA9imJc/7M6xlhjg3KBEFEyJ4QEiHmNL5l/DSMJgUu?= =?us-ascii?q?GWgcBBDQSAQMBAQIBAQEBAWwcDII6IoMSBkVGAgUTDgIRAQSDNUyCBQEKrB+BL?= =?us-ascii?q?4QvAYV+gQuJMIIfgX+BEYRTgVILAQKCLYI8glcCii2YcgmBHYYbizGCP4gMiBW?= =?us-ascii?q?OIYFRgXyBNokYgV0hgVYzGggcFIMnCYIrg1Yzih8CPjN7DIw0AQE?= X-IronPort-AV: E=Sophos;i="5.58,361,1544482800"; d="scan'208";a="295890771" Received: from deinprogramm.de (HELO deinprogramm.deinprogramm.de) ([88.198.58.179]) by mail3-smtp-sop.national.inria.fr with ESMTP; 12 Feb 2019 09:59:08 +0100 Received: from valmont.fritz.box (p5DED4BC5.dip0.t-ipconnect.de [93.237.75.197]) (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 C53401680F54 for ; Tue, 12 Feb 2019 09:59:07 +0100 (CET) From: Michael Sperber To: caml-list@inria.fr Date: Tue, 12 Feb 2019 09:59:07 +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] 2nd Call for Participation: BOB 2019 (March 22, Berlin) Reply-To: Michael Sperber X-Loop: caml-list@inria.fr X-Sequence: 17340 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 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 feelings. 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/