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 EE70B2DF6 for ; Tue, 18 Jun 2019 07:44:04 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,388,1557180000"; d="scan'208";a="387886440" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 18 Jun 2019 09:44:03 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id E19528247D; Tue, 18 Jun 2019 09:44:03 +0200 (CEST) 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 632348247D for ; Tue, 18 Jun 2019 09:43:58 +0200 (CEST) Authentication-Results: mail3-smtp-sop.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=3A22P3NhMiGpN/E5FlEv4l6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Iv36rarrMEGX3/hxlliBBdydt6sdzbOI4+u5AzRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfK5+IA+roQjQtcQajpZuJrgtxhDUvnZGZu?= =?us-ascii?q?NayH9yK1mOhRj8/MCw/JBi8yRUpf0s8tNLXLv5caolU7FWFSwqPG8p6sLlsxnD?= =?us-ascii?q?VhaP6WAHUmoKiBpIAhPK4w/8U5zsryb1rOt92C2dPc3rUbA5XCmp4ql3RBP0ji?= =?us-ascii?q?oMKjg0+3zVhMNtlqJWuBKvqQJizYDaY4+aOvVxcb/Sc94BWWpBR9xcWzBdDo6m?= =?us-ascii?q?bYYCCfcKM+ZCr4n6olsDtRywBQiwC+Pv0DBHmHv21rAn3eQ5Dw7GxhcvEMwUsH?= =?us-ascii?q?/Jq9j1L78SXv6vzKbT0zrDdehb1irj54jJdBAhueuMXbV/ccrL00YvEgbFgk+N?= =?us-ascii?q?poP7Jj6Y0PkGvWac7+plT+2vimgnphlqrTio3cgsiY7JhoQbylze6Cp23oA4Ls?= =?us-ascii?q?C7Rk5jedOpE5hduzuHO4ZyQc4uWWFltSUgxrEbu5O2eDAGxZA7yxLFdfCKfZWE?= =?us-ascii?q?7gj+WOqNITp0nnJodbK5ih2v60av0Pf8WdOx0FtSripKjN3MtncV2hPO9MeHS/?= =?us-ascii?q?19/l+72TaI2ADT8PtLIUUxlabBNpEu3L8wlpwLsUTZGS/2l1/2g7WTdkUh4OSn?= =?us-ascii?q?9vrobq3npp+aKYB0lhnzP6ctl8ClHOg1NgsDU3Kb9Om/zrHv4E/0TbFSgv0ziK?= =?us-ascii?q?bZsZTaJcoBpq6+Bg9Yyp0j6w6hADe8y9sXg2MHIUlYdx2ZjojpPUnOIOr/Dfew?= =?us-ascii?q?mVSjijJrx/XcMrL8HJrBNmLDn6v5fbZh905czxI+wsxF6JJRDrENOfbzWk7qtN?= =?us-ascii?q?zEFRI5KAy1w+P/CNpnzI8eWGSPArWYMKzIq1OI6PgvcKGwY9oesTP5bvwk/OLG?= =?us-ascii?q?jHkjmFZbc7P684EQbSWdH/9mKkidKUH0j80LHH1C6hEmQfbghUeqXTNSYW6oWK?= =?us-ascii?q?0m7zQ+To6rW9SQDruxiaCMiX/oVqZdYXpLXwjVTCXYMr6cUvJJUxq8Z89sljtf?= =?us-ascii?q?DeqtRo4nzQupuxXzzr8hIufV/DUCsp353d1woeHex0lrpG5ESv+F2mTIdFla22?= =?us-ascii?q?YBRjs4xqd6+BMvxlqC17BihPNCHNlWof9EAF5jaczsitdiAtW3YTrvO8+TQQ/5?= =?us-ascii?q?ENmrADcpVNU+2dYLZgBxFof6gw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C8EwCDlQhd/7M6xlhmHAEBAR8EAQEFA?= =?us-ascii?q?QGBToEoAgEBAQE3gRRSMiiEFoh7iWOCNogCkGeBZwkBAwEMIwoCAQGBS4NDAQS?= =?us-ascii?q?CFgcBBDQTAQMBAQQBAQIBAQMBbBwMgigSIoMSBh0BASYSNAIFEw4CEQEEKYMKT?= =?us-ascii?q?IIOAQqoBXGBMYJ5AQEFgTIBgRSEXwmBDCYCAQEBAQEBizI9gX+BEYFwgWCBBIE?= =?us-ascii?q?6GAsDgSSBCYI9gliMII4GjzwJgTVdA4IYhC2NJYMQiXmKKZQ/hDyLLoFnIYFYM?= =?us-ascii?q?xoIHBSDJwmBXQFAhAuKHwM9M4EFj0UBAQ?= X-IPAS-Result: =?us-ascii?q?A0C8EwCDlQhd/7M6xlhmHAEBAR8EAQEFAQGBToEoAgEBAQE?= =?us-ascii?q?3gRRSMiiEFoh7iWOCNogCkGeBZwkBAwEMIwoCAQGBS4NDAQSCFgcBBDQTAQMBA?= =?us-ascii?q?QQBAQIBAQMBbBwMgigSIoMSBh0BASYSNAIFEw4CEQEEKYMKTIIOAQqoBXGBMYJ?= =?us-ascii?q?5AQEFgTIBgRSEXwmBDCYCAQEBAQEBizI9gX+BEYFwgWCBBIE6GAsDgSSBCYI9g?= =?us-ascii?q?liMII4GjzwJgTVdA4IYhC2NJYMQiXmKKZQ/hDyLLoFnIYFYMxoIHBSDJwmBXQF?= =?us-ascii?q?AhAuKHwM9M4EFj0UBAQ?= X-IronPort-AV: E=Sophos;i="5.63,388,1557180000"; d="scan'208";a="309605248" X-MGA-submission: =?us-ascii?q?MDHdzHBes7KMIFuREh204D3dxJOn3BGiIr6JoN?= =?us-ascii?q?20ca5D7B6oImFyu+6ZpFrhSKhe1VD9+QsyF1bI265JA+R7gwRxFfqdkQ?= =?us-ascii?q?kw/OopUceievYJwSr3RtswRmnL9MAlBlAwy5URPimqQfdeL2QNCNPRvQ?= =?us-ascii?q?easrlKfu7RRpr5pamsgGOumg=3D=3D?= Received: from deinprogramm.de (HELO deinprogramm.deinprogramm.de) ([88.198.58.179]) by mail3-smtp-sop.national.inria.fr with ESMTP; 18 Jun 2019 09:43:57 +0200 Received: from valmont.local (90-231-105-55-no206.tbcn.telia.com [90.231.105.55]) (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 0900B2ADC8AA for ; Tue, 18 Jun 2019 09:43:54 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=deinprogramm.de; s=default; t=1560843835; bh=GNSQ4ByagUbr9biLerv1pIyAiv9IwXk3jlVVUhnDz50=; h=From:To:Subject:Date; b=b42FV0M7J381oh5odNVG2LrLxBa8WDXZZABd6CsEh1Qq4AZpDYmeG4N7LkUkPsWWB 96fb6mKPTftF3MF1zuvp3ohjZCexSvE9qvcihZ1aNXAAr2iVLQ/JoLMG40MZRdQdEA w5onjw7M7rSDJzpHY71znp9ectCb6ZylRrvqnYBQ= From: Michael Sperber To: caml-list@inria.fr Date: Tue, 18 Jun 2019 09:43:54 +0200 Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (darwin) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Call for Participation: Summer BOB 2019 (August 21, Berlin) Reply-To: Michael Sperber X-Loop: caml-list@inria.fr X-Sequence: 17623 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Xavier Leroy among the speakers! =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D Summer BOB 2019 Conference =E2=80=9CWhat happens if we simply use what=E2=80=99s best?=E2=80=9D August 21, 2019, Berlin co-located with ICFP 2019 http://bobkonf.de/2019-summer/ Program: http://bobkonf.de/2019-summer/program.html Registration: http://bobkonf.de/2019-summer/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 Are you interested in technologies beyond the mainstream, that are a pleasure to use, and effective at getting the job done? BOB is the forum for developers, architects and builders to explore and discover the best tools available today for building software. Our goal is for all participants to leave the conference with new ideas to improve development back at the ranch. Summer BOB is a one-time-only event, in the spirit of the spectacular Winter BOB. The International Conference on Functional Programming is coming to town, and Summer BOB will be right in the middle of it, on the last day of ICFP proper, prior to all the workshops. Summer BOB will feature two tracks: one from practitioners, and one from researchers, and foster communication and cross-pollination between these communities. BOB features two tracks of seven talk each: One research track with invited talks, and one track by practitioners, designed to cross-pollinate and inspire. http://bobkonf.de/2019-summer/program.html Topics include distributed programming, testing, linear algebra, functional design patterns, type systems, formal methods, and interactive development. We are committed to diversity: We aim at exploring a wide range of tools in a welcoming and friendly crowd of diverse people. To that end, a number of support options for participants from groups under-represented in tech are available. http://bobkonf.de/2019-summer/registration.html NOTE: The early-bird rates expire on July 18, 2019!