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 40A1B5D5 for ; Mon, 10 Jan 2022 15:04:23 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.88,277,1635199200"; d="scan'208";a="14782408" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 Jan 2022 16:04:23 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 20BE9E008D; Mon, 10 Jan 2022 16:04:22 +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 E3AF8E0152 for ; Mon, 10 Jan 2022 16:04:19 +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-PHdr: =?us-ascii?q?A9a23=3AwGI+DxXNipvxoIrM63j5WuLEslXV8KwrVTF92vM?= =?us-ascii?q?cY1JmTK2v8tzYMVDF4r011RmVB9ydsq8dwLaN+4nbGkU4qa6bt34DdJEeHzQks?= =?us-ascii?q?u4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV?= =?us-ascii?q?1Ov71GonPhMiryuy+4ZLebxtViDanfL9/LAi6oQreu8QYnIBvNrs/xhzVr3VSZ?= =?us-ascii?q?u9Y33loJVWdnxb94se/4ptu+DlOtvwi6sBNT7z0c7w3QrJEAjsmNXs15NDwuhn?= =?us-ascii?q?YUQSP/HocXX4InRdOHgPI8Qv1Xpb1siv9q+p9xCyXNtD4QLwoRTiv6bpgRRn1g?= =?us-ascii?q?ykFKjE56nnahMxugqxGrhyvpBJwzIHIb4+aL/d+YrrdcMkGSWZdRMtcVSpMCZ6?= =?us-ascii?q?8YYsVCOoBOP5VoY78p1QSrRuxHxejBOfywTFVnn/5w7c63P8/HgHcwQctGMkOs?= =?us-ascii?q?GzKo9XvL6gdT/q1wbLVwjrdbvNW3y/96JLPchAuu/GDR7dwcc/LxUYyCQzIl1O?= =?us-ascii?q?dopHqMD2JzOoCqXSb7/Z+WuK1jW4qsxx8rzyry8kiiYTFmJwYxF7L+yhl3os4K?= =?us-ascii?q?8O0RVJ6bNOnFJZcqjyXOol3T888QGxluiU3x78YtJO5eCUHxogqyhHZZveafYa?= =?us-ascii?q?I5RfjW/yQITd+nH9qY7W/iA2x8UinzO38WNO430tUoSdDj9LCtWgN2gTO5sWGS?= =?us-ascii?q?fZx5Fqt1SuL2gzJ9+1JI1w4mbDFJ5I837I8jpQevEbZEiPol0j6lrKaelgg9+S?= =?us-ascii?q?y9ujqZqnqq5mBPIFukA7+KL4hmsmnDOQ4LAcOW2+b9Pyh27L9/E35Rq1Kjucxk?= =?us-ascii?q?qnWqpDVP8EbpqujDwBIzIkv8xe/DzG439QEhXQLMVNIdRGdg4T0Jl3DJOr0Aeq?= =?us-ascii?q?9jliwijtn2e3KMqD5DpXINHfDkbPhfbhn605bzQo+1ctf54pKBbEbO/38RFXxu?= =?us-ascii?q?cfFARAnMgy0xf7nCM961oMRQ2KAGKqZMKbIvVCV+O0jO/OMa5MNuDbhN/gl4Ob?= =?us-ascii?q?jgmMjll8YeamlxJ8XaHGjHvR6OEiZenrtgtIZEWgQpAY+TerqiEeDUTFJfXqyU?= =?us-ascii?q?bg8tXkHD9etBILHA4Ssm6Cp3SGhH5QQaHoVJEqLFCLNdo6EUvoIIBmKL9VrnyZ?= =?us-ascii?q?MAaO5RpUr2AuGuAL7zaJ9KeXO8ygd857ugosmr9bPnA0/oGQnR/+W1HuAGjkcd?= =?us-ascii?q?owgSzI32rhlpkNnw1KGl6R10aUw/Tl76/5IVB8gMpHGxul/Tdz/CFqpljahRFu?= =?us-ascii?q?nRM28Bj4rR9c0hdMDMR8VJg=3D=3D?= IronPort-Data: =?us-ascii?q?A9a23=3Azit4CqwVBmaGBSp4k1V6t+edxCrEfRIJ4+MujC/?= =?us-ascii?q?XYbTApDwg0jxWzjcdXG2AOa2LZjPzco1/OYjg/UgF75TVyIBkOVdlrnsFo1Bi+?= =?us-ascii?q?ZOUX4zBRqvTF3rPdZObFBoPA/3z27AsFehsJpPnjkrrYuiJQUVUj/nSHOKlUba?= =?us-ascii?q?cYEideCc9IMsfoUI78wIGqtUw6TSJK1vlVeLa+6UzCnf9s9JHGj58B5a4lf9al?= =?us-ascii?q?K+aVAX0EbAJTasjUFf2zxH5BX+ETE27ByOQroJ8RoZWSwtfpYxV8F81/z91Yj+?= =?us-ascii?q?kurr2c0sSWLndJwGLjzxaVsBOgDAb+Hx0i/9qcqNDMQEN0mzhc9NZkL2hsbSrU?= =?us-ascii?q?QozNKDWsOgQUh9ACSZxJ6RD/fnLLBBTtOTJlR2ZIyC1qxlpJB1qZNRCpo6bG1p?= =?us-ascii?q?m/vUdLHUJbwufr/mnxaqyDOhqnMUqasfxVL7zEFkIISrxAfsnR4jZRKrQ7Npdm?= =?us-ascii?q?js97v2i1M32P6IxAQeDpjyZOHWj+2v7Ca7SWM+ki3j5aydfp0icoK9x72W7IMl?= =?us-ascii?q?Zzu32KNSMEjCVbZw9o6pajjuuE6fF7tUyONGezyKf9X22j+rK2y/2MG7XPKPt7?= =?us-ascii?q?eZk2TV/2URKYCD7ljKHTT2RhkO/XcpFLEMO8y8r66Q/nKBuZrERQDXgyEO5UtU?= =?us-ascii?q?gtxa83gH0BMxhCkYZ3upBOlU5cw=3D=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3ACYuguq1/0RBbj7s2EtGNmgqjBKMkLtp133Aq?= =?us-ascii?q?2lEZdPUzSL38qynOpoV46faQslwssR4b9+xoVJPsfZq+z+8X3WByB9aftWDd0Q?= =?us-ascii?q?PCEGgI1+TfKlPbdxEWutQ86Ztd?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BREAC8Stxh/9Oqd6haHgE8DAILFYFZg?= =?us-ascii?q?X8vd1c6MYRHiQMJhWKedYF8CwEDAQ0xDQECBAEBghGGPAIeBgEEMgcOAQIEFQE?= =?us-ascii?q?BBQEBAQIBAwMEAYEIE4VoDYI1IoQKBQYdAQEmEjQCBRMOAhEBBIMCWYMWBAusE?= =?us-ascii?q?IExgQGCCAEBBoE+AYEbhQcDBoEQKo5ZHIINgRWBfYFrgQWBXgOCLIJLgmWRA3s?= =?us-ascii?q?CIHABQJNUqXmDHoIWgTYFhASGb5UHg3CMCYYjkU+WOoo7gkiZVIFoATOBWTMaC?= =?us-ascii?q?BwUgyRRGQ+ON4QNiioCQDM4AgYBCgEBAwmFRQGJWAEB?= X-IPAS-Result: =?us-ascii?q?A0BREAC8Stxh/9Oqd6haHgE8DAILFYFZgX8vd1c6MYRHiQM?= =?us-ascii?q?JhWKedYF8CwEDAQ0xDQECBAEBghGGPAIeBgEEMgcOAQIEFQEBBQEBAQIBAwMEA?= =?us-ascii?q?YEIE4VoDYI1IoQKBQYdAQEmEjQCBRMOAhEBBIMCWYMWBAusEIExgQGCCAEBBoE?= =?us-ascii?q?+AYEbhQcDBoEQKo5ZHIINgRWBfYFrgQWBXgOCLIJLgmWRA3sCIHABQJNUqXmDH?= =?us-ascii?q?oIWgTYFhASGb5UHg3CMCYYjkU+WOoo7gkiZVIFoATOBWTMaCBwUgyRRGQ+ON4Q?= =?us-ascii?q?NiioCQDM4AgYBCgEBAwmFRQGJWAEB?= X-IronPort-AV: E=Sophos;i="5.88,277,1635199200"; d="scan'208";a="2287831" X-MGA-submission: =?us-ascii?q?MDErHlp8/Ela2JXfy3D64pbR4W0pIOO3yVPkyc?= =?us-ascii?q?ZU0uGgYYhFRzfqSefJl67DKrn/6jNp1VJT6uHEOgcazHXet5a1JHN/Vv?= =?us-ascii?q?fbgZukpl7mDiniHkoFSxrYqUCXvSF8FjFF9hloHOqypc0up7i1uxVMBU?= =?us-ascii?q?odbwLrgKOmDWRFTi14UjLjKA=3D=3D?= Received: from deinprogramm.de ([168.119.170.211]) by mail3-smtp-sop.national.inria.fr with ESMTP; 10 Jan 2022 16:04:06 +0100 Received: from valmont.local (b2b-37-24-119-190.unitymedia.biz [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 EFC5A83088D for ; Mon, 10 Jan 2022 16:04:04 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=deinprogramm.de; s=default; t=1641827045; bh=ApzHCsqqeP2RvftMNb4CkgI2Tm4z/n6Kt0c1kIHAJ90=; h=From:To:Subject:Date; b=HB5R2Kk47TgJeWTeW+FUoEZNL3y+N8a+6/BRS2GC/Re/lgYUxzTlAHB7vWG5JXwMX xmxEkhvQ0idVlbhmpo1C3A/3+0lmc17A6Ol+Ryix5PxWc7nsAShagUASuM65ZP4Hg6 jgCAuBRVTRnXIJc5JmuiFB+8iCJ4eneGptXgHGe8= From: Michael Sperber To: caml-list@inria.fr Date: Mon, 10 Jan 2022 16:04:04 +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: BOB 2022 (March 11, Berlin or online) Reply-To: Michael Sperber X-Loop: caml-list@inria.fr X-Sequence: 18642 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 fill out our survey on online/onsite! =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=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, Berlin or online 0100+UTC https://bobkonf.de/2022/ Program: https://bobkonf.de/2022/program.html Berlin or online? Fill out our survey: https://bobkonf.de/2022/onsite.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=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. NOTE: We will decide on January 17 whether BOB 2022 will take place on-site in Berlin or online. Either way, we are working towards fostering a lively exchange of exciting ideas and enabling meaningful social interactions. We're collecting feedback on the issue here: https://bobkonf.de/2022/onsite.html If you're interested in BOB, please take a minute to fill the survey linked above! Registration will also open on January 17, once the decision for on-site or online has been made.