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 3FFDC5D4 for ; Tue, 9 Feb 2021 16:41:31 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.81,165,1610406000"; d="scan'208";a="492092974" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 Feb 2021 17:41:28 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 6CA21E0B2C; Tue, 9 Feb 2021 17:41:28 +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 05F72E009F for ; Tue, 9 Feb 2021 17:41:26 +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=3A25C4AR9d8ZvAd/9uRHKM819IXTAuvvDOBiVQ1KB3?= =?us-ascii?q?2ukcTK2v8tzYMVDF4r011RmVBNSdtq8P07CempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffgFFiCC9bL5yIxm6sRvdvdQKjIV/Lao81gHHqWZSde?= =?us-ascii?q?RMwmNoK1OTnxLi6cq14ZVu7Sdete8/+sBZSan1cLg2QrJeDDQ9LmA6/9brugXZ?= =?us-ascii?q?TQuO/XQTTGMbmQdVDgff7RH6WpDxsjbmtud4xSKXM9H6QawyVD+/6apgVR3mhz?= =?us-ascii?q?odNzMh8G/ZlNF+gqxYrh2vqBNw34HabZqJNPpnZK7RYc8WSHBDU8tXSidPApm8?= =?us-ascii?q?b4wKD+cZOuhYrpXyp1sUohSgAQmnGf7hyidWiX/sxqI1zf4hGhzB0Qw7B9IBrm?= =?us-ascii?q?7Uo87rO6cISu260bfHzTTFb/NOwzf974fIcgo7rvGJWLJ8a9fexlc2Gg7Dk16f?= =?us-ascii?q?ppDrMSmP2eQRr2iU8fBgVeS3hmM6rwx8pjahy8QyhoTXiIwbxUzJ+Dt3zYorOd?= =?us-ascii?q?C1SU12bNq5HJZNtSyXNpV6T8AgTmxruis31L8LtJq1cSUWx5kqwQPUZfKAc4iN?= =?us-ascii?q?+B3jVeCRLC9ji3JiY72/hBGy8U6uyuHmS8a7zlBHpTdGnNnUrn0A1B/e5tKaRv?= =?us-ascii?q?Z5/UqtwzaC2gPJ5u1ZI005kbLXJpovz7IqiJYev0bOEjX3lUj1lqOaa1go9+eu?= =?us-ascii?q?5u/6eLvpvIWcOJVxigzmMqQhhMi/AeMgPwcTQWeb+OK81KX5/U3+T7VKlOc5kq?= =?us-ascii?q?zcsJzAOMsUuK+5AwlN0oY57Ba/AC2m384dnXkCNl5KZQyIg5DoO1HIPv/4Ee+y?= =?us-ascii?q?jlevnTtx2vzLOr7sDo/NI3XAirvtYLRw5kpExAo2199f5pZUCr8bIPL0X0/8rM?= =?us-ascii?q?fYDgcnPAyu2OnoFs9925gDVm2RA6+ZNrvSsUWP5uIgOemDfooVuDPnJ/c4+fHi?= =?us-ascii?q?lWU5lkMFfam1wZsXb2i1Eeh8LEWcZXrgm9MBEWYRvgoiV+Hqk12DUTtLZ3moRa?= =?us-ascii?q?485zc7CJinDYjZXIytjqaBj2+HGchdb2VCT1SNCmvAdoOeWv5KZjjBDNVml2kh?= =?us-ascii?q?VLOhQoIlnSq2uRXwxqAvevHM9zcSuIjL2NV04fXJkh4o/DlxSciQhTLeB1pol3?= =?us-ascii?q?8FEmdllJt0plZwnw/agPpIxsdAHNkW3MtnFwIzNJrS1et/Uo+gVg/AeM+TT1m8?= =?us-ascii?q?S9CjRz08HItono0+Jn1lEtDntSjtmiqnB7hOz+6HCZ0y6rjb0GL4IsM7x3vH0r?= =?us-ascii?q?E7iFY8S85Kc2Gr1PYmq1rjQrXRmkDcrJ6EMLwG1XeSpmuOzGyWpkZXSgd1VOPJ?= =?us-ascii?q?UCJHaw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DeBAD5uSJgZLM6xlhigQmDS4ElVzkxh?= =?us-ascii?q?EGJBAmIYZw1CwEDAQ0jCgIEAQGBVoR6HgcBBDQTAhABAQUBAQECAQMDBAEEhk0?= =?us-ascii?q?NgjgihA0GHQEBJhI0AgUTDgIRAQSDAUyDCgEKr0SBMoMEAQEGgTMBhXkJgQ4qi?= =?us-ascii?q?1SCJoIAgUeDIYEEgU4LA4FMX4JJgl+DCFQnAYERAT+Rb6hIgXKBEoMphg2Sc4R?= =?us-ascii?q?ijlCPc59fhiaQToFsIYFZMxoIHBSDJAlHGQ2NdwEzDAuEAYolAkAyNwIGAQkBA?= =?us-ascii?q?QMJTwyLOAEB?= X-IPAS-Result: =?us-ascii?q?A0DeBAD5uSJgZLM6xlhigQmDS4ElVzkxhEGJBAmIYZw1CwE?= =?us-ascii?q?DAQ0jCgIEAQGBVoR6HgcBBDQTAhABAQUBAQECAQMDBAEEhk0NgjgihA0GHQEBJ?= =?us-ascii?q?hI0AgUTDgIRAQSDAUyDCgEKr0SBMoMEAQEGgTMBhXkJgQ4qi1SCJoIAgUeDIYE?= =?us-ascii?q?EgU4LA4FMX4JJgl+DCFQnAYERAT+Rb6hIgXKBEoMphg2Sc4RijlCPc59fhiaQT?= =?us-ascii?q?oFsIYFZMxoIHBSDJAlHGQ2NdwEzDAuEAYolAkAyNwIGAQkBAQMJTwyLOAEB?= X-IronPort-AV: E=Sophos;i="5.81,165,1610406000"; d="scan'208";a="492092945" X-MGA-submission: =?us-ascii?q?MDHnNH5wdwUhUFRYUn3YsjTzezpRpks5oX7Jql?= =?us-ascii?q?d6JiM1FprZ/JgDt0Jp7R5ojUgyhvGVJyHyT1CDN+jD+bZoYNRBVH958E?= =?us-ascii?q?bAMOOMjdD4X+7hVR+fwFiNb5x//oMKF5y3m8bG01c/UQQF5Ekr7WKalu?= =?us-ascii?q?APevmnsy/qwoCYJDUosAMvvQ=3D=3D?= Received: from deinprogramm.de (HELO deinprogramm.deinprogramm.de) ([88.198.58.179]) by mail2-smtp-roc.national.inria.fr with ESMTP; 09 Feb 2021 17:41:25 +0100 Received: from valmont.fritz.box (p5ded4472.dip0.t-ipconnect.de [93.237.68.114]) (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 820A62AE2FEF for ; Tue, 9 Feb 2021 17:41:24 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=deinprogramm.de; s=default; t=1612888884; bh=TnMzthdjs3OFRc+3HbvgON4BsGhastFcRiAVb+futf4=; h=From:To:Subject:Date; b=AKHaKiCzdHM8y508wMajQAxyXM+ublZNc5EKPYx3AUHaTDxYa6UCBBPnRYXjaTsYN eA0EjUvVkwmGUWG6lA7xx6MLVsW79DjMQfjd8kzbniey5n191UFQmmIZb/phj3NHVH LUCVO3Atu+zK+/5+0L6m2BSvvXuglM8LEXfn0/pw= From: Michael Sperber To: caml-list@inria.fr Date: Tue, 09 Feb 2021 17:41:24 +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] Final Call for Participation: BOB 2021 (February 26, online) Reply-To: Michael Sperber X-Loop: caml-list@inria.fr X-Sequence: 18398 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 Registration is =E2=82=AC30 for a regular ticket, =E2=82=AC15 for a student= ticket. (If you need financial aid, let us know.) We intend to make this the most diverse, colorful, fun BOB ever!