From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 E2182801F6 for ; Mon, 11 Sep 2017 14:45:42 +0200 (CEST) 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=3AG5eEAhTm2fw9ttZUNwC7oP0ysNpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa67bBeN2/xhgRfzUJnB7Loc0qyN7PCmBDRIyK3CmU5BWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYkIQjkLQd+?= =?us-ascii?q?OsjyH4fTiYz3i7HzqNXvZFBDjT+5JLdzNwmerAPLt8BQj5ExBLw2z07so3BIcu?= =?us-ascii?q?lSjVhwKEiZkgy0styo8YRp/j54t/8g8dZaVqrgdqE9C7BVWmd1e1sp7dHm4EGQ?= =?us-ascii?q?BTCE4WERBzlHnw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BOIAAohLZZ/7M6xlhcHhgHDAYMgmaBL?= =?us-ascii?q?W4ng3eLFZEsE40siF0OggQKJ4FciB8WAQEBAQEBAQEBAQFqKIIzBQMEHoJfBkV?= =?us-ascii?q?GAgUhAhEBBHWKGQMBC6wegieBGopNgQ6CHUSEcYF2gm6BRSaBHQESAYMygmEFi?= =?us-ascii?q?gaWboEHZoVuj2OIYocilSuBOSYHKk40CzIhCB0USoRUAU+BdgJ1hw1zgT8BAQE?= X-IPAS-Result: =?us-ascii?q?A0BOIAAohLZZ/7M6xlhcHhgHDAYMgmaBLW4ng3eLFZEsE40?= =?us-ascii?q?siF0OggQKJ4FciB8WAQEBAQEBAQEBAQFqKIIzBQMEHoJfBkVGAgUhAhEBBHWKG?= =?us-ascii?q?QMBC6wegieBGopNgQ6CHUSEcYF2gm6BRSaBHQESAYMygmEFigaWboEHZoVuj2O?= =?us-ascii?q?IYocilSuBOSYHKk40CzIhCB0USoRUAU+BdgJ1hw1zgT8BAQE?= X-IronPort-AV: E=Sophos;i="5.42,377,1500933600"; d="scan'208";a="237047648" Received: from deinprogramm.de (HELO deinprogramm.deinprogramm.de) ([88.198.58.179]) by mail3-smtp-sop.national.inria.fr with ESMTP; 11 Sep 2017 14:45:41 +0200 Received: from torvald.local (home.active-group.de [109.192.22.67]) (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 099471680942 for ; Mon, 11 Sep 2017 14:45:41 +0200 (CEST) Received: from torvald.local.deinprogramm.de (localhost [IPv6:::1]) by torvald.local (Postfix) with ESMTP id 7ED8F13B0A31 for ; Mon, 11 Sep 2017 13:45:39 +0100 (BST) From: Michael Sperber To: caml-list@inria.fr User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.0.50 (darwin) Cancel-Lock: sha1:rdOsSSSuxWEmYTZRwR4Lqopva8I= Date: Mon, 11 Sep 2017 13:45:39 +0100 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Call for Contributions: BOB 2018 - Berlin, Feb 23, 2018 OCaml submissions are extremely welcome at BOB! BOB Conference 2018 "What happens when we use what's best for a change?" http://bobkonf.de/2018/en/cfp.html Berlin, February 23 Call for Contributions Deadline: October 29, 2017 You are actively engaged in advanced software engineering methods, implement ambitious architectures and are open to cutting-edge innovation? Attend this conference, meet people that share your goals, and get to know the best software tools and technologies available today. We strive to offer a day full of new experiences and impressions that you can use to immediately improve your daily life as a software developer. If you share our vision and want to contribute, submit a proposal for a talk or tutorial! 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 - ... 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=E2=80=99re especially interested in experience reports. But this could a= lso take other forms, e.g.: - introductory talks on technical background - overviews of a given field - demos and how-tos 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 or German. 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=E2=80=99s daily life - additional material (websites, blogs, slides, videos of past presentation= s, ...) Submit here: https://docs.google.com/forms/d/e/1FAIpQLSdjgwulSMpaITJ6q6cK_ndrfR1FlEs_HQl= Zy04LnUKC-ArCaQ/viewform?usp=3Dsf_link Organisation - direct questions to contact at bobkonf dot de - proposal deadline: October 29, 2017 - notification: November 13, 2017 - program: December 1, 2017 NOTE: The conference fee will be waived for presenters, but travel expenses will not be covered. 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. Details are here: http://bobkonf.de/2018/en/speaker-grants.html 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. Program Committee ----------------- (more information here: http://bobkonf.de/2018/en/programmkomitee.html) - 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