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 1B0C65D5 for ; Mon, 24 Jan 2022 17:21:52 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.88,311,1635199200"; d="scan'208";a="17686276" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 24 Jan 2022 18:21:51 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id C8F6AE028F; Mon, 24 Jan 2022 18:21:50 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id D1C3DE00CE for ; Mon, 24 Jan 2022 18:21:44 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sperber@deinprogramm.de; spf=Pass smtp.mailfrom=sperber@deinprogramm.de; spf=Pass smtp.helo=postmaster@deinprogramm.de IronPort-SDR: e3Js7+bAYRAnVMGpLX6ND28xLfCYrXfYD9uj32nL7qkaQUJuLnPIqv9Zwm1Vh9ndAiOEz3vWD0 7Tn2PrcgGyReaqL3bLw9ZIOhkAxeC3s/xD73ompVlTwUo/J7AncVV8fdoLZEidszrky/Dydvkf Yj4rAgPJtywj7feSWe77DpiLGzAsgl9TxKrASlvZ6ofgqQcv7Bk7uwJv9pxrkPwtAtsDabuCK9 X7XZQB3oglfoT/HhVU8L6H69eyPMCmsfy2G2/RxkhtzUinqPWaUuFFG0XoyIT4j9XskMD1ZWLA /tk2Spj9YXN36RyKbupnycPX X-IPAS-Result: =?us-ascii?q?A0B9BgC/3+5h/9Oqd6hagQmDWigHd1crBwgxhEmJA6ZeC?= =?us-ascii?q?wEDAQ0xDQECBAEBghCGUQIeBgEENBMBAgQBAQEBAwIDAQEBAQEBAwEBBQEBA?= =?us-ascii?q?QIBAQIDBAGBCC1kaIFPgXQLNA2CNSKEDwYdAQEmEjQCBRMOAhEBBIMCX4MWB?= =?us-ascii?q?AuscIExgQGCCAEBBoE+AYYlAwaBECqKB4RTHIINgUuDMoEFgV4DgU1fgkuCZ?= =?us-ascii?q?ZF4ewKBEAFAk1mtN4IXgTgFhAeGc5UKliiRUZZHij+CS5lZNYFDJYFZMxoIH?= =?us-ascii?q?BSDJE4BAgECDQECAgMBAgECCQEBAo40hA2KKgJAMzgCBgEKAQEDCQGCOoMCC?= =?us-ascii?q?AEDinEBAQ?= IronPort-PHdr: A9a23:iDarrRHTj0olMJiJ3pdeep1Gf2pGhN3EVzX9CrIZgr5DOp6u447ld BSGo6k31hmTAM6Cs6oMy7KP9fy6ACpYudfJmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnF t9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+M gu6oR/PusQWjoduN7o9xgfUqXdMZ+ha2HlkKF2Nkxrh/Mu84IJv/yFNsP896sBMVrn3cb4lR rJCFjQmNG415MzvtRbdSAaE+2URXGYLnBdWGgbJ9B71UIv/vSv8rep9xTKVPdbqQrAuWDSt9 LlkRRn1gyoaLTE58WXXisttjKJHpR+quhJyz5LIbIyTKfFzeL7Wc9EHSmpbRstfVzJPDJ6yY YUMAeUOMvpXoYbmqlsStBuzHxWgCP/1xzJKgHL9wK000/4mEQHDxAEuGNMOv2jUrNrvKqgSV f2+wrTQzTrddfNZwiny6JLVeR0muvGMRax/cdDKxkYxDQPIlUifppLkPzOTzuQNqW+b7+V6V e21jm4nrht9rSWxyco1jITCm40axEze+ypj3IY1OcO3SFR9YdO8DZZdsyWXOYV1T888XWxmt ik0x6EYtJO1YiQH1JUqyh3bZvCaboWF4BPuWPiSLDp6h39oeqyyihS2/EWu1uDxWc+520tEo CpCl9nDrHEN1xrL58ecTfty5USh2TGJ1wDd8O1LPF47mKzGIJAi2r49jocfvEXAEyPshUn6k aubel859uWq9+jreKvqqoKBO4NsjgzzPL4iltKxDOk6KAQDXmuW9f6h2LDh/ED0RqhBgOcsn anDqp/aINwWpq6nDA9R1YYu8wuwACmn0NQehXkHNlVFeB2dj4fzPlHOJer0AuqhjFi0kTdrw e7JPqH5D5nQL3XOk63tcatg50NY0gY/0NJS645OBr0fPf7/R1f9tNnCAR84Nwy0zfznCNJ41 o4GQmKPGrGWMLnJvlCW/OIiOPSDa5EUuDb7M/gl/fnujXAjmVAHeKmp2IEbZ22mEfh+OUWWf WLsgssdEWcNpgcxUPbliFiGUTJKY3ayXrk85i0gBYK9DYbDQ5itj6ab0Ce6GJ1WfGFGBUqWH XfmbYXXE8sLPSmbJ8sklj0fSZCgTZUg3FegrlzU0b1ie8/V8S0RuJar78B4/efej1lm7iR5F c6QyUmBQmByhnkPSCU/2aU5rUErmQTL6rRxn/ENTY8b3PhOSApvbfY0rsR/AtH2AUfae8uRD U2hWpOgCC0wSdQ4x5kPZVx8EpOslEOLxDKkVpkSkbHDH5ko6uTExXGkPN5w0XzLzoEtglggW tFIOnevg6s5+wWAT5XRnRChnr2xPb8ZwDaL8W6CyWSUu0QNSxZ9S6/IR1gTa0rQtc7+6VnLS rroBbl0ehBZx5u6I7BRIsbskU0ARPrnP4HGZHmtnm6rGRuS7r+BbYzyYWISxizYDQ4Inmj/5 F6gMg4zTmekqmPaV3l1EE73Jljr6a94oW+6SUk9y0eLaVdg3vy74Exdg/vUUP4V0r8e3UVp4 zxpAFaw2c7XANuctkJgeqtbe9Y0/FZA0yrQqQV8OpWqK60qiEQZdkx7uEbn1hM/DYsl84Bit 2sn1gB/M4qU3VJHbymf0or5P7iRJmSztBGjZqjK203Phc6M8/RqirxwoFHisQe1U0s6piw5g 58Miirav8qSSlBLCMGUMA5/7RVxqrDEbzNo4orV0SYpKqyoqnrZ3MpvAuI5yxGmdtMZMaWeF Qa0HddJYqrmYOEshVWtaQoJee5I86thddi+euGM1bSDMOthmiq8imtd6YV4lE6BvXkZKKaAz 9MezveU0xHSHSzkgU2rv9rflY1FYykIGWWlwC3hQoJcLP4XH85DGSKlJMu5wc97jpjmVitD9 VKtMFgB3degZRuYa1GVMRR47U0MujTnnCK5y2cxiDQ1tu+E2zSIxe3+dR0BM2oNRW94jF6qL 5Lmx9wdWUGpaUAumn7HrQ7h36VBrqllB2XeQEFQZS/5NWhnV+28u/KObtVO55UhrShMGL3iM RbDE++7+kRClXm6RiNX31VZP3myt4/8ngBmhW7VN3t1oHfDOIlxyRrZ+N3AVKtU1zsCSjN/j GqyZBD0NN2o8NOI0pbb57ngByT4D8wVKHazi9nZ7XjehyUiGxC0kvGtl8eyFAE71XS+zNx2T WDTqw66ZID31qO8OOYhf09yBVa65dApf+M22oY2mpwU3mAXw5uP+n9S23zrPM9R1LjWYHcMQ yYRxNHP6Q3gnkFuZCHspcqxRjCGz81tasPvKHgO1zg34tpiBKqV6qRemiRvq1+96w7cK6sY/ H9V2b4l73gUhPsMsQwmw3CGA7wcKkJfODTlixWC693t5LUSfmukdqK8kVZvhd30Rq/XuRlSA TyqH/VqVT819Mh0N0jAlWH++p2xMseFdsod71Wd2xLQx+lNdMBoyKpM3HM2fzui5Tt/krdzm xVq2dvSUJGvE2x25+r5BxdZMmawfMYP4nT2ir4YmM+K3oepF5EnGzMRXZKuQ+j6WD4VsP3mM U6JHlhe4j+DHqHDGAaE9Ep8h37CEpazLXaYPnAcyJNuSVGRKVdejwYdQDgh1sdnRkbznZ2nK RghoGpIvxbxsX4ugqpwOgP6U3vDqQvgcToyRJWFbVJX4gxE+0bJIJme4+Z0TGlT+pysqhDIK 3TOPloYSzhQCwrdWAilZOD3tryiu6CCC+GzLuXDe+CLoO1aDLKTwI63l5Bh53CKP9mOOX9rC 7s63FBCVDZ3AZe8+X1HRioJmibKd8Peqg27/3g9tdiy6v7mQirj6IqJE6FVPs9m/hXwjarJZ IvyzG5pbC1V0J8B3yqC0L8EwFsbkD1jbRGhHLUGrTTKQ7jZn6oRAxNROEYRfINYqqk72AdKI 8vSjNj4g6V5gvACAFBATVX9m8utaJ9CMySnOVjAHkrOKKWeKGiB3ZTsea3lA+417q0cp1iqt D2cCUOmIjmTi2yjSUW0Ke8VxCjTOQwWuZnhIE8zWS66FYOgM0LjdoUu1HUgyLkwzBsi2kYQP Dl6a1lKoaeZ6CYejvgtQgSpC1JpIOiCgzye4PPRL5NQvfY5WkycdspW7XU806FS4ztNQfkzl CaA97ZT IronPort-Data: A9a23:Dd7f+aIFjGdlVifHFE+RmpMlxSXFcZb7ZxGr2PjKsXjdYENShDcGn GdOCDvTP/fcZmH1L912YY/ioBwEsZHXyoRkSVAd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6jefRLlbFILas1hpZHGeIcw98z0Iz8wIFqtQw24LhWlnR4 YqaT/D3YTdJ5RYkagr41IrY8HuDjNyq0N/PlgFWiVhj5TcyplFNZH4tDfnZw0jQHuG4KtWHq 9Prl9lVyI92EyAFUbtJmp6jGqEDryW70QKm0hK6UID66vROS7BbPqsTbJIhhUlrZzqhle9v2 shK7LuLeyAPJa3+nPUCdDtWKnQrVUFG0OevzXmXvcGSyVXcdHT2yvBrSk07VWEa0r8pUScXr K1ecW9VKEra3opaw5rjIgVort87IdPhMZk3tnxhyynDCvk8SJXGBanHjTNd9Gxh2p8UQKu2i 8wxTBxLKzjtbhhzAng1IbwG2+eRqyamSmgNwL6SjfFuvjeIl1cZPKLWGNHcf9jPQcROgm6Dt 2fe9iL4BAsbPZqR01K4HmmEiuLOmzvhX40IHbi9sPJn6LGO+oANIBcpS0mmpqCesXyZfclfG UgF5Q0Mo5FnoSRHUeLBdxG/pXeFuDsVVNxRD/A25WmxJkz8s17x6o8sHmYpVTA2iCMlbWFzj A7YxLsFERQ+7OzMERpx45/O9WvaBMQDEYMVTQMpJTbpDvHvrYA1lgjIQcxqFavzgtCd9dDML 9Ki93dWa1Y71J9jO0CHEbfv2WrEm3QxZlRpjjg7p0r8hu65Dab8D2BS1XDV7OxbMKGSRUSbs X4PlqC2tb5SV8DTznLVGL5VTdlFAspp1hWM2TaD+LFxr1yQF4KLJNoAiN2DDB0zbJpZJ2GBj LH76VgBtMY70ISWgV9fONvsVJ9xlsAM5PzlW+zGaNdUKp93cA6B8WlhYESQt10BY2B8+ZzS+ P6zL66RMJrtIf03lWXtH7ZEj+ZDK+JX7Tq7eK0XBi+PidK2DEN5g59cWLdXRuxmvq6CvivP9 NNTa5mDxxlFCbCsbiTW95YJKl8QJH0+Q5z78pQFeumGKwtgOWcgF/6IneJ/IdM4xfwNm7ea5 Gy5V29Z1EH72S/NJzKMZy0xc7joR5t+8S82MHV0b1al0nQue6i166Ibe8dldLUr7rU+n/J5T v8dYcKPGP1KT3LL9m1FP5X6qYVjcjWthB6PZnb0PmJgIsQ4HwGQo43qZAri8iUKHxGbj8pmr u3yzB7fTLoCWx9mUJTcZsWpwg7jpnMagu9zAxbFL9QPKkXh9I9md374gvMtepxeJRjCwCOA0 AmMCBId4+XA+tdn/N7MjKGCjoGoD+onQhsERTaGt+7uOHmI5HenzK9BTP2MIWLXWlTy9fjwf u5S1fz9bKAKkQoYqYZ6CLo3n6sy68G2+u1WwwViBG/MYE6iD7YmLnTfhZtDsahEx7l4vwqqW xvTq4cAZujTYJvoQAwLOQ4oTuWfzvVIyDPc2vI4fRfh7yht8bvbDEhfMnFgUsCGwGeZ7W/k/ QsghCLSwwCyixwyKNGJlClR8iKAIxTslo0544oCDtaDZhUDkzl/jV70U0caI61jr/1AP0gsO iWTi7DLgrEaykeqn78bCy3WxeQE7XgRkEki8bLBTmhlXvLJi/4xxAdW/i4+SwETwhgvPyef/ IR0HxUdGJhiNAuESCSOs65A1u2B6NCkFpTN9mY0 IronPort-HdrOrdr: A9a23:bxVXDK/CHfPry/DWnLduk+DJI+orL9Y04lQ7vn2ZLiYlF/Bw9v re/sjzsCWftN9/Yh8dcLy7VZVoIkmslqKdg7NxAV7KZmCP01dAR7sM0WKN+VHd8mHFltJg6Q == X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.88,311,1635199200"; d="scan'208";a="3947255" X-MGA-submission: =?us-ascii?q?MDHyAWxV2WMZxtNHn+IptfYMkx4V05gR5PxhyR?= =?us-ascii?q?tP4Ur12V55RBcwnYHUMZt9RmZS7Pxy2A5Q+TlnVuqGeSvZx5hguWdVfj?= =?us-ascii?q?cr1iCDvcJ8fQ6m651SmzEAb7kTtaC2KhvW9Msi+f6M/08jX4PJ1Nb8no?= =?us-ascii?q?+9MTUPVBMOtjW381RvveXSGQ=3D=3D?= Received: from deinprogramm.de ([168.119.170.211]) by mail3-smtp-sop.national.inria.fr with ESMTP; 24 Jan 2022 18:21:44 +0100 Received: from valmont.fritz.box (p5ded44b0.dip0.t-ipconnect.de [93.237.68.176]) (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 4959F840D6A for ; Mon, 24 Jan 2022 18:21:43 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=deinprogramm.de; s=default; t=1643044903; bh=Rek8TgHhIkwPiOaxblPu167p8Cq4mZazNo1sfNQ9CHI=; h=From:To:Subject:Date; b=VJFdgQWL0R5Jq/XHfGGK/6/1m/FZQrNDfj8AhdITV5WIwBLo3PU3bXykyAeS3CABY neV9aJFhTUXBPaN9jHJ3uI4TfEC2Diy5O650KU3xuj5hlyD/c8jIbsdpE1VjEbbLqr jM8XKizKRk1TDEJgDuKqL8NStwqA7WQ0MHKfYxbA= From: Michael Sperber To: caml-list@inria.fr Date: Mon, 24 Jan 2022 18:21:42 +0100 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 Participation: =?UTF-8?Q?=C2=B4Virtual?= BOB 2022 (March 11, registration open) Reply-To: Michael Sperber X-Loop: caml-list@inria.fr X-Sequence: 18683 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: =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 2022 Conference =E2=80=9CWhat happens if we simply use what=E2=80=99s best?=E2=80=9D March 11, 2022, online 0100+UTC https://bobkonf.de/2022/ Program: https://bobkonf.de/2022/program.html Registration: https://bobkonf.de/2022/program.html =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 =09=09=09=09=20=20=20 BOB conference is a place for developers, architects, and decision-makers to explore technologies beyond the mainstream in software development and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experience. The program features 14 talks and 8 tutorials on current topics: https://bobkonf.de/2022/program.html The subject range includes functional programming, effects, distributed programming, formal methods, generative art, event-driven systems, the human brain, Haskell, Python, Scala, Lua, Clojure, Erlang, Nix, and others. Derek Dreyer will give the keynote talk. Due to COVID-related risks, BOB will take place online, entirely within a Gather Town virtual world. We've placed special emphasis on enabling social, casual interaction, in addition to our stellar program. Registration is open - early bird student tickets are =E2=82=AC5, regular tickets are =E2=82=AC10. Early-bird discounts apply until February 18. As always, grants are available for members of groups underrepresented in tech: https://bobkonf.de/2022/program.html