From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <andreas.abel@ifi.lmu.de>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by sympa.inria.fr (Postfix) with ESMTPS id E904B7F2AA
	for <caml-list@sympa.inria.fr>; Wed, 19 Dec 2012 17:02:27 +0100 (CET)
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  andreas.abel@ifi.lmu.de) identity=pra;
  client-ip=129.187.214.135;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="andreas.abel@ifi.lmu.de";
  x-sender="andreas.abel@ifi.lmu.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  andreas.abel@ifi.lmu.de) identity=mailfrom;
  client-ip=129.187.214.135;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="andreas.abel@ifi.lmu.de";
  x-sender="andreas.abel@ifi.lmu.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@acheron.ifi.lmu.de) identity=helo;
  client-ip=129.187.214.135;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="andreas.abel@ifi.lmu.de";
  x-sender="postmaster@acheron.ifi.lmu.de";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AqsCAHbk0VCBu9aHgWdsb2JhbABEFr1xFg4BARYmJ4JCG0AwDRYYAwIBAgFYBgIBAYgPDJZCoU6MTYEagykDlyaET41S
X-IronPort-AV: E=Sophos;i="4.84,318,1355094000"; 
   d="scan'208";a="186891387"
Received: from acheron.ifi.lmu.de ([129.187.214.135])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 19 Dec 2012 17:02:27 +0100
Received: from [10.153.73.136] (unknown [10.153.73.136])
	(using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits))
	(No client certificate requested)
	(Authenticated sender: abel)
	by acheron.ifi.lmu.de (Postfix) with ESMTPSA id 7CB2894A0A9;
	Wed, 19 Dec 2012 17:02:27 +0100 (CET)
Message-ID: <50D1E513.4010602@ifi.lmu.de>
Date: Wed, 19 Dec 2012 17:02:27 +0100
From: Andreas Abel <andreas.abel@ifi.lmu.de>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/17.0 Thunderbird/17.0
MIME-Version: 1.0
To: caml-list@inria.fr
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Validation-by: andreas.abel@ifi.lmu.de
Subject: [Caml-list] PLPV 2013 call for participation

You are cordially invited to participate in the Seventh ACM SIGPLAN 
Workshop on

   Programming Languages meets Program Verification

Date:     22 January 2013
Location: Rome, in conjunction with POPL 2013
Program : http://plpv.tcs.ifi.lmu.de/

Edwin Brady will talk at 10:30am on

   Idris: General Purpose Programming with Dependent Types

Further, we have 7 contributed talks on verification of programming 
languages, complexity and security, and functional reactive programming.

Early registration until 31 December 2012!

Best regards,
Andreas Abel and Tim Sheard

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

andreas.abel@ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/