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 sympa.inria.fr (Postfix) with ESMTPS id 7D83A7F0B3 for ; Mon, 17 Oct 2016 14:23:21 +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=Pass smtp.helo=postmaster@deinprogramm.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of sperber@deinprogramm.de) identity=pra; client-ip=88.198.58.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sperber@deinprogramm.de"; x-sender="sperber@deinprogramm.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of sperber@deinprogramm.de designates 88.198.58.179 as permitted sender) identity=mailfrom; client-ip=88.198.58.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sperber@deinprogramm.de"; x-sender="sperber@deinprogramm.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@deinprogramm.de designates 88.198.58.179 as permitted sender) identity=helo; client-ip=88.198.58.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sperber@deinprogramm.de"; x-sender="postmaster@deinprogramm.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3A7zQi7B9JH/5+wP9uRHKM819IXTAuvvDOBiVQ1KB+?= =?us-ascii?q?2uIcTK2v8tzYMVDF4r011RmSDN+dtqgP17qe8/i5HzdfsdDZ6DFKWacPfiFGoP?= =?us-ascii?q?1epxYnDs+BBB+zB9/RRAt+Iv5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkJD?= =?us-ascii?q?HfnuAoPZk+iw0umz/dWTP1QJ13KBZuZ5JRCy6AHQrdU+gI14K693xAGajGFPfr?= =?us-ascii?q?FzxGhoLF+X1y3k69268YQrpz9Itugr+tRoXaj7ebwiSrNCBTEjdWw4sp64/SLf?= =?us-ascii?q?RBeCsyNPGl4dlQBFVlSU4Q=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CyBwAAwgRY/7M6xlhcHRgHCwEBFgEBB?= =?us-ascii?q?QEBgnAUAQEBAQEdV3ykS4wciAiCCCqCQoVfORMBAQEBAQEBAQEBAV0nQQ6BYwQ?= =?us-ascii?q?DAxWCNAYdAQEmEjQCBSECEQEEKUyIOgMKtElnhEkBAQWITAmBB4tHgSeBNhEBg?= =?us-ascii?q?mgLLYJbiEGRSoE6hG6MGIcphhCMe4QAIAIyJh4GCII4U4FkcIYWS3OBLQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CyBwAAwgRY/7M6xlhcHRgHCwEBFgEBBQEBgnAUAQEBAQE?= =?us-ascii?q?dV3ykS4wciAiCCCqCQoVfORMBAQEBAQEBAQEBAV0nQQ6BYwQDAxWCNAYdAQEmE?= =?us-ascii?q?jQCBSECEQEEKUyIOgMKtElnhEkBAQWITAmBB4tHgSeBNhEBgmgLLYJbiEGRSoE?= =?us-ascii?q?6hG6MGIcphhCMe4QAIAIyJh4GCII4U4FkcIYWS3OBLQEBAQ?= X-IronPort-AV: E=Sophos;i="5.31,357,1473112800"; d="scan'208";a="241073172" Received: from deinprogramm.de ([88.198.58.179]) by mail2-smtp-roc.national.inria.fr with ESMTP; 17 Oct 2016 14:23:20 +0200 Received: from jellaby.local (unknown [195.52.203.132]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by deinprogramm.de (Postfix) with ESMTPSA id 106A43094E for ; Mon, 17 Oct 2016 12:23:19 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=deinprogramm.de; s=default; t=1476706999; bh=BRyUsEErgnrCWUnTt6+jcEniPCxlSliIJhJtL9YHWDg=; h=From:To:Subject:Date; b=SOoLP6YSZuM1iZ8JRae4+/cCEQW9yDNmZeH+oWxORySnxETCSIjRdQx6LXFEjfWOc xaTkY14DnnZp1AUSBfjpIEL3sZS02ELlLzi3F0mEyi3DZ/SKrVv3fx4OGkgfvmOsKy 8Jq7Tk2r8PYiK85kK7Z+KaOMmG1whfUaPzxFf+eE= Received: from jellaby.local.deinprogramm.de (localhost [IPv6:::1]) by jellaby.local (Postfix) with ESMTP id 5C7AB8C5BE06 for ; Mon, 17 Oct 2016 14:23:32 +0200 (CEST) From: Michael Sperber To: caml-list@inria.fr Date: Mon, 17 Oct 2016 14:23:32 +0200 Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.1.50 (darwin) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Call for Contributions: BOB 2017 - Berlin, Feb 24, 2017 (Deadline Oct 30) BOB has a strong focus on functional programming, so OCaml proposals are very welcome! BOB Conference 2017 "What happens when we use what's best for a change?" http://bobkonf.de/2017/en/cfp.html Berlin, February 24 Call for Contributions Deadline: October 30, 2016 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! 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 - ... 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. This time, we=E2=80=99re especially interested in experience reports. But t= his could also take other forms, 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=E2=80=99s daily life -additional material (websites, blogs, slides, videos of past presentations= , =E2=80=A6) Submit here: https://docs.google.com/forms/d/e/1FAIpQLSfFuyBhBTCOTS0zTXBzY1KVuKpumyIBTuc= LcJ1ArC1XpWsG-Q/viewform Organisation - direct questions to bobkonf at active minus group dot de - proposal deadline: October 30, 2016 - notification: November 15, 2016 - program: December 1, 2016 NOTE: The conference fee will be waived for presenters, but travel expenses will not be covered. 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. Details are here: http://bobkonf.de/2017/en/speaker-grants.html 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. Program Committee ----------------- (more information here: http://bobkonf.de/2017/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