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 375B55D5 for ; Wed, 28 Oct 2020 09:45:56 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.77,426,1596492000"; d="scan'208";a="474652372" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 28 Oct 2020 10:45:54 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id F2D90E0216; Wed, 28 Oct 2020 10:45:53 +0100 (CET) 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 8AD3EE01D2 for ; Wed, 28 Oct 2020 10:45:46 +0100 (CET) Authentication-Results: mail2-smtp-roc.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=3AK62MYRXwpDwH0veanc4y2rM0YDPV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbRaPt8tkgFKBZ4jH8fUM07OQ7/m/Hz1Yqs/Y6TgrS99lb1c9k8?= =?us-ascii?q?IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBo?= =?us-ascii?q?KevrB4Xck9q41/yo+53Ufg5EmCexbal9IRmrrwjdrM0bjZdtJqos1xfFv2ZDdv?= =?us-ascii?q?hLy29vOV+dhQv36N2q/J5k/SRQuvYh+NBFXK7nYak2TqFWASo/PWwt68LlqRfM?= =?us-ascii?q?TQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4qx2RhLklD?= =?us-ascii?q?sLOjgk+2zRl8d+jr9UoAi5qhJ/3YDafY+bOvlwcazSYdwUSnFMXtpIVyFbHo+w?= =?us-ascii?q?c5ECAugHMO1Fr4f9vVwOrR6mCAerBePg1j9IiWXo0q0+zu8vDBnG0xI6H90Vrn?= =?us-ascii?q?vUtsj+OaAJUeCt0qbI1y7MYO1M2Trm9YfHbBEhofeUXbJqdsrRxlMvGBnAjlWV?= =?us-ascii?q?s4DqIi2a2/0LvmOG4OVuSfihhHQ7qwFtvDev3MEsh5HGi4wVzl3J9Sp0zJopKd?= =?us-ascii?q?C3VUJ3fd+pHZRTuiyHOYV7QM0sTmJmtis7zrALpIC2cDUXxZopyBPSa+CKfYaG?= =?us-ascii?q?7x/9UuuaPDl2hHVgeL2lhhay91Ctxfb7Vsav01ZKqSxFktfWun8QyRPf8tKIRe?= =?us-ascii?q?dh/kegxzaAyRnf6u5eIUAziKrbM4QtzaMumZcVrE/NHTf2lV31gaKVbEko5+yl?= =?us-ascii?q?5uf9brjmpZKQLZJ4hwP6P6g2h8CzHeA1PhIBUmSG4+ix1bzu8VfkTLhOj/A7lL?= =?us-ascii?q?TSvorAKsQBvKG5BhdY0oY95Ba7CDeryMkXkmcGLFJDYBKHlY/pO17UIP/iCPe/?= =?us-ascii?q?hk6gnyp1yPDHOL3hGo/NLn/MkLf7Z7l97ktcxBAuwt9B/55UC7cBL+zvWkLpt9?= =?us-ascii?q?HVDQU1PxGwzuvkEtlw1oATVXiSDqKbNK7eqVqI6fguI+mIao8VojH9K/096v71?= =?us-ascii?q?lX82h0UdcrK30psNc323A+ppI0SfYXr0mNcBFmgKvhAkQ+zvjV2OSyNcaGiqU6?= =?us-ascii?q?Im+j47EJ6mDZvERo21nLOOxiK7HplPamBCC1CMCmvoep6fW/YMbSKSOtVuniYF?= =?us-ascii?q?VbinUY8h1AuhuBX0y7p9faLo/XgTvJfnkdx0/PH7lBco9DUyAd7O/XuKSjRRn2?= =?us-ascii?q?gITjIylJtnrFZ3x03LhbNgjuZSGMZ76/5IVB8gMpHGxul/Tdz/DFGSNuyVQUqr?= =?us-ascii?q?F431SQo6Scg8lodXPxRNXu66hxWG5BKERqcPnuXUVpA586TExX/+Pc94zjDK2f?= =?us-ascii?q?t51gh0co50LWSjw5VH2U3WDo/NnV+ekv/1J6gR3SjV7mCM12OLuQdUXVwpCPiX?= =?us-ascii?q?bTUkfkLT6O/ByAbCQrupUux1PgZAz9aYLaRQY9jsy1lLRfH7ItPReWu0niG8CE?= =?us-ascii?q?TQyw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A7BwC+PJlf/7M6xlhggQmBUYF5gR9WM?= =?us-ascii?q?i2EPYkFCYgTkA2KIIFpCwEDAQ0jCgIEAQGBVYR9HgcBBDUFDQIQAQEFAQEBAgE?= =?us-ascii?q?DAwQBbIVhDII3IoMyCwYdAQEmEiwIAgUTDgIRAQQpDEAJgjlMgwABCqAqiVuBM?= =?us-ascii?q?oETgXEBAQWBMwGBGIRvCYEOKoswgiSCAIERgW4NgVOBBIFBFwECgSkBEgGDOIJ?= =?us-ascii?q?fkDQJKZYRkRqBaYEMgxiFb5IbhEGNfo8hnjiVbIFsImdwMxoIHBQ7gmkJRxkNV?= =?us-ascii?q?gGNYIENAQKCfIokAkAzOAIGAQkBAQMJWI1wAQE?= X-IPAS-Result: =?us-ascii?q?A0A7BwC+PJlf/7M6xlhggQmBUYF5gR9WMi2EPYkFCYgTkA2?= =?us-ascii?q?KIIFpCwEDAQ0jCgIEAQGBVYR9HgcBBDUFDQIQAQEFAQEBAgEDAwQBbIVhDII3I?= =?us-ascii?q?oMyCwYdAQEmEiwIAgUTDgIRAQQpDEAJgjlMgwABCqAqiVuBMoETgXEBAQWBMwG?= =?us-ascii?q?BGIRvCYEOKoswgiSCAIERgW4NgVOBBIFBFwECgSkBEgGDOIJfkDQJKZYRkRqBa?= =?us-ascii?q?YEMgxiFb5IbhEGNfo8hnjiVbIFsImdwMxoIHBQ7gmkJRxkNVgGNYIENAQKCfIo?= =?us-ascii?q?kAkAzOAIGAQkBAQMJWI1wAQE?= X-IronPort-AV: E=Sophos;i="5.77,426,1596492000"; d="scan'208";a="474652315" X-MGA-submission: =?us-ascii?q?MDHuK+9k292ez0q7DZPZ+mP4b9/3u7X1wAXx+d?= =?us-ascii?q?VhwUobdg55khDWEq12RQV11exUVgopoII47i9qz0so+Q80uFlnWbIruX?= =?us-ascii?q?1C7p2vuxsvpcdH2MuDT3/Wwd178pyvBF+wexEwaIjpo+UrUs9DEMyZH3?= =?us-ascii?q?kzJSaDnK6UJnMGWdE69UEjHg=3D=3D?= Received: from deinprogramm.de (HELO deinprogramm.deinprogramm.de) ([88.198.58.179]) by mail2-smtp-roc.national.inria.fr with ESMTP; 28 Oct 2020 10:45:45 +0100 Received: from valmont.local (ip-109-41-66-196.web.vodafone.de [109.41.66.196]) (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 B40AE2AE1A9F for ; Wed, 28 Oct 2020 10:45:43 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=deinprogramm.de; s=default; t=1603878343; bh=p6zA/pYWxQKZ/f1715NGzRCKb4Ht4oud7YbwHkd/98c=; h=From:To:Subject:Date; b=bdWV2XPLItlfgoJ9VmN/tp2U6shlrjtF3lfu5gL6zR7tSd0vIqrXewnHeA224U6eu blY+xqVnYF0dQSqRH5vpngOmfF10yOVbKIjTmG/u7On5gWZj1XmayEbL+nX9GVxT1f WQsKE1AqYK9JicBLD/tA/KRI4XKLLI6hLh6gVVCA= From: Michael Sperber To: caml-list@inria.fr Date: Wed, 28 Oct 2020 10:45:39 +0100 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 2021 [Feb 26, Deadline Nov 13] Reply-To: Michael Sperber X-Loop: caml-list@inria.fr X-Sequence: 18277 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: Send us your OCaml material! BOB Conference 2021 "What happens when we use what's best for a change?" http://bobkonf.de/2021/cfc.html Berlin, February 26 Call for Contributions Deadline: November 13, 2020 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"). Online or Onsite We do know yet whether BOB will happen onsite in Berlin or as an online event. Should BOB happen online, we will likely ask for pre-recorded talks to make room for questions and social interactions during the actual conference day. (Of course, we'll provide assistance making those recordings.) Tutorials will likely happen as a live-session. Speaker Grants -------------- BOB has Speaker Grants available to support speakers from groups under-represented in technology. We specifically seek women speakers, speakers of color, 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. Specifically: - advice on structure and presentation - review of talk slides - assistance with recording - review of recording, if applicable Topics ------ We are looking for talks about best-of-breed software technology, e.g.: - functional programming - persistent data structures and databases - event-based modelling and architecture - 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 - =E2=80=A6 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) - Don't be confused: The system calls a submission event. Organisation ------------ - Direct questions to contact at bobkonf dot de - Proposal deadline: November 13, 2020 - Notification: November 27, 2020 - Program: December 6, 2020 Submit here: https://bobcfc.active-group.de/en/bob2021/cfp 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, Hochschule Offenburg Scientific Advisory Board - Annette Bieniusa, TU Kaiserslautern - Torsten Grust, Uni T=C3=BCbingen - Peter Thiemann, Uni Freiburg