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 9A9351E6 for ; Thu, 24 Oct 2019 18:45:48 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.68,225,1569276000"; d="scan'208";a="408043089" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 24 Oct 2019 20:45:47 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 5645D7F2D2; Thu, 24 Oct 2019 20:45:47 +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 7BB037F25C for ; Thu, 24 Oct 2019 20:45:43 +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 IronPort-PHdr: =?us-ascii?q?9a23=3AHJAsNBb0cNYgpAvZYZSmht7/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZr8+ybnLW6fgltlLVR4KTs6sC17ON9fG5EjVasN6oizMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVr?= =?us-ascii?q?O+/7BpDdj9it1+C15pbffxhEiCCybL9vIhi6twHcutQZjYd/NKo8zgbCr2dVde?= =?us-ascii?q?hR2W5mP0+YkQzm5se38p5j8iBQtOwk+sVdT6j0fLk2QKJBAjg+PG87+MPktR/Y?= =?us-ascii?q?TQuS/XQcSXkZkgBJAwfe8h73WIr6vzbguep83CmaOtD2TawxVD+/4apnVAPkhS?= =?us-ascii?q?EaPDM/7WrZiNF/jLhDrRyhuRJx3oDaboKbO/VxYqzTcsgXRXZYXstLSyBNHpmx?= =?us-ascii?q?YokJAuEcPehYtY79p14WoBW5BAmjGOPvxSVWiX/ywKY0zvwhHh/c3AM7Ad0Oqm?= =?us-ascii?q?nfodLuNKcKT++11rLHwivZb/5NxDjy9onIchY5ofGWWrJwftDRxlMqFwPAlFmf?= =?us-ascii?q?tJLqMiqT2+8QvWab6O9gWviui24hswx+uT+vydwvionOgIIVxErI+jhnz4otP9?= =?us-ascii?q?K3VFJ7Yd+6EJROri2aOJF2QsQ/Q2Fwoio116MJtJimdyYJ0JQq3x3SZv+df4SV?= =?us-ascii?q?5h/uV/ydLDd7iX5/Zb6yhRK//VCkx+DyTMW4zlhHoyhfntTOuX0BzRPe58aBR/?= =?us-ascii?q?Bg5EmuwyyP2BrW6uxcIUA7i67bK5k5z7EtiJUTsELDHjfsmEXxg6+WbF8r+u2t?= =?us-ascii?q?6+j9f7rpuJ6cN4lsigHkNaQulda/Dv49MggLRWSU5Pqz2KXi/U3/XrpKkuU7n6?= =?us-ascii?q?ravZzAOMgWoq20DxVV34sg8RqzEjWr3dAAkXkCNl1FeRaHj4bzO1HJJfD1Fey/?= =?us-ascii?q?g0yynzdx3P/JIKfhD47QIXfdkbfhe65961RbyAo819BQ/ZdUCrQbLP3uRED9rM?= =?us-ascii?q?bYAQMhMwyo3+bnD81w2Z8EVmKKBq+VKafSsV6T5uIzOOSMf48UuDPlK/c//fLu?= =?us-ascii?q?jHk5mUUcfaazx5cXZmq4TbxaJBCSaH/ox9MACnsivwwkTeWshkfRfyRUYiOXXq?= =?us-ascii?q?k87zw/QLm+AJ3JS5rl1KeZ0T2xE4d+am1HDEiWFnjyfoCBHfsBPnHBavR9myAJ?= =?us-ascii?q?AODyA7Qq0guj4VejmuhXa9HM8yhdjqrNkd185undjxY3rGMmA8mc1XmXSG5ul2?= =?us-ascii?q?YNATM7jvkm/R5Nj2yb2K09uMR2UMRJ7qoWAAs3NJjE1et1Edn3X0TNc4XREQv0?= =?us-ascii?q?cpCdGTg0C+kJ7ZoObkJ6QI3wgh3C2TKwBLAPnrmOQpA586TExX/+Pc94zjDK2f?= =?us-ascii?q?t5gg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AtZwDf8LFd/7M6xlhlhDUsbFQyKoQoY?= =?us-ascii?q?oggCYgOjzOKBIFnCQEDAQwjCgIBAYFMhk8HAQQ0EwIMAQEEAQEBAgECAwQBbIU?= =?us-ascii?q?3DII6IoMYBh0BASYSNAIFEw4CEQEEdYI+TIJ7AQqzJIEygROBawEBBYE0AYYAC?= =?us-ascii?q?YEOKIoGgiGBf4ERg1CBBIFFGQECgS0BEgGDL4JejRIHKKAngUZogjOEXY43gy2?= =?us-ascii?q?KZYtAlmKRS4FpIkQjcTMaCBwUO4JsCUcQFFeCR4EPAQKCfIofAz8zfAyMaIJMA?= =?us-ascii?q?QE?= X-IPAS-Result: =?us-ascii?q?A0AtZwDf8LFd/7M6xlhlhDUsbFQyKoQoYoggCYgOjzOKBIF?= =?us-ascii?q?nCQEDAQwjCgIBAYFMhk8HAQQ0EwIMAQEEAQEBAgECAwQBbIU3DII6IoMYBh0BA?= =?us-ascii?q?SYSNAIFEw4CEQEEdYI+TIJ7AQqzJIEygROBawEBBYE0AYYACYEOKIoGgiGBf4E?= =?us-ascii?q?Rg1CBBIFFGQECgS0BEgGDL4JejRIHKKAngUZogjOEXY43gy2KZYtAlmKRS4FpI?= =?us-ascii?q?kQjcTMaCBwUO4JsCUcQFFeCR4EPAQKCfIofAz8zfAyMaIJMAQE?= X-IronPort-AV: E=Sophos;i="5.68,225,1569276000"; d="scan'208";a="324184985" X-MGA-submission: =?us-ascii?q?MDE3+z0sEkquqwe9IcQOHOubBCGMOxwIF+Jvg8?= =?us-ascii?q?F/bCFDuN+O60AAhuis1kYwuT7ASRH3lzu0k6DCMeMUNbflStg0RO58dG?= =?us-ascii?q?ZT5lud8f+Lm5q+FqvMp5HRSY0cavohMSrSptaexDjCPRNoRmuKScPYcH?= =?us-ascii?q?fDwZ91u5CksnPwPLsHUQLj+g=3D=3D?= Received: from deinprogramm.de (HELO deinprogramm.deinprogramm.de) ([88.198.58.179]) by mail3-smtp-sop.national.inria.fr with ESMTP; 24 Oct 2019 20:45:42 +0200 Received: from valmont.fritz.box (p5DED4A2B.dip0.t-ipconnect.de [93.237.74.43]) (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 89C332ADC8F4 for ; Thu, 24 Oct 2019 20:45:41 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=deinprogramm.de; s=default; t=1571942741; bh=47EiUEIv1n0Ee9kfqF8tvCbBSCyxek9V+EdY/aU7HmA=; h=From:To:Subject:Date; b=fQWazIVg/4GQh8cVYvUiOA+560LqtC3r2majR3n4aVFY3RQ7tQ5ejFWDlVYZh80tB WL7+nM/AB2jw/1M4G8abAvLe3Sz71sb8qndO08a/eq9jMPmSLiW3/FMn3T9o1iFiAT v3SdD0I/G8Vx2sBZfJDPXvbLs6q/xD95J+TyCG6A= From: Michael Sperber To: caml-list@inria.fr Date: Thu, 24 Oct 2019 20:45:40 +0200 Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (darwin) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] 2nd Call for Contributions: BOB 2020 [Feb 28, Deadline Nov 8] Reply-To: Michael Sperber X-Loop: caml-list@inria.fr X-Sequence: 17849 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 love to see OCaml submissions at BOB! BOB Conference 2020 "What happens when we use what's best for a change?" http://bobkonf.de/2020/cfc.html Berlin, February 28 Call for Contributions Deadline: November 8, 2019 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 database - event-based modelling and architectures - 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/bob2020/cfp Organisation ------------ - Direct questions to contact at bobkonf dot de - Proposal deadline: November 8, 2019 - Notification: November 22, 2019 - Program: December 6, 2019 Program Committee ----------------- (more information here: https://bobkonf.de/2020/programmkomitee.html) - Matthias Fischmann, Wire - 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