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 ESMTP id D7D3C5D6 for ; Mon, 1 Apr 2019 06:18:41 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,295,1549926000"; d="scan'208";a="376573717" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 01 Apr 2019 08:18:38 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id C591782684; Mon, 1 Apr 2019 08:18:38 +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 9B5E97F61F for ; Mon, 1 Apr 2019 08:18:27 +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=3AwPelyhVOi1sAO8cTRuqNXmBcT+DV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBCDt8tkgFKBZ4jH8fUM07OQ7/m4Hz1bqs/Z7TgrS99lb1c9k8?= =?us-ascii?q?IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBo?= =?us-ascii?q?KevrB4Xck9q41/yo+53Ufg5EmCexbal9IRmrsQndrM0bjIVtJqos1hfEomZDdv?= =?us-ascii?q?hLy29vOV+dhQv36N2q/J5k/SRQuvYh+NBFXK7nYak2TqFWASo/PWwt68LlqRfM?= =?us-ascii?q?TQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4qx2RhLklD?= =?us-ascii?q?sLOjgk+2zRl8d+jr9UoAi5qhJ/3YDafY+bOvlwcazSYdwUSnFMXtpIVyFbHo+w?= =?us-ascii?q?c5ECAugHMO1Fr4f9vVwOrR6mCAerBePg1j9IiWXo0q0+zu8vDBnG0xI6H90Vrn?= =?us-ascii?q?vUtsj+OaAJUeCt0qbI1y7MYO1M2Trm9YfHbBEhofeUXbJqdsrRxlMvGBnAjlWV?= =?us-ascii?q?s4DqIi2a2/0LvmOG4eRgUuevhHQmqwF3ujWg3cAshZLKhoISzFDE+z91z5srKt?= =?us-ascii?q?GgUkF0fcKkEJpOty6ELod2TdkiQ2Z1uCYi0LEJpIC0cS4Xw5ok3x7Sc/+KfouS?= =?us-ascii?q?7h7+UOucIi10iXJmdb6lmhq/80ytxvXhWsSw0FtGtDRJnsfNu3wXyhDf98eKRu?= =?us-ascii?q?Fg8kquxDqC0R3Y5PteLkAuj6XbLoYswr4umZoXtkTOBjL5l1v3jK+QbkUk4O+o?= =?us-ascii?q?6+v9Yrr8o5+cMpV4hRzgPaQvnMy/Gf44Mg8BX2iB4+u80bjj8VfkT7pUlvE2k6?= =?us-ascii?q?/Zv47GJckDpaO0ABVZ3psn5hu8FTur0NcVkWMaIF9HfB+Ll43pNEvPIPD8A/e/?= =?us-ascii?q?mVOskDJzyvDdJr3uHI/NIWPdn7f7Zrty9lBTyAs1zdBH/ZJUDb4BIOjpVU/0sd?= =?us-ascii?q?zUFAI2PBKsz+b9FNp9zp8eWX6IAqKBLKzdq1qI5uY2L+mIZY8Voyr9JuM+5//u?= =?us-ascii?q?iH85gUUScbOo3ZsRcnC4H+5pL1+XYXr20Z89FjIBtw86Cejrk0GqUDhJZn/0Ub?= =?us-ascii?q?hvyCs8DdeDDIzDT42pyIeZ0T2xE4ceMnteB0qGHG3Ae4iFXe8Wby2IK8pk1DAJ?= =?us-ascii?q?A+vyA7Q93A2j4Vepg4FsKfDZr3VB5MDTkeNt7uiWrikcsDl9DsCTyWaIFj4mkm?= =?us-ascii?q?4JQScs269lqEl4jFuOg/Eh365oUOdL7vYMaT8UcIbGxrUlWdz/WwTZZNCGUl+j?= =?us-ascii?q?R5OqDGNpF49j85o1e094Xu6aoFXD0i6tWOdHm7GKAoQu9a3G1n30YcpwynDezq?= =?us-ascii?q?4ulVAjR41DOD/+iw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BmBQBbrKFc/7M6xlhjg36BEoEDJ4QOY?= =?us-ascii?q?pUAjmuJV4FnECMJgUuIUQcBBDQSAQEDAQEJAQMBAQFsHAyCOiKDEgZFPggCBSE?= =?us-ascii?q?CEQEENUCCPkyBeQEKqBGBL4ERgyABgRSEX4ELJItKgX+BEYIUUGyBBIE6Cg4LA?= =?us-ascii?q?4EkCQESAYMpglcDikuafwmBKFyFbYwJgmCIWYhzkVCNZYFkIWVxMxoIHBQ7gmw?= =?us-ascii?q?JghmECYofAz0zgSiMdYI+AQE?= X-IPAS-Result: =?us-ascii?q?A0BmBQBbrKFc/7M6xlhjg36BEoEDJ4QOYpUAjmuJV4FnECM?= =?us-ascii?q?JgUuIUQcBBDQSAQEDAQEJAQMBAQFsHAyCOiKDEgZFPggCBSECEQEENUCCPkyBe?= =?us-ascii?q?QEKqBGBL4ERgyABgRSEX4ELJItKgX+BEYIUUGyBBIE6Cg4LA4EkCQESAYMpglc?= =?us-ascii?q?DikuafwmBKFyFbYwJgmCIWYhzkVCNZYFkIWVxMxoIHBQ7gmwJghmECYofAz0zg?= =?us-ascii?q?SiMdYI+AQE?= X-IronPort-AV: E=Sophos;i="5.60,295,1549926000"; d="scan'208";a="376573571" X-MGA-submission: =?us-ascii?q?MDH1zk9qUUk54rC7BPwf5QsYFkNTLY3cs3WhwD?= =?us-ascii?q?cRbIDnUKTPqFsgKNA/F7cCcGx2CDqPEY7GzbZNXQA3/bAWLTCA2hkw+4?= =?us-ascii?q?127ElD3c9RAE7DfnujtWN7/L1FDA/DiljHLMpv+v+tiz6ihFrlosI6Vq?= =?us-ascii?q?Vam7ruImQf50NsNiy8bsyrKA=3D=3D?= Received: from deinprogramm.de (HELO deinprogramm.deinprogramm.de) ([88.198.58.179]) by mail2-smtp-roc.national.inria.fr with ESMTP; 01 Apr 2019 08:18:26 +0200 Received: from lanhost480 (unknown [195.226.114.141]) (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 AF3F21681183 for ; Mon, 1 Apr 2019 08:18:25 +0200 (CEST) From: Michael Sperber To: caml-list@inria.fr Date: Mon, 01 Apr 2019 08:18:25 +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] Call for Contributions: Summer BOB 2019 [Aug 21, Berlin, deadline May 17] Reply-To: Michael Sperber X-Loop: caml-list@inria.fr X-Sequence: 17448 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 contributions extremely welcome at BOB! (Also, a perfect companion to the OCaml workshop!) 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