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 E45C65D5 for ; Fri, 29 Oct 2021 07:43:09 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.87,191,1631570400"; d="scan'208";a="1084042" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 Oct 2021 09:43:09 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0A0D9E0220; Fri, 29 Oct 2021 09:43:09 +0200 (CEST) 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 9D547E0072 for ; Fri, 29 Oct 2021 09:43:02 +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=None smtp.helo=postmaster@deinprogramm.deinprogramm.de IronPort-PHdr: =?us-ascii?q?A9a23=3A9QdYJxf8pvnr5+qcIu4ftK6KlGM+Kt7LVj580XL?= =?us-ascii?q?Ho4xHfqnrxZn+JkuXvawr0AWRG9+Ht7kd07uempujcFRI2YyGvnEGfc4EfD4+o?= =?us-ascii?q?uJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgp?= =?us-ascii?q?pPOT1HZPZg9iq2+yo9JDffRlEiCCjbb59Ixi6ohjdutUSjIB/Nqs/1xzFr2dSd?= =?us-ascii?q?e9L321oP1WTnxj95se04pFu9jlbtuwi+cBdT6j0Zrw0QrNEAjsoNWA1/9DrugL?= =?us-ascii?q?YTQST/HscU34ZnQRODgPY8Rz1RJbxsi/9tupgxCmXOND9QL4oVTi+6apgVRnlg?= =?us-ascii?q?zoFOTEk6mHaksx+grxGrhyvpBJwzYHbb52aOvdlYqPdZMkXSXZdUstLVSFMBJ6?= =?us-ascii?q?3YYsVD+oGOOZVt47zp1oSohu+HwajGufvwSJViH/uw6I6yf8uHh/c3Ac9GN8Oq?= =?us-ascii?q?2zUo8vvNKgJT++11rLFwijdYPNX3zf98JLIchcuofGWR71wdM/RxVMyGAzbl1i?= =?us-ascii?q?dr5HuMDyJ2OoXqWeb8/ZgWvy1i24hswx8rTihy8Msh4TGmo4Z1l/J+ThlzIs0K?= =?us-ascii?q?tC1S1N2b9CmHZVetCyUOYp7T8c/Tmx2pSo317MItJG7cSUWxpoqyQDSZvqaeIa?= =?us-ascii?q?G5RLjUfyeITZ+hH99Y72/gA298Uunyu36WMm4yktFoTRdntbWqn8Nyx3T6taZR?= =?us-ascii?q?fdk8UehwzGP1x3L6u1ePE87i6zWIIMizL4ojpceskfOEjXrlEjyj6KabEUp9+u?= =?us-ascii?q?y5+j6YLjrooeQOot6hw3kLKgjlM6yDf45PwUKRWSX5Piw2bLl8EbkWrtFlOc2n?= =?us-ascii?q?bPcsJ3CJcQUuKq5AwhN34k+9Rm/DjGm0MwCnXkAI1JFYgiIj43sO13UPf/3E/a?= =?us-ascii?q?/g1K0kDdxwPDGMafhDY/ILnjGirvuYKhy51ZdyAo1099f+4pZB7ICLf7pR0P8s?= =?us-ascii?q?N/VAgU5PgG32errFddw24cGVWKKGKCZMafSsVGS5uIoJumBfJQVuC7jJPg//PH?= =?us-ascii?q?hk2U5lEQAcqa33JsXbmi4Hu5hI0WWe3rjmNIBEWIQsgUjUuPmkEeCXiJLZ3auQ?= =?us-ascii?q?6I84Sk2B568AofGQoChmbiB3CagHp1KfW1GEVCNEXLwd4qeQfsMaSSSItVgkjM?= =?us-ascii?q?eT7ShRZUhhlmSs1rxwr9ja+7V4TEwtJT51dEz6feAuws18GlRDs+d2myJB1psk?= =?us-ascii?q?3kCSiV+iLtnrFZ3x02r3aV5heRCEtNJ7vZMFAs3Y82Ph9dmAsz/D1qSNuyCT0y?= =?us-ascii?q?rF43O6dAZQt8wxccUZElnEtCnyBzO3iyyGbgajbWOAdo4//CEt5AeD8pwynDez?= =?us-ascii?q?q4ulVAjR41DOD//7kaa3wTeBojRiUKWja+vcOIQ0XyVnFo=3D?= IronPort-Data: =?us-ascii?q?A9a23=3A6lVvzq0JvHubIixl5fbD5bxwkn2cJEfYwER7XOP?= =?us-ascii?q?LsXnJ0TlxhDEGn2AdWG/UaPuDa2unc9hxOoWwoU9Vv8TVz9ASHQtv/xmBbVoa8?= =?us-ascii?q?JufXYzxwmTYZn7JcJWbFCqL1yivAzX5BJhcokT0+1H9bdANkVEmjfvRH+KmWLa?= =?us-ascii?q?fUsxMbVYMpBkJ2UoLd9ER2dYAbeiRW2thiPuqyyHtEAfNNw1cbgr435m+RCZH5?= =?us-ascii?q?5wejt+3UmsWPpintHeG/5Uc4Ql2yauZdxMUSaEMdgK2qnqq8V23wo/Z109F5tK?= =?us-ascii?q?Nnrv6dFUQRbHINA2LzHZbWq66mB9NvCU31+A3OZLwa28H23PQzoA3lYUL7MPhI?= =?us-ascii?q?esqFvWkdOA1SAFVCStzJ4VK9b7BOWK4vtaaykiAf3aEL/BGVRlmYdVApo6bBkk?= =?us-ascii?q?VrKFHc2tWBvyZvMq9ybe/D+1tndgLN9juJIpZu3d6zDifA+xOfHxpa7GSsIceh?= =?us-ascii?q?CNp05gIReKEMpJfNC40OUyGPgkQb2kWLYZnxLL02D2mKWZMwL6OjaY64m7L1gt?= =?us-ascii?q?+yrHoNZzZd7S3qQxuth7wjgr7E67RW3n29eBzyAZpNlqgi+7JhTn8V5gbEbj++?= =?us-ascii?q?vNrhkWJwWMJARgTE1e2yRV8oiZSRPoHQ3H4OAJ3xUTxyKBvZtXwXhugunmLpBc?= =?us-ascii?q?ZXpxcHoXWLSmTn7HM7V/x6ncsF1Z8hR9PiCPybTAn11mRhdTmHzVqtfuZRBpxM?= =?us-ascii?q?5/8QSyaYUAoEIPJWcPIocbpLTUuTEHfQy8jlupeLZM=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3A38lJ/apGsh9m2oEsOgWSy64aV5oZeYIsimQD?= =?us-ascii?q?101hICG9Kvbo9fxG785rsCMc6QxhIE3I9urhBEDtex7hHP1OkPIs1NWZLWrbUQ?= =?us-ascii?q?KTRekIh7cKqAeOJ8SKzI9gPNBbHZSWZuedMbEwt7ef3ODxKadG/DGQmJrY49s2?= =?us-ascii?q?4U0dND1XVw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DYDwCnpXthZLM6xlhagQmDVIEmVzoxh?= =?us-ascii?q?EeJA4gNFFiQd4pYgWgLAQMBDTUKAgQBAYILhUoeBwEENBMBAgQVAQEFAQEBAgE?= =?us-ascii?q?DAwQBBIEfhWgNgjUihA8GHQEBJgUNLAgCBRMOAhEBBDVAgg1MgwsBCq5wgTGBA?= =?us-ascii?q?ROBdQEBBoE+AYYgCYEQKowxgiiCDYEVNoFWgVyBBYFHFwECgSoBEgGDOYJljVk?= =?us-ascii?q?BBWwrLQESFhEjBAEBcR8BMQMMCQUGLh8IAzqRWgkpqwOBJIIQgSwFg2+GV5Rgg?= =?us-ascii?q?2yBSYoohhSRNZYOjHKUG4UbgXgia3AzGggcFDuCaQlIGQ9WAY1ggQ8BAoJ8iio?= =?us-ascii?q?DPzM4AgYBCgEBAwmFPQyNJgEB?= X-IPAS-Result: =?us-ascii?q?A0DYDwCnpXthZLM6xlhagQmDVIEmVzoxhEeJA4gNFFiQd4p?= =?us-ascii?q?YgWgLAQMBDTUKAgQBAYILhUoeBwEENBMBAgQVAQEFAQEBAgEDAwQBBIEfhWgNg?= =?us-ascii?q?jUihA8GHQEBJgUNLAgCBRMOAhEBBDVAgg1MgwsBCq5wgTGBAROBdQEBBoE+AYY?= =?us-ascii?q?gCYEQKowxgiiCDYEVNoFWgVyBBYFHFwECgSoBEgGDOYJljVkBBWwrLQESFhEjB?= =?us-ascii?q?AEBcR8BMQMMCQUGLh8IAzqRWgkpqwOBJIIQgSwFg2+GV5Rgg2yBSYoohhSRNZY?= =?us-ascii?q?OjHKUG4UbgXgia3AzGggcFDuCaQlIGQ9WAY1ggQ8BAoJ8iioDPzM4AgYBCgEBA?= =?us-ascii?q?wmFPQyNJgEB?= X-IronPort-AV: E=Sophos;i="5.87,191,1631570400"; d="scan'208";a="1084004" X-MGA-submission: =?us-ascii?q?MDH9B8Bk23wgKbLtX542Lag/HxwlwTyKreDQ2M?= =?us-ascii?q?cHtFdmqsNUSQK7nUYVMpGVi70r+dFqNUbFqNt1dc5VsaLl+506Na8GgW?= =?us-ascii?q?nDlfXVYn+gHHtTp3RMbmYnMlhSvSXGVlJeCOwTNQ7doPpRpj9iFeFsIi?= =?us-ascii?q?zqba/c6Y3g69zu1AkY021O3A=3D=3D?= Received: from deinprogramm.de (HELO deinprogramm.deinprogramm.de) ([88.198.58.179]) by mail2-smtp-roc.national.inria.fr with ESMTP; 29 Oct 2021 09:43:03 +0200 Received: from valmont.fritz.box (p5ded4568.dip0.t-ipconnect.de [93.237.69.104]) (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 0F8252ADC897 for ; Fri, 29 Oct 2021 09:43:01 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=deinprogramm.de; s=default; t=1635493381; bh=+NMfZkQEzQCGrP9EflOG90Bvi8el92zwwgqMF5PjUeo=; h=From:To:Subject:Date; b=eQI6ttR+oFi3bHMvLsK0gcvIGXjjZlYB3UPF7Kd42nSiuCaQq5zZpxuqT5MD/m4Dv Z9m7ZB9Xs6IpbBcS/DJgEYpAoPk21Dfas0pbjQYVEwpW8iKVa2BpROsJm7BnVtd13V CjiImQArydY+XpeTipC2fAZZ8XKeZK4Nd9K7NuHg= From: Michael Sperber To: caml-list@inria.fr Date: Fri, 29 Oct 2021 09:43:00 +0200 Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.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 2022 [March 11, Deadline Dec 6] Reply-To: Michael Sperber X-Loop: caml-list@inria.fr X-Sequence: 18608 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: Please send us some OCaml talks! =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D BOB Conference 2022 "What happens when we use what's best for a change?" http://bobkonf.de/2022/cfc.html Berlin, Mar 11 Call for Contributions Deadline: December 6, 2021 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D You are actively engaged in advanced software engineering methods, solve ambitious problem with software 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 expect we'll be able to hold BOB 2022 in Berlin. If that is not possible, we'll make BOB a successful online event, like BOB 2021. 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. 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 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 able to attend the conference for financial reasons. 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 - "fancy types" (dependent types, gradual typing, linear types, ...) - formal methods for correctness and robustness - abstractions for concurrency and parallelism - metaprogramming - probabilistic programming - math and programming - controlled side effects - program synthesis - next-generation IDEs - 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. Challenges ---------- Furthermore, we seek contributions on successful approaches for solving hard problems, for example: - bias in machine-learning systems - digital transformation in difficult settings - accessibiltity - systems with critical reliability requirements - ecologically sustainable software development 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: December 6, 2021 - Notification: December 17, 2021 - Program: December 22, 2021 Submit here: https://bobcfc.active-group.de/en/bob2022/cfp Program Committee ----------------- (more information here: https://bobkonf.de/2022/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