coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] POPL 2015 deadline reminder

From: Viktor Vafeiadis <viktor AT mpi-sws.org>
To: types-announce AT lists.seas.upenn.edu, Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] POPL 2015 deadline reminder
Date: Tue, 1 Jul 2014 10:40:50 +0200

42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
(POPL 2015)
January 15-17, 2015, Mumbai, India

http://popl.mpi-sws.org/2015/
http://popl.mpi-sws.org/2015/cfp.html

Paper registration 3PM US EDT (UTC-4) July 3, 2014
Paper submission 3PM US EDT (UTC-4) July 8, 2014
Submisssion URL https://popl15.hotcrp.com/

The submission deadlines are strict.

[Coq-Club] POPL 2015 deadline reminder, Viktor Vafeiadis, 07/01/2014