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 5DA1E5D5 for ; Sun, 14 Jul 2019 15:18:00 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,490,1557180000"; d="scan'208";a="391763416" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 14 Jul 2019 17:17:59 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 536AA826CE; Sun, 14 Jul 2019 17:17:59 +0200 (CEST) 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 C8ED58247D for ; Sun, 14 Jul 2019 17:17:52 +0200 (CEST) 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=3AQBMAlhwyS19T/FDXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2+oVIJqq85mqBkHD//Il1AaPAdyBra8ZwLqJ+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxhWiDanYb5/LBq6oAbTu8ILnYZsN6E9xwfTrHBVYe?= =?us-ascii?q?pW32RoJVySnxb4+Mi9+YNo/jpTtfw86cNOSL32cKskQ7NWCjQmKH0169bwtRbf?= =?us-ascii?q?VwuP52ATXXsQnxFVHgXK9hD6XpP2sivnqupw3TSRMMPqQbwoXzmp8qFmQwLqhi?= =?us-ascii?q?gaLT406GHZhNJtgq1VrhyvpBNwzJLbboyOKPp+Z7nQcc8GSWdbXMtcUTFKDIOm?= =?us-ascii?q?b4sICuoMJeFWr4jhqFsOtxSxGw2sD/7yxD9QmHD2x7Y13Po7EQrb2wEgBMoOv2?= =?us-ascii?q?rOrNruKqgSS/u4w7TWwjXCafNWwS396I/HchA7u/6MWLdwfdDMxkYxDg7IiEib?= =?us-ascii?q?p4LiPzOQzOsNsm6b4vJ7WuKokGEnqAZxoj6hxss2l4bGmIQYwU3H+yVh2Is4Jt?= =?us-ascii?q?61RFRmbdOgE5ZcrSGXOohsTs8/QWxlvD42xqAatZO/ZiQHx4orywTDZ/CdboSF?= =?us-ascii?q?4AzvWeCMKjlinn1lYqiwhxOq/Eig1OL8Us603U5XoSVbk9nMsGgN1wbU6siIUP?= =?us-ascii?q?ty5EKh2TOV2w/O9O5EIEY0lbLBK54mzb4wjIAcsUHGHiPshUr5kreadkQi+ue2?= =?us-ascii?q?9+Tqerbrq5yGO4NpjgzzMb4il8y8DOgiLwQDXWyW9fy51LL5/E35RLtKjucxkq?= =?us-ascii?q?ncqJ3aPtwbqbCjAwBOzIkj8Q2yACq439QZm3kHNEhFeBWIj4jzIV7OJfX4Ae2i?= =?us-ascii?q?jFuyiDtr3ezJPqX9ApXRKXjOiKvucqx4605Y0QYzydFf54lICrwaO/LyWkrxtM?= =?us-ascii?q?TCARMjMgy0xfznCNRn2Y8EV2KPGPzRDKSHulaN4qcrIvKQTI4Tojf0bfY/tND0?= =?us-ascii?q?inpsvF4WfaCk2dMscH2iFPl8axGCeXf2iNobOWsHvwwmVuvlklSHVHhfaiDhDO?= =?us-ascii?q?oH+jgnBdf+Xs/4TYe3jenZhXvpLthtfmlDT2u0PzLwbYzdBKUAZSOUOtVmnSYN?= =?us-ascii?q?UL3nR4JzjUj/5j+/8KJuK6/vwgNdsJvi0NZv4OiKykM++D1yF96a3HuESmQykm?= =?us-ascii?q?5aHmZrjpA6mlR0zxK46YY9g/FcEocLtf9EUwEiL5nT1eV/Dpb+VwPHZs2OR0yv?= =?us-ascii?q?R9DgDTxjFt8=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DrVgAwRitd/7M6xlhmHQEBHwUBBgGBR?= =?us-ascii?q?QcBAwEBgSwCAQEBAQEBNYEUUjIohByIe4lOgjiIDpBhE4FnCQEDAQwjCgIBAYF?= =?us-ascii?q?Lg0MBBIIgBwEENgQNAQMBAQQBAQIBAgMBbIU8DEIBEAGBVBIigwcLBh0BASYSN?= =?us-ascii?q?AIFEw4CEQEEKVWCNUyCDgEKoD2IXXGBMoJ5AQEFgTIBgRSEbAmBDCYCAQEBAQE?= =?us-ascii?q?BAQGLMT2Bf4ERgXAkUIFwgToYCwOBJIEJgj2CWIxVjjKPYAmBOWKCH4Q5jU+DG?= =?us-ascii?q?ooYiliUfYRYi1iBagQagVgzGggcFIMnCYIPAUAfg22KHwM9M4EFiEeGWAEB?= X-IPAS-Result: =?us-ascii?q?A0DrVgAwRitd/7M6xlhmHQEBHwUBBgGBRQcBAwEBgSwCAQE?= =?us-ascii?q?BAQEBNYEUUjIohByIe4lOgjiIDpBhE4FnCQEDAQwjCgIBAYFLg0MBBIIgBwEEN?= =?us-ascii?q?gQNAQMBAQQBAQIBAgMBbIU8DEIBEAGBVBIigwcLBh0BASYSNAIFEw4CEQEEKVW?= =?us-ascii?q?CNUyCDgEKoD2IXXGBMoJ5AQEFgTIBgRSEbAmBDCYCAQEBAQEBAQGLMT2Bf4ERg?= =?us-ascii?q?XAkUIFwgToYCwOBJIEJgj2CWIxVjjKPYAmBOWKCH4Q5jU+DGooYiliUfYRYi1i?= =?us-ascii?q?BagQagVgzGggcFIMnCYIPAUAfg22KHwM9M4EFiEeGWAEB?= X-IronPort-AV: E=Sophos;i="5.63,490,1557180000"; d="scan'208";a="391763407" X-MGA-submission: =?us-ascii?q?MDGtFB4KU/YsiCPBGsDpgpXtbcGaM8/cvXf/mf?= =?us-ascii?q?L6X6Fx+/HhMJe68COB0Eaddw+LtJmvW5gAlwhu/Sn7DfF5qUulYHRilz?= =?us-ascii?q?qfgAWOklImNQcVdgpio6VNyWW+ysUQJzl33Je1qZvworjGxBkq+twvcX?= =?us-ascii?q?zIPy2++JENBHOUlyEu2l/0iQ=3D=3D?= Received: from deinprogramm.de (HELO deinprogramm.deinprogramm.de) ([88.198.58.179]) by mail2-smtp-roc.national.inria.fr with ESMTP; 14 Jul 2019 17:17:52 +0200 Received: from valmont.local (ip-109-42-0-172.web.vodafone.de [109.42.0.172]) (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 463772ADC871 for ; Sun, 14 Jul 2019 17:17:51 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=deinprogramm.de; s=default; t=1563117471; bh=gaFzEsNjQs95NDoMMmHcHU5a0YsGK0wvFyCME+JRyUc=; h=From:To:Subject:Date; b=uud2FtKkTHRqfXnQw1Wgi+DcSig7uNds9D1cCDgkDm1LUCbLKsJQzOhteCOOzecY9 Ca3t4ug3dQLYgkAvT0miJ3rPNqRLP4FG4gUnPR4NX9TzVQpIFHCbm1U4dj570hZeRx YYy5Ymp1vx4IZJotZ1PxtibzwH4GdDDlxgDAReTg= From: Michael Sperber To: caml-list@inria.fr User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (darwin) Date: Sun, 14 Jul 2019 17:17:49 +0200 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Summer BOB 2019 2nd Call for Participation (Aug 21, Berlin, early reg until Jul 18) Reply-To: Michael Sperber X-Loop: caml-list@inria.fr X-Sequence: 17686 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: Among other great talks, Xavier Leroy! Come for BOB, stay for the OCaml and ML workshops! =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D Summer BOB 2019 Conference =E2=80=9CWhat happens if we simply use what=E2=80=99s best?=E2=80=9D August 21, 2019, Berlin co-located with ICFP 2019 http://bobkonf.de/2019-summer/ Program: http://bobkonf.de/2019-summer/program.html Registration: http://bobkonf.de/2019-summer/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 Are you interested in technologies beyond the mainstream, that are a pleasure to use, and effective at getting the job done? BOB is the forum for developers, architects and builders to explore and discover the best tools available today for building software. Our goal is for all participants to leave the conference with new ideas to improve development back at the ranch. Summer BOB is a one-time-only event, in the spirit of the spectacular Winter BOB. The International Conference on Functional Programming is coming to town, and Summer BOB will be right in the middle of it, on the last day of ICFP proper, prior to all the workshops. Summer BOB will feature two tracks: one from practitioners, and one from researchers, and foster communication and cross-pollination between these communities. BOB features two tracks of seven talk each: One research track with invited talks, and one track by practitioners, designed to cross-pollinate and inspire. http://bobkonf.de/2019-summer/program.html Topics include distributed programming, testing, linear algebra, functional design patterns, type systems, formal methods, and interactive development. We are committed to diversity: We aim at exploring a wide range of tools in a welcoming and friendly crowd of diverse people. To that end, a number of support options for participants from groups under-represented in tech are available. http://bobkonf.de/2019-summer/registration.html NOTE: The early-bird rates expire on July 18, 2019!