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 7B4BD7F614 for ; Thu, 15 Sep 2016 14:54:58 +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=3A9AEv4RZj0Az0V5jq8goEuwj/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZpsWybnLW6fgltlLVR4KTs6sC0LuP9f+9EjFeqdbZ6TZZL8wKD0dEwe?= =?us-ascii?q?wt3CUeQ+e9QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYn?= =?us-ascii?q?br+tQt2auf+qzPi/8IH/ZABBhTz1Ie8jbUb+kQKEvcAThc5mK70t4hrPuHpBPe?= =?us-ascii?q?pMlk1yIlfGuhf35s69+NZY6ylKsf87v5pbSajgdakiZbBVDTI+KWc6/sTusF/P?= =?us-ascii?q?QF3ctTMnTmwKn08QUED+5xbgU8Kt4yY=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DEBwAQmdpX/7M6xlhcHAEBFgEBBQEBC?= =?us-ascii?q?gEBFgEBBQEBgnASAQEBAQEeV3ykWIwBiAGCAyaCQoUUORMBAQEBAQEBAQEBAV0?= =?us-ascii?q?ngjIEAwMVgjQGHQEBJhI0AgUhAhEBBClMiDIDCrRYZ4RIAQEFiBUIgQaLM4Emg?= =?us-ascii?q?TMRAYJmCy2CWog3kTaBOoRri3CHI4YGjF6DeyABMyCCGlCBX26EYnOBLAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DEBwAQmdpX/7M6xlhcHAEBFgEBBQEBCgEBFgEBBQEBgnA?= =?us-ascii?q?SAQEBAQEeV3ykWIwBiAGCAyaCQoUUORMBAQEBAQEBAQEBAV0ngjIEAwMVgjQGH?= =?us-ascii?q?QEBJhI0AgUhAhEBBClMiDIDCrRYZ4RIAQEFiBUIgQaLM4EmgTMRAYJmCy2CWog?= =?us-ascii?q?3kTaBOoRri3CHI4YGjF6DeyABMyCCGlCBX26EYnOBLAEBAQ?= X-IronPort-AV: E=Sophos;i="5.30,339,1470693600"; d="scan'208";a="236960833" Received: from deinprogramm.de ([88.198.58.179]) by mail2-smtp-roc.national.inria.fr with ESMTP; 15 Sep 2016 14:54:57 +0200 Received: from jellaby.local (p4FC25781.dip0.t-ipconnect.de [79.194.87.129]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by deinprogramm.de (Postfix) with ESMTPSA id 6945F3094C for ; Thu, 15 Sep 2016 12:54:52 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=deinprogramm.de; s=default; t=1473944092; bh=3G2fROe+BtvjpKJaxEGUfvuWV3xUeyzq/j1mu+G3JdA=; h=From:To:Subject:Date; b=Rmt5mgnf2uzJRxhy3Qd+REL/SRDrg/tQRQPvgjst89NnmQae6fu41uWRfHuXIjBQi dlxwgkq634s6bJgrEI0Olu5s//cEmHEeYXwVlKelj0D/Yp3+f1pVimvZkFyTtuvA43 CIVesoilzt9b8Mb2fU9iwNg85iqNWz0Gnbir1t5Q= Received: from jellaby.local.deinprogramm.de (localhost [IPv6:::1]) by jellaby.local (Postfix) with ESMTP id D78088A79ACA for ; Thu, 15 Sep 2016 14:54:55 +0200 (CEST) From: Michael Sperber To: caml-list@inria.fr Date: Thu, 15 Sep 2016 14:54:55 +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 BOB has a heavy emphasis on functional programming, so OCaml talks 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