From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p8GDTtr4007302
	for <caml-list@sympa-roc.inria.fr>; Fri, 16 Sep 2011 15:29:56 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApgCAPlOc07RVde2kGdsb2JhbABCFpkLjjIIFAEBAQEJCQ0HFAQhgWwCJAgBATYCECsWGAMCAQIBIgEFAS8IAQEeh1mYMQqKGIQDAYUZiSgFhnigTz2BSIIo
X-IronPort-AV: E=Sophos;i="4.68,393,1312149600"; 
   d="scan'208";a="109344183"
Received: from mail-ey0-f182.google.com ([209.85.215.182])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Sep 2011 15:29:28 +0200
Received: by eyg7 with SMTP id 7so2650725eyg.27
        for <caml-list@inria.fr>; Fri, 16 Sep 2011 06:29:28 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlemail.com; s=gamma;
        h=sender:message-id:date:from:user-agent:mime-version:to:subject
         :content-type:content-transfer-encoding;
        bh=oW0NcybO+G7Z9i+WwPyN+p07cwQZo2eGIBjS3uQ5rOc=;
        b=VI+XKHBT6e7dvTCPSwJfxHDpg3J85cK+arXVbd+X9HUXI6w9d4Gjl2s1rXBN1cKPJm
         rvmd9QIwRTcW9bgQAn7hWe1VcN9ro5GqGIiOv8AZRfiio3EgTo2ylMZUz4KS340mu8T4
         7hhlVA8WTaLHev0wQnYOMy++rW99H+93ipEKo=
Received: by 10.213.4.78 with SMTP id 14mr208183ebq.55.1316179768359;
        Fri, 16 Sep 2011 06:29:28 -0700 (PDT)
Received: from ?IPv6:2001:610:1908:1200:221:70ff:fecc:354? ([2001:610:1908:1200:221:70ff:fecc:354])
        by mx.google.com with ESMTPS id a8sm18469015eec.4.2011.09.16.06.29.27
        (version=SSLv3 cipher=OTHER);
        Fri, 16 Sep 2011 06:29:27 -0700 (PDT)
Sender: Christoph Bockisch <c.m.bockisch@googlemail.com>
Message-ID: <4E734F0E.8000803@cs.utwente.nl>
Date: Fri, 16 Sep 2011 15:28:46 +0200
From: Christoph Bockisch <c.m.bockisch@cs.utwente.nl>
User-Agent: Mozilla/5.0 (X11; Linux i686; rv:6.0.2) Gecko/20110906 Thunderbird/6.0.2
MIME-Version: 1.0
To: caml-list@inria.fr
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: [Caml-list] Invitation to attend workshop on Virtual Machines and Intermediate
 Languages (VMIL) @ SPLASH 2011

Dear colleagues,

we would like to invite you to attend the workshop on
Virtual Machines and Intermediate Languages (VMIL 2011),
which will be co-located with SPLASH. Please note that the early
registration deadline for SPLASH is Sept. 23 and that it is required
that you register for the workshop participation.

This workshop is a forum for research in virtual machines
(VM) and intermediate languages (IL). It is dedicated to
identifying programming mechanisms and constructs that are
currently realized as code transformations or implemented in
libraries but should rather be supported at VM and IL level.

Besides the presentation of accepted papers, the workshop features an
invited talk by

Lars Bak, Google

For more details on the format and program of the workshop please see
our homepage:

http://www.cs.iastate.edu/~design/vmil/

We look forward to meeting you at the workshop.

Best regards,
Christoph Bockisch, Hridesh Rajan, Michael Haupt and Robert
Dyer
VMIL 2011 Organizers