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 02DAF2DF5 for ; Tue, 16 Oct 2018 08:07:27 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.54,387,1534802400"; d="scan'208";a="351314767" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 16 Oct 2018 10:07:26 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 2BF36824F7; Tue, 16 Oct 2018 10:07:26 +0200 (CEST) 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 762C5824CF for ; Tue, 16 Oct 2018 09:50:14 +0200 (CEST) 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=3AgAbG0hFVkahQ2WZM9LjZy51GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ78rsiwAkXT6L1XgUPTWs2DsrQY07WQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmDiwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj?= =?us-ascii?q?8KOT4n/m/KhMJ+j6xUrx29qBJw2IPUfJiVOeBicq/BZ94XR2xMVdtRWSxbBYO8?= =?us-ascii?q?apMCD+8APelEr4nyvUUBrR+kCQm3HOPg1CVIiWTo0q0gyOkuCx3J3BAhH9IQrn?= =?us-ascii?q?vYtdr1NL0VUeCo1KnE1yjMYO1Q1Dzg5obIdRUhruuNXbJ2acfe0k4vGBjGjlWX?= =?us-ascii?q?r4zlMSmZ2fkTvGSD9eVvSf6vi285qw5vuzSvyd0sio7UhoIN0FzL6Dt2zYAoLt?= =?us-ascii?q?O7UE52ed2pHIZKuy2HNoZ7RtkuT3xqtSs10LELu4O3cDAXxJg7wxPTceGLfoyW?= =?us-ascii?q?7h75SuqdPy10iXNndb+5mh2861KvyvfmWcmxyFtKrjRKkt3Ltn0V0hzS5dKLRe?= =?us-ascii?q?Fh8Ue92DaPyR7c5vhLIUAukqrbNoYhzqQtmZUNqUjDHyn2l1vqjKKOdUgo5/Kk?= =?us-ascii?q?5/nmb7jivJOQKo15hw7kPqksh8CzGeE4PRIPX2if9+S8zrrj/UjhTbVPj/05jq?= =?us-ascii?q?nZv4rEKsQfvKK5GBdV3Zg56xmkETimys8VkmMbI1JZeRKHkZbmN0jBIPDiCve/?= =?us-ascii?q?nkysnC12yP/YJrHhGInCLmDfkLf9erZw81JTxxA2zdBb/p5UDrABIOnvWkLqr9?= =?us-ascii?q?zZDho5MxSuzOr9CdV90JkeWWOVDaODPqPSqwzA2uV6KOCJYMoRuS3hA/kj/f/n?= =?us-ascii?q?y3EjynEHeqz82JocaHm1GrJ9O0iDa3f2qt4KDWYUs08xVuv3kBuOXG0AL02uVr?= =?us-ascii?q?4xs2loQLmtCp3OE9j00e6xmRyjF5gTXVhoT1WFEHPmbYKBAqheYSmOI9Fs1zMe?= =?us-ascii?q?UqW5DYMsh0j36F3KjoF/J++RwRU28Ir53YEqteTYiRAs+Hl7FcOAyyeBQjMsxz?= =?us-ascii?q?5ad3oNxKl65HdF5BKD3Kx/2aQKEMwV7vhVUxk3cJHGyPFiTdz/CFrM?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B6BQCal8Vb/0euqVFkg3EqZn8og3WEZ?= =?us-ascii?q?YQRm22JCIFmMAmBS4dmGQcBBDQWAQMBAQIBAQEBAWwcDII2IoMFBh0BASYSNAI?= =?us-ascii?q?FIQIRAQR1gwiCBQulLW+BLoEQgWUBAQWBLwGESoEjCIELh308ggiCF4EShFOBQ?= =?us-ascii?q?Q4LAQKBLQESAYMigleIaiyVFgcCgViEfYodghuHDYZ2gmCJY4tEIWRxcU+CbAm?= =?us-ascii?q?CKYEHAQKCe4oeA22BB4ghgj4BAQ?= X-IPAS-Result: =?us-ascii?q?A0B6BQCal8Vb/0euqVFkg3EqZn8og3WEZYQRm22JCIFmMAm?= =?us-ascii?q?BS4dmGQcBBDQWAQMBAQIBAQEBAWwcDII2IoMFBh0BASYSNAIFIQIRAQR1gwiCB?= =?us-ascii?q?QulLW+BLoEQgWUBAQWBLwGESoEjCIELh308ggiCF4EShFOBQQ4LAQKBLQESAYM?= =?us-ascii?q?igleIaiyVFgcCgViEfYodghuHDYZ2gmCJY4tEIWRxcU+CbAmCKYEHAQKCe4oeA?= =?us-ascii?q?22BB4ghgj4BAQ?= X-IronPort-AV: E=Sophos;i="5.54,387,1534802400"; d="scan'208";a="282224566" Received: from mx.active-group.de ([81.169.174.71]) by mail3-smtp-sop.national.inria.fr with ESMTP; 16 Oct 2018 09:50:13 +0200 Received: from mx.active-group.de (localhost.localdomain [127.0.0.1]) by mx.active-group.de (Postfix) with ESMTP id 605012DE1CEB for ; Tue, 16 Oct 2018 09:50:12 +0200 (CEST) Received: from valmont.home.active-group.de (home.active-group.de [109.192.22.67]) by mx.active-group.de (Postfix) with ESMTPSA id E12DA2DE1CE7 for ; Tue, 16 Oct 2018 09:50:11 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=active-group.de; s=default; t=1539676212; bh=5nhn5HRLFH/Aeu822HrrXOF6WcW2hLjiHwHQEGZsNt0=; h=From:To:Subject:Date:From; b=WhUF0UcV7iT9ixNNVHzy9RRoVCsR9V7kGDOtp5hIMg15zmun18qsAdF7yrpN7QCwa 6YKUukqYRFCWOk73KOJYhCNigFYNzXMEZoFBDPfvt/2jd+DKXsZq9J8D+P8n1OZJBI jrJzEmLSPdiZVw6BIgMyGaTp/+opCkBPvyZeals4= From: michael.sperber@active-group.de To: caml-list@inria.fr Date: Mon, 15 Oct 2018 10:39:36 +0200 Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (darwin) X-Complaints-To: usenet@blaine.gmane.org Cancel-Lock: sha1:aKKB9ucVLk6PKQtiqC5MYAknozc= 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] Call for Contributions: BOB 2019 - Berlin, Mar 22, 2019 Reply-To: michael.sperber@active-group.de X-Loop: caml-list@inria.fr X-Sequence: 17104 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 are very welcome 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 Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs=