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 29B2F7EC6E for ; Sun, 8 Dec 2013 03:36:28 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of bobzhang1988@gmail.com) identity=pra; client-ip=209.85.216.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="bobzhang1988@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of bobzhang1988@gmail.com designates 209.85.216.41 as permitted sender) identity=mailfrom; client-ip=209.85.216.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="bobzhang1988@gmail.com"; 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@mail-qa0-f41.google.com) identity=helo; client-ip=209.85.216.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="postmaster@mail-qa0-f41.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoADAKfao1LRVdgplGdsb2JhbABZuSeDfoEXFg4BAQEBBwsLCRIqgiUBAQU4CAEbHAIDDAYFCw0JFg8JAwIBAgEREQEFARwGAQwIAQEQAodZAQMPBaUXjFmDCYNpChknDWSGAxEBBQyPC4QzA4lCjlKQJkGEcw X-IPAS-Result: AoADAKfao1LRVdgplGdsb2JhbABZuSeDfoEXFg4BAQEBBwsLCRIqgiUBAQU4CAEbHAIDDAYFCw0JFg8JAwIBAgEREQEFARwGAQwIAQEQAodZAQMPBaUXjFmDCYNpChknDWSGAxEBBQyPC4QzA4lCjlKQJkGEcw X-IronPort-AV: E=Sophos;i="4.93,849,1378850400"; d="scan'208";a="47583539" Received: from mail-qa0-f41.google.com ([209.85.216.41]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 08 Dec 2013 03:36:27 +0100 Received: by mail-qa0-f41.google.com with SMTP id j5so1687877qaq.14 for ; Sat, 07 Dec 2013 18:36:26 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:subject:references :in-reply-to:content-type:content-transfer-encoding; bh=gC4fHaLDv2NojN5BkBvrazwTlJyBwXQBA85I8VI/m40=; b=Bsp4B3LEbltYtWY5MO0ZC3PK23xCFQ7XXjGnnBYbAohJowUQ3d6Hn3pr2ilo59gZNj b4hM4Fi/kJNjeHHq8z0ZnM9eqk1Am5xwlnRIwPPKNcr2hkJAuqLYV0Fs6NBurnKqJ84H zbU0QqYnMdNywDpT6QBHaqsZlcsDvRpvhdtyHa4xN2+zySH9IfgBwKV1hmk1TgE5NDdo LJnxP7RKG7mzAJi6bfRc/JzFJnpTd4HDLCcwsM3Lz0PFQFYbwWsFW7QDBfR09SD3dPJa quR+rH6HGNnEe5gheuFjjbaxSxpuCaoWPeFDdXVqkdYNlGdTtqYCm3GqJ4Wc7Cpp8qss himg== X-Received: by 10.224.24.201 with SMTP id w9mr62234328qab.103.1386470186272; Sat, 07 Dec 2013 18:36:26 -0800 (PST) Received: from Hongbos-MacBook-Pro.local ([66.250.143.158]) by mx.google.com with ESMTPSA id f10sm13874102qej.1.2013.12.07.18.36.25 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Sat, 07 Dec 2013 18:36:25 -0800 (PST) Message-ID: <52A3DB29.3060006@gmail.com> Date: Sat, 07 Dec 2013 21:36:25 -0500 From: Hongbo Zhang User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9; rv:24.0) Gecko/20100101 Thunderbird/24.1.1 MIME-Version: 1.0 To: "Vitaly S. Lugovskiy" , caml-list@inria.fr References: <7C324045-0F91-4AC4-B3C5-14786D8BEE6F@gmail.com> In-Reply-To: <7C324045-0F91-4AC4-B3C5-14786D8BEE6F@gmail.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Wojciech Meyer On 12/6/13, 7:46 AM, Vitaly S. Lugovskiy wrote: > It is with great sadness that I am writing to inform that Wojciech Daniel Meyer, who was known in the OCaml community, passed away 18th November 2013 at the age of 32. > > > I am so sorry to hear that. I am lucky to meet him in Denmark, and impressed by his passionate about education. R.I.P Wojciech Meyer