From mboxrd@z Thu Jan  1 00:00:00 1970
X-Received: by 10.28.26.5 with SMTP id a5mr137244wma.3.1481230101461;
        Thu, 08 Dec 2016 12:48:21 -0800 (PST)
X-BeenThere: homotopytypetheory@googlegroups.com
Received: by 10.46.76.2 with SMTP id z2ls521339lja.49.gmail; Thu, 08 Dec 2016
 12:48:20 -0800 (PST)
X-Received: by 10.25.199.20 with SMTP id x20mr6635952lff.21.1481230100231;
        Thu, 08 Dec 2016 12:48:20 -0800 (PST)
Return-Path: <e...@x80.org>
Received: from cc-tupan-roaming-b.ensmp.fr (boipeva.ensmp.fr. [194.214.158.136])
        by gmr-mx.google.com with ESMTP id f71si1381300wmf.2.2016.12.08.12.48.20
        for <homotopyt...@googlegroups.com>;
        Thu, 08 Dec 2016 12:48:20 -0800 (PST)
Received-SPF: neutral (google.com: 194.214.158.136 is neither permitted nor denied by domain of e...@x80.org) client-ip=194.214.158.136;
Authentication-Results: gmr-mx.google.com;
       spf=neutral (google.com: 194.214.158.136 is neither permitted nor denied by domain of e...@x80.org) smtp.mailfrom=e...@x80.org
Received: from rochefort (37.9.67.86.rev.sfr.net [86.67.9.37])
	(authenticated bits=0)
	by cc-tupan-roaming-b.ensmp.fr (8.15.2/8.15.1/JMMC-22/Oct/2013) with ESMTPSA id uB8KmJ59032478
	(version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO)
	for <homotopyt...@googlegroups.com>; Thu, 8 Dec 2016 21:48:19 +0100
From: e...@x80.org (Emilio =?utf-8?Q?Jes=C3=BAs?= Gallego Arias)
To: homotopytypetheory@googlegroups.com
Subject: CoqPL 2017: Call for Participation [registration is open]
Date: Thu, 08 Dec 2016 21:48:16 +0100
Message-ID: <87d1h2cflb.fsf@x80.org>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.0.50 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-Miltered: at cc-tupan-roaming-b.ensmp.fr with ID 5849C713.000 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)!
X-j-chkmail-Auth: USER-ID emilio.gallego_arias
X-j-chkmail-Enveloppe: 5849C713.000 from 37.9.67.86.rev.sfr.net/37.9.67.86.rev.sfr.net/86.67.9.37/rochefort/<e...@x80.org>

The 3rd International Workshop on Coq for Programming Languages
Associated to POPL 2017

The CoqPL workshop provides an opportunity for programming languages
researchers to meet and interact with one another and members from the
core Coq development team.

Important dates:

- early registration deadline: December 17, 2016
- workshop: January 21, 2017

Important links:

- Program URL:
  http://conf.researchr.org/track/CoqPL-2017/main#program

- Registration URL:
  http://popl17.sigplan.org/attending/registration