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 55C285D4 for ; Thu, 19 Sep 2019 06:32:14 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,522,1559512800"; d="scan'208";a="402415913" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 19 Sep 2019 08:32:13 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 1DF367EFB0; Thu, 19 Sep 2019 08:32:13 +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 275487EFAC for ; Thu, 19 Sep 2019 08:32:07 +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=3AOexJ+RRXkVo2I6y00zDMsWJJWdpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6yYxKN2/xhgRfzUJnB7Loc0qyK6vumAD1LuM7a+DBaKdoQDkVD0Z?= =?us-ascii?q?1X1yUbQ+e9QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYn?= =?us-ascii?q?br+tQt2agMu4zf299IPOaAtUmjW9falyLBKrpgnNq8Uam4RvJrs/xxfTv3dFf+?= =?us-ascii?q?tayX50KV+dgh3w4tu88IN5/ylfpv4t6dRMXbnmc6g9ULdVECkoP2cp6cPxqBLN?= =?us-ascii?q?VxGP5nwSUmUXlhpHHQ3I5wzkU5nyryX3qPNz1DGVMsPqQ780Xy+i77pwRx/zlC?= =?us-ascii?q?gHLT85/3rJhcF2kalWvQiupx17w47TfYGVKP9zdb7TcN8GWWZMWNtaWipcCY2+?= =?us-ascii?q?coQPFfIMM+ZGoYfgqVUArhWxCgawC+3g0TJImmb20Lcm3+g9CwzL3gotFM8Ovn?= =?us-ascii?q?TOq9X1Mb8fX+e0zKbUzTXMde1Z2TPg44bVahAuv+uMUqlufsrL1EIiEBjFjk2O?= =?us-ascii?q?poz/JDyayP4NvnOG4OV+VOKvjXYnqxt2ojig3McjkIzJhocPxl/Z6yp02YA4Ls?= =?us-ascii?q?C2Rk58ZN6rCppQtyeCOoRtRcMtWGJouCE8yr0Io5K0YTYFxIw9yBHDd/yHcpaI?= =?us-ascii?q?7Qz6WOaeOzd4g29leKqlixmv70etzPD3WMqs0FtSrSdIkcPAum0J2hHQ8MSKSv?= =?us-ascii?q?hw8l281TuN0w3f8uVJLE4umabFJJMt3qQ8mocRvEnMBCP6hUb7gamLfUs+4Oeo?= =?us-ascii?q?8f7oYrD+q5+cKYB0jgb+P7wzlcOhAOQ4NBAOX3Kc+eSzzr3s50j5QLBQgvIrjK?= =?us-ascii?q?bZsZbaJdwBpq6+DA9VyJws6xO6Dzu8zdsXg2ELLFNDeB2Zk4jkI1LDLfPiAfui?= =?us-ascii?q?h1mhky1nyvDFM7H7H5nALHzOnK/kfbln6k5czAQzzcpY55JRErwBO+rzVVHrtN?= =?us-ascii?q?PDEBA5KRe5zPv5B9V80IMeQXiPAqiWMKPIq1CI4+cvL/ORa4ALoDr9MeQq5+by?= =?us-ascii?q?jX8lnl8QZbWm0oESaHC8B/hmJ0SZYWHwgtoaCmcLvg8+TPTwh1GYUD5TYWyyX6?= =?us-ascii?q?Mm6T0hBoKmF9SLeof4i7WE2GK/H4ZKTmFAEFGFV3nyJKueXPJZTSOZIsZslnQ/?= =?us-ascii?q?TbW7QYI7nUW1rALgwbd9BubZ+ysAr5XsztFw4qvfmEdhpnRPE82B3jTVHClPlW?= =?us-ascii?q?QSSmpuhfEtkQlG0l6GlJNArbldHN1X6elOV15lZ5LRzupiEdf9QAvEe5GFRQT/?= =?us-ascii?q?G4j0MXQKVts0huQ2TQN9FtGl1UiR0yerBacPkLORDZkxtK7R3n7pPcFy0X/D0e?= =?us-ascii?q?8tggt+G5cdBSidnqd6sjPrKcvRiUzAyPSmeKUaxDTK+32KyG/IsEwKCAM=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ALCADBH4Nd/7M6xlhlhAeBF1MyKoQii?= =?us-ascii?q?HyIM48piX2BZwkBAwEMIwoCAQGBS4YUBwEENBMCDAEBBAEBAQIBAgMEAWyFLQy?= =?us-ascii?q?COiKDEgYdAQEmEjQCBSECEQEEdYI+TIIOAQqsbnOBMoESgWsBAQWBMwGGBgmBD?= =?us-ascii?q?CiKAIIhgX+BEYNQgQSBRBkBAoEtARIBgyqCWIx0ByifYYFFZwOCK4RXjhuDKIp?= =?us-ascii?q?SiyeWIpEjgWkhRCNxMxoIHBQ7gmwJRxAUVoIfAQKCe4ofAz4zZo1LgkUBAQ?= X-IPAS-Result: =?us-ascii?q?A0ALCADBH4Nd/7M6xlhlhAeBF1MyKoQiiHyIM48piX2BZwk?= =?us-ascii?q?BAwEMIwoCAQGBS4YUBwEENBMCDAEBBAEBAQIBAgMEAWyFLQyCOiKDEgYdAQEmE?= =?us-ascii?q?jQCBSECEQEEdYI+TIIOAQqsbnOBMoESgWsBAQWBMwGGBgmBDCiKAIIhgX+BEYN?= =?us-ascii?q?QgQSBRBkBAoEtARIBgyqCWIx0ByifYYFFZwOCK4RXjhuDKIpSiyeWIpEjgWkhR?= =?us-ascii?q?CNxMxoIHBQ7gmwJRxAUVoIfAQKCe4ofAz4zZo1LgkUBAQ?= X-IronPort-AV: E=Sophos;i="5.64,522,1559512800"; d="scan'208";a="319902622" X-MGA-submission: =?us-ascii?q?MDEi/sjXvj47eM5np3bo178G3DCg0+FYBRmbN1?= =?us-ascii?q?cbX2+S78/CwauiZPkOp8mT2tGU6FA6eMMmJSwjpLWGZ8s/EYFw0/Gg2X?= =?us-ascii?q?z2kL+Cg6FlEfO9taiKpxrv8cZvHzr0Fjdw/qXSIPX1Z6o2qA9N6ZkB20?= =?us-ascii?q?PPdlxJHRSbcl/uEFNesbkiLg=3D=3D?= Received: from deinprogramm.de (HELO deinprogramm.deinprogramm.de) ([88.198.58.179]) by mail3-smtp-sop.national.inria.fr with ESMTP; 19 Sep 2019 08:32:06 +0200 Received: from surfer-172-29-15-53-hotspot.internet-for-guests.com (mx.ktc-koenigstein.com [93.240.174.18]) (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 3A5842AE19C6 for ; Thu, 19 Sep 2019 08:32:04 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=deinprogramm.de; s=default; t=1568874724; bh=YtexfCkXfNXIDikI3aYGS9mcXAa4XHMLpPbBij5U3CQ=; h=From:To:Subject:Date; b=oSezvTpiDXHUIxq936VUB0/9jKN8iNG+Lfee1f5ToTVmDdZ2AiNu7rV/sItPOZ7// PLtFW+L7rnISvXMdh76KyqbJcW0w58scfLw4IJ8IN6z9huHklEo8muP3/XtKX7Rwd0 kMlXxWZhgP4BHJCTFm5L5FK471KY0qauFmFrc6WE= From: Michael Sperber To: caml-list@inria.fr Date: Thu, 19 Sep 2019 08:32:03 +0200 Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (darwin) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Call for Contributions: BOB 2020 [Feb 28, Deadline Nov 8] Reply-To: Michael Sperber X-Loop: caml-list@inria.fr X-Sequence: 17809 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 submissions are extremely welcome 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