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 sympa.inria.fr (Postfix) with ESMTPS id A53C5E03B5 for ; Tue, 12 Jan 2021 17:22:27 +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 Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of sperber@deinprogramm.de) identity=pra; client-ip=88.198.58.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sperber@deinprogramm.de"; x-sender="sperber@deinprogramm.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of sperber@deinprogramm.de designates 88.198.58.179 as permitted sender) identity=mailfrom; client-ip=88.198.58.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sperber@deinprogramm.de"; x-sender="sperber@deinprogramm.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@deinprogramm.deinprogramm.de) identity=helo; client-ip=88.198.58.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sperber@deinprogramm.de"; x-sender="postmaster@deinprogramm.deinprogramm.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AdKb/sRRkZkDiml8vq0Q6CYy2GNpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6zZh2N2/xhgRfzUJnB7Loc0qyK6vCmATRLvM7J8ChbNsAVCFld0Y?= =?us-ascii?q?RetjdjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9?= =?us-ascii?q?fbytScbdgMutyu+95YDYbRlWizqhe7NyKwi9oRnMusUMjoZuN6U8xgHVrndUdO?= =?us-ascii?q?hbxX9kLk+Xkxrg+8u85pFu/zlStv4768JMTaD2dLkkQLJFCzgrL3o779DxuxnZ?= =?us-ascii?q?SguP6HocUmEInRdNHgPI8hL0UIrvvyXjruZy1zWUMsPwTbAvRDSt9LxrRwPyiC?= =?us-ascii?q?cGLDE27mfagdFtga1BoRKhoxt/w5PIYIyQKfFzcL/Rcc8cSGFcWMtaSi5PDZ6m?= =?us-ascii?q?b4YXD+QPI/tWoYf+qVQAohSxGQaiCfjzyj9RnHL6wbE23v4jHAzAwQcuH8gOsH?= =?us-ascii?q?PRrNjtM6kSUPy6zKnSwjrda/NdxCrz6JDWfRA7uv6DQ6hwetfWxEk0DwPKkE+Q?= =?us-ascii?q?ppf7MDOPzekCrnaU7+tmVeK3kW4nrA5xoiK1yccpj4nFnJ8axU7d+Ch/3Y06Ks?= =?us-ascii?q?G2RlRhbt64DJtfqTuaN41uT84/R2xlvCg0x74YtZOlciYEx4gqygDRZvCZb4WF?= =?us-ascii?q?4xHuWeKMLTplhn9oeayzihWw/EWjyODxSMu53VJEoydZndTBsG0G2RLU6siCUP?= =?us-ascii?q?R9/0Gh1C6U2ADU8e5EIkc0lazVK5I737E/iJweulnAEC/ugEj7j6ybel859uWs?= =?us-ascii?q?6OnreLXrq5yGO4NpiAzzNrwil8ixDOgiLAQDUWqW9f6+2bH950H1XatGg/8wn6?= =?us-ascii?q?LEqp7VP94bqbS8AwJN0oYs9RK/DzC+3dsFg3YHLVRFeAqdj4juNFHOOur3DfK6?= =?us-ascii?q?g1i2jThk2fHGPrv5ApXXKXjDn63hcqx4605Z0gY80M5Q64pVCrEHPv3zRlf8ud?= =?us-ascii?q?/bAxMjLgC5x+XqBM99244dQ26DH62UPafKvV+N/O0vIu2MZIEPuDb6Lvgo/+Xu?= =?us-ascii?q?jWcnll8HZqamw4EXZWulEft4IkWZZ2Lsgs0GEWcFpAoxVunqiFiYXTFOeXm+R7?= =?us-ascii?q?g86S0jCIK6EYfDQZigj6Cb0ye+Gp1af2RGClGXEXf0bIiEQPcNaCeKIsB7iDAE?= =?us-ascii?q?VL6hS5Ug1R60rgP6xaBnfaLo/XgTvJfnkdx0/PH7lBco9DUyAd7O/XuKSjRRn2?= =?us-ascii?q?gITjIylJtnrFZ3x03LhbNgjuZSGMZ76/5IVB8gMpHGxul/Tdz/DFGSNuyVQUqr?= =?us-ascii?q?F431SQo6Scg8lodXPhRNXu66hxWG5BKERr8Yk7vQXM44/6Pax2L2KNx0znOA2K?= =?us-ascii?q?QgiUE8RcRVPGijwKJypVCKVtz51n6BnqPvTpwymSvE9WON122L5R4KXANxV73f?= =?us-ascii?q?Wn8Fb07T69j0tBqbE+2eTI8/Ow4E8vasb7NQY4S231lLRfH7ItPReWu0niG8CE?= =?us-ascii?q?TQyw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AfCQALzP1fZLM6xlhigQmBUYF6gSVYM?= =?us-ascii?q?i6EP4kECYhInCsLAQMBDSMKAgQBAYFVhGkeBwEENBMCEAEBBQEBAQIBAwMEAQS?= =?us-ascii?q?GTQxDFgGBXiKDPQYdAQEmEjQCBSECEQEEgzdMgwoBCq8EgTKDBAEBBoEzAYYXC?= =?us-ascii?q?YEOKotMgiaCAIFHgWWBPIEEgU4LA4FMX4JLgmCDVicBgRABPpEWqBuBb4ESgye?= =?us-ascii?q?GBJJWhFmOLY9anyiGHZA2gW0hgVkzGggcFIMkCUcZDY14ATQXhAGKJAJAMzcCB?= =?us-ascii?q?gEJAQEDCU+KFoJ2AQE?= X-IPAS-Result: =?us-ascii?q?A0AfCQALzP1fZLM6xlhigQmBUYF6gSVYMi6EP4kECYhInCs?= =?us-ascii?q?LAQMBDSMKAgQBAYFVhGkeBwEENBMCEAEBBQEBAQIBAwMEAQSGTQxDFgGBXiKDP?= =?us-ascii?q?QYdAQEmEjQCBSECEQEEgzdMgwoBCq8EgTKDBAEBBoEzAYYXCYEOKotMgiaCAIF?= =?us-ascii?q?HgWWBPIEEgU4LA4FMX4JLgmCDVicBgRABPpEWqBuBb4ESgyeGBJJWhFmOLY9an?= =?us-ascii?q?yiGHZA2gW0hgVkzGggcFIMkCUcZDY14ATQXhAGKJAJAMzcCBgEJAQEDCU+KFoJ?= =?us-ascii?q?2AQE?= X-IronPort-AV: E=Sophos;i="5.79,341,1602540000"; d="scan'208";a="486711911" X-MGA-submission: =?us-ascii?q?MDERai51gNvZKvakKVCikUor7nFWI4nfCflQ8s?= =?us-ascii?q?nJcEvrzmut8sZmlsSNBABqH64XVH8ZuHx4H1qxwIH0JA3LuRc3w3TmdF?= =?us-ascii?q?Ll/uPEGu37AeeJJyBTy8GXao7pVhYt1oHUoxxdmimlq72liXaIm6YyrL?= =?us-ascii?q?qtX0Et2cCmCS2paUoOKYcN4Q=3D=3D?= Received: from deinprogramm.de (HELO deinprogramm.deinprogramm.de) ([88.198.58.179]) by mail2-smtp-roc.national.inria.fr with ESMTP; 12 Jan 2021 17:22:27 +0100 Received: from valmont-fritz-box-1.fritz.box (p5ded487f.dip0.t-ipconnect.de [93.237.72.127]) (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 2592F2AE1AA1 for ; Tue, 12 Jan 2021 17:22:26 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=deinprogramm.de; s=default; t=1610468546; bh=miRJvMbf/EZ9hGSvrqgm6jrJGqcQRmptNYzZi873hIg=; h=From:To:Subject:Date; b=H4j83z3ZQfBQ/UwJknTgF5UCs0YSrn5X3pDBv7ploC+bwDRGWicvKAYvPwCpJ3LGc 7igdEPPL/+TwbQ43snhuAhekoRFtWGRhwevTLnivYme9B2NuLaqUO2LHrf07s1oN39 BQyJmN7v9W2ph0uh8+QRc29+Gty1/CbMApAWXC+o= From: Michael Sperber To: caml-list@inria.fr Date: Tue, 12 Jan 2021 17:22:25 +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] 2nd Call for Participation: BOB 2021 (February 26, online) Among other great talks, Stephanie Schirmer will talk about OCaml/Mirage! =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=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!