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 D61465D5 for ; Fri, 16 Nov 2018 08:32:43 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,239,1539640800"; d="scan'208";a="355941438" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 16 Nov 2018 09:32:42 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 86EA48253E; Fri, 16 Nov 2018 09:32:42 +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 D58CD824CF for ; Fri, 16 Nov 2018 09:21:52 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=michael.sperber@active-group.de; spf=Pass smtp.mailfrom=michael.sperber@active-group.de; spf=None smtp.helo=postmaster@mx.active-group.de IronPort-PHdr: =?us-ascii?q?9a23=3AgFq3rRzvW5L7tV3XCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?1OMSIJqq85mqBkHD//Il1AaPAd2Lraocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze+/94HQbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRHoli?= =?us-ascii?q?kJKjA3/mLZhcN/kK1VrwmspwBmw4POfI2ZKOBzc6HbcNgHRWRBRMFRVylZD4O5?= =?us-ascii?q?bosAE+oBMvxGoIn5vVcOtgO+Che2BOz01DBInGT70rcm3OQ9EAHGwhIvE8sBsH?= =?us-ascii?q?TOq9X1Kb8SXfqow6bWyzjIcv1Y2TD46IfScxAhp+mBUql3ccXKykkvEAXFjluK?= =?us-ascii?q?pYP4ITyZzv4CvHSH7+phS+KglXcrqw5rojio28cskpPFiZ8LxV3C6C53w541KM?= =?us-ascii?q?W7RUJme9KoDZpduiWAO4drQM4vTHtktSQnxrEepJK3YCwHxI46yxPbdfCLaZaE?= =?us-ascii?q?7gz5WOuQIzp1gm9udqiliBao60egz/XxVsmq31ZOqSpIitzMt38X2xPJ9seHVv?= =?us-ascii?q?p9/lm/1jqW2ADT8OZEIV0slabBNpEu3KY8lpsVsUvdAi/7gEb7gLKMekk5++Wl?= =?us-ascii?q?7/7rbqjkq5KTLYN5iBzyPrwrmsOlAOQ4NgYOX3Kc+eS5zLDj+Ez5T6lKjvIsjK?= =?us-ascii?q?bZtIrWJd8DpqGnGQ9ayZgs6wykAji8zNsYgXgHLExbdx6egIjpIVbOIO3gDful?= =?us-ascii?q?nlujji9nx+raMb35HpXNMn/Dna/9crln7k5czBM/zdRe55JPFrEMO+nzW0/0tN?= =?us-ascii?q?zAFBA1KQ20w+D9CNV8zIwSQ2yPArXKeJ/V5FSB4+ZqJ+iXeKcUviz8Ir4r/a3A?= =?us-ascii?q?l3g8zFocdqmg0J9Rc2i1BP5rOW2QambtnNpEHn0NoxJ4QOG52xW5TTdPaiPqDO?= =?us-ascii?q?oH7TYhBdf+VNaRdsWWmLWEmRyDMNhTb2FCBEqLFC63JYyPR/YSZWedOMh8inoI?= =?us-ascii?q?WOr4EtNz5VSVrAb/joFfAK/M4CRB6sDq38R0+eCWmgs16CQyA8nPizjQHVExpX?= =?us-ascii?q?sBQnoN5I46oUF5zQ3bg61oxfVTCd1N6rZGSAAnLdjQwr4iBg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DtDgCVfe5b/0euqVFkHgEZBgaBVQGBW?= =?us-ascii?q?ClmgQIng3hiiBWLG5BAiReBZjAJgUuGSRoHAQQ0EgEDAQECAQEBAQFsHAxCAQ4?= =?us-ascii?q?BgWQigwgGHQEBJhI0AgUhAhEBBHWDCYIFC6ZOcIEvgRCBZgEBBYEwAYRIgSQIg?= =?us-ascii?q?QuINjyCCIIWgRGEU4FBDgsBAoEtARIBgyOCV4kdLJYjBwKGeopFgiSHM4cjjTW?= =?us-ascii?q?MOCFkcXFPgmwJgiqBCgECgnuKHgI+ATKBB4Ymg3qCPgEB?= X-IPAS-Result: =?us-ascii?q?A0DtDgCVfe5b/0euqVFkHgEZBgaBVQGBWClmgQIng3hiiBW?= =?us-ascii?q?LG5BAiReBZjAJgUuGSRoHAQQ0EgEDAQECAQEBAQFsHAxCAQ4BgWQigwgGHQEBJ?= =?us-ascii?q?hI0AgUhAhEBBHWDCYIFC6ZOcIEvgRCBZgEBBYEwAYRIgSQIgQuINjyCCIIWgRG?= =?us-ascii?q?EU4FBDgsBAoEtARIBgyOCV4kdLJYjBwKGeopFgiSHM4cjjTWMOCFkcXFPgmwJg?= =?us-ascii?q?iqBCgECgnuKHgI+ATKBB4Ymg3qCPgEB?= X-IronPort-AV: E=Sophos;i="5.56,239,1539640800"; d="scan'208";a="285691993" Received: from mx.active-group.de ([81.169.174.71]) by mail3-smtp-sop.national.inria.fr with ESMTP; 16 Nov 2018 09:21:51 +0100 Received: from mx.active-group.de (localhost.localdomain [127.0.0.1]) by mx.active-group.de (Postfix) with ESMTP id 21F5B2DE1F2D for ; Fri, 16 Nov 2018 09:21:50 +0100 (CET) Received: from valmont.home.active-group.de (home.active-group.de [109.192.22.67]) by mx.active-group.de (Postfix) with ESMTPSA id C2DF02DE1F29 for ; Fri, 16 Nov 2018 09:21:49 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=active-group.de; s=default; t=1542356509; bh=sNqu53B39HXumNdTIL6+/YerKpEWF6T7bIrG3GWIw5E=; h=From:To:Subject:Date:From; b=MhSaNqGeftPWYIfflfP3juoNN5YEm0oANcQtcZFnWC9/eMR6/HEX/8aZXJv74Btjv bumDpPf2vMx0RAUCo2RVq/qV12uZ6dSL2x7Y0YgDILIWj4ugW4T4/2cesXWWncI/lB Gmhc8WWhxFMm1ibp7JcQDVkfqZ7F3XBYFMpvmAIg= From: michael.sperber@active-group.de To: caml-list@inria.fr Date: Fri, 16 Nov 2018 09:21:49 +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 X-Virus-Scanned: ClamAV using ClamSMTP X-Validation-by: michael.sperber@active-group.de Subject: [Caml-list] 2nd Call for Contributions: BOB 2019 [Deadline Nov 23] Reply-To: michael.sperber@active-group.de X-Loop: caml-list@inria.fr X-Sequence: 17137 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: We'd love to have more OCaml contributions at BOB! BOB Conference 2019 "What happens when we use what's best for a change?" http://bobkonf.de/2019/en/cfc.html Berlin, March 22 Call for Contributions Deadline: November 23, 2018 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! NOTE: The conference fee will be waived for presenters. Travel expenses will not be covered (for exceptions see "Speaker Grants"). 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. 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're especially interested in experience reports. Other topics are also relevant, 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's daily life - additional material (websites, blogs, slides, videos of past presentation= s, =E2=80=A6) Submit here: https://bobcfc.active-group.de/en/bob2019/cfp Organisation ------------ - Direct questions to contact at bobkonf dot de - Proposal deadline: November 23, 2018 - Notification: December 7, 2018 - Program: December 21, 2018 Program Committee ----------------- (more information here: http://bobkonf.de/2019/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 --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list Forum: https://discuss.ocaml.org/ Bug reports: http://caml.inria.fr/bin/caml-bugs=