From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 D40F880070 for ; Mon, 5 Dec 2016 13:43:01 +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=Pass smtp.helo=postmaster@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: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@deinprogramm.de designates 88.198.58.179 as permitted sender) identity=helo; client-ip=88.198.58.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sperber@deinprogramm.de"; x-sender="postmaster@deinprogramm.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3Az0xxzhUENVK7cPV9co4aA+P6V83V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYZROPt8tkgFKBZ4jH8fUM07OQ6PG7HzBQqs/Z+DBaKdoXCE9D0Z?= =?us-ascii?q?1X1yUbQ+e7SmTDZMbwaCI7GMkQHHRExFqcdXZvJcDlelfJqWez5zNBUj/2NA5y?= =?us-ascii?q?O/inUtWK15f/hKiO/MjYagBMwT68eq9aLROsrAyXuNNFr5FlL/MUyxDJq3ZMM9?= =?us-ascii?q?9OyHliKEjbyw3k69268YRL/ylRveo78MFaWKD/Oag1G+8LRA86Onw4sZW4/SLI?= =?us-ascii?q?ShGCsyMR?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C1DgB8X0VY/7M6xlhdHAEBFgEBBQEBC?= =?us-ascii?q?gEBFgEBBQEBglwkAQEBAQEfWoEGoGqEAZZqKYJDhUBDEAEBAQEBAQEBAQEBYSi?= =?us-ascii?q?CMxiCQSMBASYSOzQBBCmJIwMKqlqDEYMMAQEFiEgIiW6CaINXggALgwqaa4FKh?= =?us-ascii?q?QGNDodLhjCJbIgjNiB4Ew6DCgEKAQEBUYFtcYh5AQEB?= X-IPAS-Result: =?us-ascii?q?A0C1DgB8X0VY/7M6xlhdHAEBFgEBBQEBCgEBFgEBBQEBglw?= =?us-ascii?q?kAQEBAQEfWoEGoGqEAZZqKYJDhUBDEAEBAQEBAQEBAQEBYSiCMxiCQSMBASYSO?= =?us-ascii?q?zQBBCmJIwMKqlqDEYMMAQEFiEgIiW6CaINXggALgwqaa4FKhQGNDodLhjCJbIg?= =?us-ascii?q?jNiB4Ew6DCgEKAQEBUYFtcYh5AQEB?= X-IronPort-AV: E=Sophos;i="5.33,747,1477954800"; d="scan'208";a="248124193" Received: from deinprogramm.de ([88.198.58.179]) by mail2-smtp-roc.national.inria.fr with ESMTP; 05 Dec 2016 13:43:01 +0100 Received: from jellaby.local (unknown [195.52.203.132]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by deinprogramm.de (Postfix) with ESMTPSA id 7995E3028B for ; Mon, 5 Dec 2016 12:42:58 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=deinprogramm.de; s=default; t=1480941778; bh=gHHHRka7cklCul+sPZD7VSldhLW9Os4gGQlLLDeZ5j4=; h=From:To:Subject:Date; b=EM6hwsWnDfNS8QebYZBFLANUsaCuFVJA8WQbczVurcSyBt0WkhKBMoijs8lK0EVt9 piNE6+EV0wm/d3gmk/GuTHVst8xBfGa9KPJqmmU6jLZG5CqFtfwIgnLFmvQfUHp9l8 r9P3f5E3XmLKXapiwxJinTs7QIldJ7ZL45VEkl+I= Received: from jellaby.local.deinprogramm.de (localhost [IPv6:::1]) by jellaby.local (Postfix) with ESMTP id CAC1D94085E6 for ; Mon, 5 Dec 2016 13:42:59 +0100 (CET) From: Michael Sperber To: caml-list@inria.fr Date: Mon, 05 Dec 2016 13:42:59 +0100 Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.0.50 (darwin) MIME-Version: 1.0 Content-Type: text/plain Subject: [Caml-list] Call for Participation: BOB 2017 (February 24, Berlin) OCaml developers very welcome at BOB! ================================================================ BOB 2017 Conference "What happens if we simply use what's best?" February 24, 2017 Berlin http://bobkonf.de/2017/ Program: http://bobkonf.de/2017/program.html Registration: http://bobkonf.de/2017/registration.html ================================================================ BOB is the conference 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 experiences. The program features 14 talks and 8 tutorials on current topics: http://bobkonf.de/2017/program.html The subject range of talks includes functional programming, advanced front-end development, and sophisticated uses of types. The tutorials feature introductions to Haskell, Swift, PureScript, React, QuickCheck, Agda, CRDTs and Servant. John Hughes will give the keynote talk. Registration is open online: http://bobkonf.de/2017/registration.html NOTE: The early-bird rates expire on January 23, 2017! BOB cooperates with the :clojured conference on the following day. There is a registration discount available for participants of both events. http://www.clojured.de/