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 A79CD5D4 for ; Mon, 6 May 2019 13:24:31 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,438,1549926000"; d="scan'208";a="381891069" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 May 2019 15:24:29 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id DA627826B1; Mon, 6 May 2019 15:24:29 +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 5C3AC82674 for ; Mon, 6 May 2019 15:24:19 +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=3AU/OrBRalbXA0kmK8P/ZjpPf/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZr8+9bnLW6fgltlLVR4KTs6sC17OP9f+/EjJcqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba5vIBmsrwjctMYajIptJ60s1hbHv3xEdv?= =?us-ascii?q?hMy2h1P1yThRH85smx/J5n7Stdvu8q+tBDX6vnYak2VKRUAzs6PW874s3rrgTD?= =?us-ascii?q?QhCU5nQASGUWkwFHDBbD4RrnQ5r+qCr6tu562CmHIc37SK0/VDq+46t3ThLjlS?= =?us-ascii?q?EKPCM7/m7KkMx9lKJVrgy8qRJxwIDbbo6aO+ZxcK7GYdMaXHBMUtpNWyFbAI6x?= =?us-ascii?q?aZYEAeobPeZfqonwv1wArRqiCgmsHuzg1DtIjWLr060izeshCxrJ0xI6H9kTt3?= =?us-ascii?q?nUt831O7kIUe+u0qbI1y7OYO5I1jf87ojIagohofaDXbJqa8XRzEwvGxnYgVqO?= =?us-ascii?q?sIHoOS6e2OoKs2ie9eVgVOSvhnY8pAF2uTevxcAsio/Hho4P11/L6z11z5wpKt?= =?us-ascii?q?2kSU57f8CrHIJftyGAMIt2X9siT3t1tykkzLANpJ21fDASxZkkxBPTceGLfoyL?= =?us-ascii?q?7x75VOucIi10iG9ndb+7nxq//0qtxvfiWsS7ylpGszdJn93WunwQ0xHf9s6KQe?= =?us-ascii?q?Zn8Ei7wzaAzQXT5/lEIU8qkarbLIYszaMumZoSt0TDBjX2mEL5jK+MbEok/+2o?= =?us-ascii?q?5/76bbr4p5+cMZd0ihv5MqQhgMywG+E4Mg0UU2eG5+uwzLzj/UvnT7VWlvA7ka?= =?us-ascii?q?rUvIrHKckfpaO1GQ9Y34U55xqiDTqr1MwUnXwdI1JEfBKHgZLpO1bLIP3gFve/?= =?us-ascii?q?m0qjkC1wyP/YJL3sGYjCIWbCkLfnZbZ98UlcyAUpzd9F4pJUD6sNL+/tVUPprt?= =?us-ascii?q?zXEgc5MxCow+bgENhyypkRWWeLAqOANKPSsESI5v40LumXZI4VvS79JOI/6/7v?= =?us-ascii?q?i385g14dcrOz0ZsZcnDrVshhdk6QZH6phtYaDU8LuBA/Rarkkg6sSzlWMlOzVK?= =?us-ascii?q?I16zVzM5qrF43OXMj5m6SMxi22BLVaa2FAEkqLHm3hcoDCV/paO3HaGdNojjFR?= =?us-ascii?q?DevpcIQmzxz77FammYoiFfLd/2gjjbymzMJ8vrKBmRwz8yRuCMuH2mSICW15zD?= =?us-ascii?q?tRGm0GmZtnqEk48W+tlKh1h/sDTY5f6vJPSh09OoTVyuk8B93zXBrbediTQVOj?= =?us-ascii?q?BNmrU2loH4ABhuQWakM4IO2MyxXK3i6kGbgQzuPZCJE19LrG2HfrLsN4jXrLhv?= =?us-ascii?q?As?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BDCQBKNNBc/7M6xlhlg36BE1IyKIQQY?= =?us-ascii?q?ogZjDWOdYligWcQIwqBS4UjBwEENBMBAwEBBAEBAgEBAQFsHAyCOiKDEgYdAQE?= =?us-ascii?q?mEiwIAgUhAhEBBDVAgj5Mgg4BCqpqcYEvgRGBaAEBBYEyAYVsCYELJ4tlgX+BE?= =?us-ascii?q?YJkbIEEgToKDgsDgSQJARIBgymCWIsbnBsJgS9cggOEFYxIgm+JH4k6kmeORYF?= =?us-ascii?q?mIWVxMxoIHBQ7gmwJgQ6BEIQKih8DPTOBCI10gkMBAQ?= X-IPAS-Result: =?us-ascii?q?A0BDCQBKNNBc/7M6xlhlg36BE1IyKIQQYogZjDWOdYligWc?= =?us-ascii?q?QIwqBS4UjBwEENBMBAwEBBAEBAgEBAQFsHAyCOiKDEgYdAQEmEiwIAgUhAhEBB?= =?us-ascii?q?DVAgj5Mgg4BCqpqcYEvgRGBaAEBBYEyAYVsCYELJ4tlgX+BEYJkbIEEgToKDgs?= =?us-ascii?q?DgSQJARIBgymCWIsbnBsJgS9cggOEFYxIgm+JH4k6kmeORYFmIWVxMxoIHBQ7g?= =?us-ascii?q?mwJgQ6BEIQKih8DPTOBCI10gkMBAQ?= X-IronPort-AV: E=Sophos;i="5.60,438,1549926000"; d="scan'208";a="381890971" X-MGA-submission: =?us-ascii?q?MDFm4YnBWk5zGrDiRUhXYE+W45w69pGuCV0hL0?= =?us-ascii?q?iGn7kry18dsbN9bJ7fWjgr6B62MzQropdVKXy8xOOcYxmGEJJL0Bsd/0?= =?us-ascii?q?+yz0ZrGa1o6hyGfbC7mDSyxszdSPatRbezVgBbzj++2aqXTcjWhQF7qW?= =?us-ascii?q?QL+LQVElNW+gT5ZztHLUmt8w=3D=3D?= Received: from deinprogramm.de (HELO deinprogramm.deinprogramm.de) ([88.198.58.179]) by mail2-smtp-roc.national.inria.fr with ESMTP; 06 May 2019 15:24:18 +0200 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 AC1D81681070 for ; Mon, 6 May 2019 15:24:17 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=deinprogramm.de; s=default; t=1557149057; bh=cCSg75OfAXrpKVuDjQ8Stm2krsJBm9ycpNC9ZBwgaXk=; h=From:To:Subject:Date; b=IPnKizxAPX34a9DMAhqi7jIvS9nhtxZcRle3Pvz/NdnjRJkHNrrHWdv9RgJA7U3+4 vS6UOxMaCp5V8c8vHg2FAu7AzHrCbcATaR1VnxWkyRlUuvpcvF//tk8OP4cn5joLdd Fo9uoSfWNbhbIMfR1gDmy7pRN3BvTyEfS5Ptgw1U= From: Michael Sperber To: caml-list@inria.fr Date: Mon, 06 May 2019 15:24:17 +0200 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 Contributions: Summer BOB 2019 [Aug 21, Berlin, deadline May 17] Reply-To: Michael Sperber X-Loop: caml-list@inria.fr X-Sequence: 17533 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: OCaml talks are extremely welcome at BOB! Summer BOB Conference 2019 "What happens when we use what's best for a change?" http://bobkonf.de/2019-summer/cfc.html Berlin, August 21 co-located with ICFP 2019 Call for Contributions Deadline: May 17, 2019 You are engaged in software development or software architecture, and have an interesting story to tell about an advanced tools, technique, language or technology that you're using? Or a gnarly problems that these tools fail to address but should? 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. If you share our vision and want to contribute, submit a proposal for a talk! NOTE: The conference fee will be waived for presenters. Travel expenses will not be covered (for exceptions see "Speaker Grants"). Topics ------ We are looking for talks about best-of-breed software technology, e.g.: - functional programming - persistent data structures and databases - types - formal methods for correctness and robustness - abstractions for concurrency and parallelism - metaprogramming - probabilistic programming - math and programming - controlled side effects - beyond REST and SOAP - effective abstractions for data analytics - =E2=80=A6 everything really that isn=E2=80=99t mainstream, but you think = should be. Presenters should provide the audience with information that is practically useful for software developers. We're especially interested in experience reports. Other topics are also relevant, e.g.: - demos and how-tos - reports on problems that cutting-edge languages and tools should address = but don't - overviews of a given field Requirements ------------ We accept proposals for presentations of 45 minutes (40 minutes talk + 5 minutes questions), as well as 90 minute tutorials for beginners. The language of presentation should be either English. Your proposal should include (in your presentation language of choice): - An abstract of max. 1500 characters. - A short bio/cv - Contact information (including at least email address) - A list of 3-5 concrete ideas of how your work can be applied in a develop= er's daily life - additional material (websites, blogs, slides, videos of past presentation= s, =E2=80=A6) - Don't be confused: The system calls a submission event. Submit here ----------- https://bobcfc.active-group.de/bob2019-summer/cfp Speaker Grants -------------- BOB has Speaker Grants available to support speakers from groups under-represented in technology. We specifically seek women speakers and speakers who are not be able to attend the conference for financial reasons. Shepherding The program committee offers shepherding to all speakers. Shepherding provides speakers assistance with preparing their sessions, as well as a review of the talk slides.=20 Organisation ------------ - Direct questions to contact at bobkonf dot de - Proposal deadline: May 17, 2019 - Notification: May 31, 2019 - Program: June 14, 2019 Program Committee ----------------- - Matthias Fischmann, zerobuzz UG - Matthias Neubauer, SICK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperber, Active Group - Stefan Wehr, factis research Scientific Advisory Board - Annette Bieniusa, TU Kaiserslautern - Torsten Grust, Uni T=C3=BCbingen - Peter Thiemann, Uni Freiburg More information here: http://bobkonf.de/2019-summer/programmkomitee.html