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 95A315D5 for ; Mon, 7 Dec 2020 16:21:48 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.78,400,1599516000"; d="scan'208";a="481582691" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 Dec 2020 17:21:46 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id DFB62E0ADF; Mon, 7 Dec 2020 17:21:46 +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 04355E0130 for ; Mon, 7 Dec 2020 17:21:41 +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=3Abq2+EhC/0XTwtRETPH1hUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPTyocbcNUDSrc9gkEXOFd2Cra4d1KyP7PyrBDFIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfLF/IA+roQjTucQajotvJ6YswRbVv3VEfP?= =?us-ascii?q?hby3l1LlyJhRb84cmw/J9n8ytOvv8q6tBNX6bncakmVLJUFDspPXw7683trhnD?= =?us-ascii?q?UBCA5mAAXWUMkxpHGBbK4RfnVZrsqCT6t+592C6HPc3qSL0/RDqv47t3RBLulS?= =?us-ascii?q?wKMSMy/mPKhcxqlK9VoAyvqQFxzYDXbo6aO+ZxcKzGcNMGXGpMRNpdWzBbD46+?= =?us-ascii?q?aYYEEuoPPfxfr4n4v1YAqhq+ChWsBOz11DBIgmL907Ai0+s/CwHJxxIvH8gTu3?= =?us-ascii?q?nTt9X1LLkdUfquw6bW1zXOdO5Z1in86IjOahAhu/aMXb1qccXLzEkvEhnJgUiO?= =?us-ascii?q?poH8OT6ey+sCvXSB4eV6SeKvl3Aoqxt3ojW328ohjo3EiIwWx1za6yh3zok7KM?= =?us-ascii?q?GmRUN1f9KpDJpduiKeOodrX84vQWBltDg5x7AEupO2fjYHxZYjyhPRd/GKfI6F?= =?us-ascii?q?6Q/tWuaWJDd3nnNleLSnihmp9kiv0e78Vs6y0FZEtCZKj8fDu3YQ3BLQ8siKUv?= =?us-ascii?q?hw80S71TqS0w3e6ftILEA3mKbBNpIswLo9moIXvEnNBCP6hkv7ga2Mekgm9OWk?= =?us-ascii?q?8fnrb7Tnq5KaKoR6kBvxMr40lcy6Gek4MhYBX2yc+emkybLs40z5QLNSjv0sla?= =?us-ascii?q?nZv4raKt4epq68GQNaz5gs6xe5Dze+ytQYmnYHLEhfdxKCiojlIUzBL+7gAfe+?= =?us-ascii?q?hVSjjitryujFM7DiGJnBM3zOnbT7cbt96ENQ0hc/wNJb6p5MD7EOOvPzWkv/tN?= =?us-ascii?q?zCCR85NhS5w/3/CNpjzIMRQnyAArWCPazPr1CI5+QvI/GWZI8Stzb9MeIq5/vr?= =?us-ascii?q?jXMjhFASY7Gl3YELZ3CgAvRmP0KZbGLwjdgbFGcKuhMyTOjriF2ZTT5efG2yXq?= =?us-ascii?q?I55jEjEo2qF4bDRoa3gLyAxii3BJNWZnoVQmyLRHzhcoHBX/YXdAqTJNVgm3oK?= =?us-ascii?q?T+uPUYgkgDSvvw/zxr4vFfLZ4CcVr9q3z8B4/efejzk++D1yF96a3HuESmQykm?= =?us-ascii?q?5eFGx+57x2vUEokgTL6qN/mfENTYUOtcMMaR8zMNvn98I/C932XVmZLNuESVC+?= =?us-ascii?q?WNKpGzg0S5Q9zt4Ie1x6FM+rixWF0yf4W+ZJxYzOP4Q99+fn51a0P9x0kimU2K?= =?us-ascii?q?QgiUE8RcRVPGijwKJypVCKVtz51n6BnqPvTpwymSvE9WON122L5R4KXANxV73f?= =?us-ascii?q?Wn8Fb07T69j0tBrP?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DmFgAcVs5fZLM6xlhigQmBUYE8AjsvS?= =?us-ascii?q?itYMi6EPYgmXgmILpomgXsLAQMBDSMKAgQBAYFVhQ0eBwEEOAINAhABAQUBAQE?= =?us-ascii?q?CAQMDBAEEhk0Mgjcigz0GHQEBJhI0AgUTDgIRAQSDN0yDCgEKrFyBMoMEAQEFg?= =?us-ascii?q?TMBhiYJgQ4oAwGLNoIkggCBETaDIIEEgU4LA4FMX4JKgl+DVScBgQ8BPpB8p3q?= =?us-ascii?q?BbYERBIMdhXuSQoROjh2PQZ57hhiQJYIECoFZMxoIHBSDJAlHGQ2NeAE0DAuEA?= =?us-ascii?q?YokAkAzNwIGAQkBAQMJTwyMDgEB?= X-IPAS-Result: =?us-ascii?q?A0DmFgAcVs5fZLM6xlhigQmBUYE8AjsvSitYMi6EPYgmXgm?= =?us-ascii?q?ILpomgXsLAQMBDSMKAgQBAYFVhQ0eBwEEOAINAhABAQUBAQECAQMDBAEEhk0Mg?= =?us-ascii?q?jcigz0GHQEBJhI0AgUTDgIRAQSDN0yDCgEKrFyBMoMEAQEFgTMBhiYJgQ4oAwG?= =?us-ascii?q?LNoIkggCBETaDIIEEgU4LA4FMX4JKgl+DVScBgQ8BPpB8p3qBbYERBIMdhXuSQ?= =?us-ascii?q?oROjh2PQZ57hhiQJYIECoFZMxoIHBSDJAlHGQ2NeAE0DAuEAYokAkAzNwIGAQk?= =?us-ascii?q?BAQMJTwyMDgEB?= X-IronPort-AV: E=Sophos;i="5.78,400,1599516000"; d="scan'208";a="481582661" X-MGA-submission: =?us-ascii?q?MDF9TrQCVvHjOieOLh1eY0XTtNGZXcmWcSD/Jl?= =?us-ascii?q?Zz58oiLXn7+8FDMqOObhb2HNs+PEvLZ0saV9ydYQDerTXDF3Z2fXjBUf?= =?us-ascii?q?aQPwxTzSbjGtaQGqo2UHvSj9R7pyK8jqLN2AAzBD3fOlO8GlE6iaN/7g?= =?us-ascii?q?1wlej3RxOMyQ2iZq2hOQWqnQ=3D=3D?= Received: from deinprogramm.de (HELO deinprogramm.deinprogramm.de) ([88.198.58.179]) by mail2-smtp-roc.national.inria.fr with ESMTP; 07 Dec 2020 17:21:39 +0100 Received: from valmont.fritz.box (p5ded49a6.dip0.t-ipconnect.de [93.237.73.166]) (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 C9D272AE3011 for ; Mon, 7 Dec 2020 17:21:38 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=deinprogramm.de; s=default; t=1607358099; bh=sBNV5C+tV58wlWlfJyYE0VLMhmzvs6ffxDWTFkADFUM=; h=From:To:Subject:Date; b=iks8qMt4Jpg5Bw0zzSdiJSM1blxKQ0CG20IFDpIGikMGU6V4Xf0PmZUTz8knehmjU gl8DNadxzlSAKhMeqqx7+RZHMNqPHdZrK0BB/vhPXzdtEYwJhg33wO6xjQj5eCVmR6 OgyeSe0uscl9ocQbqLH8HHOMxYIhMY82hipkMmaE= From: Michael Sperber To: caml-list@inria.fr Date: Mon, 07 Dec 2020 17:21:37 +0100 Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (darwin) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Call for Participation: BOB 2021 (February 26, online, early-bird until Dec 31) Reply-To: Michael Sperber X-Loop: caml-list@inria.fr X-Sequence: 18304 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=3D=3D= =3D=3D=3D=3D=3D BOB 2021 Conference =E2=80=9CWhat happens if we simply use what=E2=80=99s best?=E2=80=9D February 26, 2021, online (UTC+0100) http://bobkonf.de/2021/ Program: http://bobkonf.de/2021/program.html Registration: http://bobkonf.de/2021/registration.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: http://bobkonf.de/2021/program.html The subject range includes functional programming, logic programming, revision control, formal methods, mindfulness, event sourcing, front-end development, and more. Jeremy Gibbons will give the keynote talk. BOB 2021 will take place online. We are working towards fostering lively exchange of exciting ideas and enable meaningful social interactions. Registration is open online: http://bobkonf.de/2021/registration.html The early-bird registration is =E2=82=AC10 for a regular ticket, =E2=82=AC5= for a student ticket. (If you need financial aid, let us know.) We intend to make this the most diverse, colorful, fun BOB ever! NOTE: The early-bird rates expire on December 31, 2020!