From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver= Authentication-Results: plum; dmarc=fail (p=none dis=none) header.from=deinprogramm.de Authentication-Results: plum.tunbury.org; dkim=pass (1024-bit key; unprotected) header.d=inria.fr header.i=@inria.fr header.a=rsa-sha256 header.s=dc header.b=Axf1ggc0; dkim=fail reason="signature verification failed" (1024-bit key; unprotected) header.d=deinprogramm.de header.i=@deinprogramm.de header.a=rsa-sha256 header.s=default header.b=Wh5Sq59D; dkim-atps=neutral Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id 9C951B80123 for ; Wed, 2 Oct 2024 13:24:44 +0100 (BST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:to:date:message-id:mime-version: content-transfer-encoding:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=8HbpExTEdlnNV9L8aIaHbWOB33GJ1NJYMdo+0vD2EVE=; b=Axf1ggc0Ct0NT2cGaYSJAhL+rc2uIa9wBI1g602shsEfK/mzZ2N/wDps URIxhO7JpUWEMzTIJFgvMGVfbvNm/ArIIeHhXyBjELqN6rwt7Mc6h0T/l oV+/RnJB+0lmp+gL5utFZ+aDWfogiBfn/tMWP8Igm584BSAl2mBL5n44D I=; Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr designates 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 include:mailout.safebrands.com a:basic-mail.safebrands.com a:basic-mail01.safebrands.com a:basic-mail02.safebrands.com ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only Authentication-Results: mail2-relais-roc.national.inria.fr; spf=Pass smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@deinprogramm.de X-IronPort-AV: E=Sophos;i="6.11,171,1725314400"; d="scan'208";a="186516235" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Oct 2024 14:24:44 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 292F2E00B7; Wed, 2 Oct 2024 14:24:44 +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 CA28DE0035 for ; Wed, 2 Oct 2024 14:24:39 +0200 (CEST) IronPort-SDR: 66fd3b87_Hv1gaFq8rYv8j66ST/0rimGFS55J/cH9ipeHtQCBhVbBCAy /TvZtA4lS1ss/T70zC4RkJ8Nn8AXHlMSVlglucg== X-IPAS-Result: =?us-ascii?q?A0EqsQBEOv1m/9Oqd6haHQEBPAEFBQECAQkBFYFRghooB?= =?us-ascii?q?3ZaESIHCEgDhFODT4UtCYhqni2Bag8BAwENFAIBAg4SCAECBAEBAwEDggyND?= =?us-ascii?q?wIfBgEENBMBAgQBAQEBAwIDAQEBAQEBCAEBBQEBAQIBAQIEBgECgQoIC4U1R?= =?us-ascii?q?g2CXIEsgSUBAQEBAQEBAQEBAQEBHQINgSEGHQEBJgUNLAgCBSECEQEENECCE?= =?us-ascii?q?FmCZAMEDQaxE4EygQGCDAEBBoEIPgXcNgMGgRouAYhKAYVmhR4bgg2BFYJ5b?= =?us-ascii?q?4EFgUUXA4EqARIBg3yCaYFYhQUQGYNFgRKBVYFOSBaBcx0MEyl5dgIGFlMIC?= =?us-ascii?q?QoEJoEMJGQYgSZEgw58IwKBIoUegwuHVCWJbYFNeCECEQFVExcLCQWJOIMmg?= =?us-ascii?q?hSEFYFxgzSBZwlhiVaBPoFZgzhKhUZHP4JRa045Ag0CN4IogQ6CWYNkgRWBN?= =?us-ascii?q?B1AAwttPTUUG60AgVtIgWIBBWwrLQESFhEnAnEgMQMMCQUGLio6kmcMLrEOg?= =?us-ascii?q?T6CPoFkBYRqhyeVc5dMknyIAZB1jXuVZYU9gX4maXAzGggcFDuCZ1ILDg9Xj?= =?us-ascii?q?WGBFwECgkkzvlUDQTUPLAIHAQoBAQMJhUQBA4ZBgUsBAQ?= IronPort-PHdr: A9a23:atGbqReODR/cZL0JhLyeA3wYlGM+tdTLVj580XLHo4xHfqnrxZn+J kuXvawr0ASRG9+CurkY1aL/iOPJZy8p2dW7jDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTezfb9+N gu6oRjVu8UZjoZvK7s6xwfUrHdPZ+lZymRkKE6JkRr7+sm+4oNo/T5Ku/Im+c5AUKH6cLo9Q LdFEjkoMH076dPyuxXbQgSB+nUTUmMNkhpVGAfF9w31Xo3wsiThqOVw3jSRMNDsQrA1XTSi6 LprSAPthSwaOTM17H3bh8pth69dvRmvpQFww5TMbY+VKvRwY63Tc9AUSmVOQslfWDdMAp+lb 4YVE+YNIfxVoov7qlATrRW+Hw6sBOb3xzFPh3/5wa063P4/HgHCwQcuAsoOv2rOrNruKqgSS /2+wa7TzTXbcfxWwyzy55bSch06vP6DQ7NwcczJyUk1EAPFgU+QppbgPzOQzOgCrnaU4vNmW OmyhGEptxt/rSKzxscwlIbJnIQVx0jK+yh2w4s4O922RU16bNOlDJdcqTyXOoVrTs4sTW9lv CQ3x6AJtJKlYiUG1JsqywPDZ/CZc4aG7AzvWfqPLDp2gn9uZbyxhxG38Ue6y+38UNG5301Nr iVekdnMsXYN1xLJ5seaVPRx5l+h2SyR2ADP8O5EJU81mbDHJJ4mx749kIcYv0fbHiLuhUn7j aybel859uS17+nreKjqq52AO4NulA3yL7kiltSxDOk6KAQCQWeW9f6h2LH++UD1WqhGg/kqn qTfrZvXO8AbprOiAw9JzIkj8QuxDzan0dsGhXQLMFRIcw+dgYfzIVHBOvX4AO+/g1uylDdrw OjLMaD/DZXMKHjDiK3hfbFy605G0gUzyNVf64hJBb4fOP7zW0nxu8LEDhIhLgC5wuXqBM9g2 o8DXW+DGLKVPaHOvVOS+O4jPvSAaJcQuDnnKvgl4/DujWU+mV8YZaSpxoMXZ26iHvt9PUqZe 2HhjcofHmcLuAo+VPbqiFqNUT5JfXmyWqc86ismB424FYvDQJuij6Sb3CinBp1WenxGCleUH Hv1b4mEQesDaDqOIs99lTwJTaSuRJUk1RGqrQP6z7tnLvHI+iADrpLi1N115/XJmh0o9Dx0C d6d02CXQG1ukGMIXWx+4KcqqkV4zhKH0LNkq/1eD91aof1TASkgMpuJ6u1xC9n/Xkr6ZtqTQ lu8CoG9GTwrRN8r69MDYkBlAdKtlBnG2mymDulGxPSwGJUo//eEjDDKLMFnxiOevEFAp1wvQ 88VcHajmrY67Q/YQYjAj0Seka+uM6Uaxi/EsmmZniKVpE8Ndgl2XO3eWGwHIFPMpIHi/k7YR bK0IbgqMw1Z08mNMKJPb5vlgAYOX+/tbezXeHn5gGKsHVCNz7KIYpDtfjAGxCjHAkUeuwwe/ HCeLw8xHC6kpiTSAW8mDkrhNnvl6vI2s3anVgk0wgWNOlVmzKaw8wUJiOa0R/4S2Koevyg7o jBxWlqwtz7PI/yHoQcpPKBVYNdnpUxCyXqcrQt2eJqpM6FlgFcaNQVxpULnkRttWM1GloAxo XUmwRAXS+rQ2U5ddz6ewZH7O6HGYmj08he1bqfK21bYmN+I86YL4f48ph3tpgasXkYl9nxm1 ZFS3R7+rt3RFAcIW5/reko69h5ivbbVeCA44sXY2DwkMKW5tCPDx8N8HPEsmXPCN59UNKKJE hO3EtVPXpb+brVzyh7wMUpCZrkLp8tWd4u8evCL2bCmJrNllTOi1yFc5Zxll1iL/Gx6Q/LJ2 JAMx7eZ2BGGXnHylgTE0Ii/lIZaaDUVBmf6xzLjAdsbfbV/Z4wGE0+iLsyx3s95iITkXnse+ FPpVDZkkIe5PAGfaVDwx1gazlwau3aqgwO0wj1yiysuobCW2SmIz+moJ39lciZbAWJli1nrO 429idsXCVOpYwYenxyg/U/mxqJfqcyTNkHrSFxTN2jzJmBmCO6rs6aaJtRI49UuuDlWV+K1Z RabTKT8ql0UyXGrE2xbzTE9Pzak3/ex1wdihXiXIWxboHfYf9lqwhjF7dnZA/JcljYLXyh3j zDLC0P0Zof5u4zNxtGa7bj4DTv4HpRIFEujhZuNri66+XFnDVWkkva/l8emWQk23Cnn1sV7A CDBrRLyeI7uhMHYeapsekhlAkO56tIvQ98u1NJp1ddJhiBc3MzMrh9l2S/pPN5W2Lzzdi8IT D8PmZvO5RT9nVdkJTSPzp74UXOUxo1gYcO7ayUYwHFYjYgCBaGK4bhDhSYwrEC/qFebeuBwh D0Q09Mi5X8cm/sOtxAkyyDbDr1YTiw6dWT80g+F6dyztvAdf36ia7K9zmJykNGnFKuFrRtVX XO/dppoTkoSpo1vdVnL1nP08ITtftLdOMkSuhOjmBDFl+FJKZg1m6lClW99NGn6p3Fg1/8jg Ekkw8ShpIbeYTYInurxEltCOzbyfc9W5jz9kfMUgJONx472VpwpHyVDXYO0H6v2QHRL7KWhb lnWVmdl8z+NEL7bV2dz8W9epmnUW9CuPnCTfjwCyMl6AQOaLwpZiRwVWzMzmtg4EBqrzYrva hUx6jcU71/+4hxCr4AgfwH4SXvarRy0Zy0cRJWeKgJM6Q5Y7kLQd8CTpu5+BCBX+JS9oRfFc zLLIV0RXCdQBRTCXQm6drC1gLuIu/CVHO+/M+fDbf2VpOpSWu3JjZOj3416/iqdY8WCOn4xR /Y/20dFQTV4A5GAxWVJEnVG0XuSN4jB/U7vn08/5tqy+/nqRg/1sI6GCr8IdM5q5wjzm6CIc eiZmCd+Lz9ckJIK337BjrYFjztww2ljcSegFbMYuGvDVqXVz+VMFxMBYS5pHMdF7qQkxA5CI 8fej5X52/Qr65x9Q0cATlHnlsyzMIYSJHqhMVrcGEuRHLiLJDvT2cb4e6q5TPtcga8H0n/48 SbeGEjlMDOZkjDvXB36KuBAghaQOxlGsZ28eBJgWiDzCcjrYRqhPJprnCU7lPcq02jSOzdWY l0eOwtd66ed5iRCjrBjFnxduzB7ePKclX/R5qHdOt4Xqac5W3ok0bsDsTJjlOMTtngdDOp8n C+YxjaLi12rk++X0D1oShNLr3BHidDT1a2NEanU959YQ3HL5hsI6COcBkZTzzOEItHiuqZI0 N/Ajqv2LXFO/oCNlfY= IronPort-Data: A9a23:0nwY1K7oUavuVNx+NhzjjQxRtAPGchMFZxGqfqrLsTDasY5as4F+v jNKCmvVMvyMamqjet1xaty+9kgBup7dm95iTAZr+S00Zn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOC6UoYoAwgpLSd8UiAtlBl/rOAwh49skLCRDhiE0 T/Ii5S31GSNhXgtawr414rZ8Ekz5ayq4mtC1rADTakjUGH2xyF94K03fvnZw0vQGuF8AuO8T uDf+7C1lkuxE8AFV7tJOp6iGqE7aua60Tqm0hK6aID+6vR2nRHe545gXBYqhei7vB3S9zx54 I0lWZVd0m7FNIWU8AgWe0Ew/y2TocSqUVIISJSymZX78qHIT5fj6/hkN1E5ZoI8wctyOUBy7 qIJLSgGQw/W0opawJrjIgVtrsguLc/zJoQQoHhlyHfVAJ7KQ7iaHfWMvIYJmm5v3oYURK+2i 8kxMVKDaDzbexBVMFoNIJ4zneGwnH7waTRdrRSZqMLb5kCKnFIsiea3aIe9ltqieeMPpFacg mz9+EPWXS5DPc6ayGaryyf57gPItWahMG4IL5Wz//tuxVmS3XA7EwwTTVL9oP+ji0f4Vcg3F qAP0iYjrK4q7kukVND4Wlu0rRZooyIhZjaZKMVigCnl90Yey13x6sUsF1attPROWA4KqT0WO puhk97oAyR1t7KPQHeYsLuZxd93ETZANncMPEfoUiNci+QPYqlq5v4McjqnOKK4j9vtAzb/2 TmPqW4yit3/SOYVgr6j8wmvby2E//D0o81c2ukTdm6o7wVhfomqfYWt7B7X4J6s6Wpfokap5 BA5piRV0AzC4VxhWsBArCXh0YxFP8q4DQA= IronPort-HdrOrdr: A9a23:itT6aarxlt0NrD4eAr0W8u0aV5o6eYIsimQD101hICG9Ffbo8v xG/c5rtyMc7Qx6ZJhOo7690cW7LE80lqQFgrX5X43CYOCOggLBR72KhrGM/9SPIUHDH6JmtZ tdTw== X-Talos-CUID: 9a23:btYp4WDXmY3N6dr6EyRtz14bQc8BSVDY9FbsOBGpDH5iZaLAHA== X-Talos-MUID: =?us-ascii?q?9a23=3A/8CTtQ/rnAQiVq6NsU67MIeQf/tOuZ6+DGQDqpI?= =?us-ascii?q?hlJa7bCViPjbBog3iFw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.11,171,1725314400"; d="scan'208";a="186516205" X-MGA-submission: =?us-ascii?q?MDGwYE6x+oqkzV+Bj8vHNvlYeRE/TVMKu8Iu9i?= =?us-ascii?q?BBzAPCYin4bvqfWOYIXbqShOcTvVG2nsoG8kgJR0X6Ob7zUTws65Y6i5?= =?us-ascii?q?MRmS82yaJ8CQa1fTn4Y99bRG1LIZ8AwAenNVDnqzpcOiTNvPc8kBVLxw?= =?us-ascii?q?3tN+LSE6PsCbd8yqGvl6+SeA=3D=3D?= Received: from deinprogramm.de ([168.119.170.211]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 02 Oct 2024 14:24:37 +0200 Received: from Tourvel.home.active-group.de (ip-037-024-119-190.um08.pools.vodafone-ip.de [37.24.119.190]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by deinprogramm.de (Postfix) with ESMTPSA id 70E31849BB0 for ; Wed, 02 Oct 2024 14:24:28 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=deinprogramm.de; s=default; t=1727871868; bh=xtcGw/Hg7vVu3paaVYs1GaZYadW2vP5Kl09obMaJpLY=; h=From:To:Subject:Date; b=Wh5Sq59DUS1CrbzlGuMnOaDdhyAvyWF/dSO7fOMxHdbmsj555rHkoY924SqGHSWME vJtwt73BdDHxpFFS01Ptv3F5Htm/Al+Z7EMvkb58D41i6Xlq17toSXbQXjilpmYeG4 ABLYKISwxc1+3POjebezYcASYHwcs3aFXE9DyHkg= From: Michael Sperber To: caml-list@inria.fr Date: Wed, 02 Oct 2024 14:24:28 +0200 Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Call for Contributions: BOB 2025 (Berlin, March 14 - Deadline Nov 15) Reply-To: Michael Sperber X-Loop: caml-list@inria.fr X-Sequence: 19183 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: OCaml content as always very welcome at BOB! =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 2025 "What happens when we use what's best for a change?" https://bobkonf.de/2025/cfc.html Berlin, Mar 14 Call for Contributions Deadline: November 15, 2024 =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"). 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 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 - =E2=80=A6 includeing rough ideas worth discussing. 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) Organisation ------------ - Direct questions to konferenz at bobkonf dot de - Proposal deadline: November 15, 2024 - Notification: December 4, 2024 - Program: December 11, 2024 Submit here: https://pretalx.com/bob-2025/submit/ Program Committee ----------------- (more information here: https://bobkonf.de/2025/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