The Coq mailing list

[Viktor Vafeiadis <Viktor AT mpi-sws.org>]

POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming 
Languages
Tata Institute of Fundamental Research, Mumbai, India
January 12-18, 2015

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

IMPORTANT INFO & NEWS:

[A] *** Pre-registration deadline: 10 October 2014 ***

Non-Indian citizens ***require a visa*** to attend POPL'15. 
To get a conference visa, you must pre-register by October 10th at:

        https://regmaster4.com/2015conf/POPL15/register.php 

This step is free. Complete the registration as you would normally do if you 
were paying for attending POPL and/or the collocated events. On the last 
page, 
you will be given the option to preregister (and defer the payment).

[B] *** 52 / 226 submissions were accepted ***

The list of accepted papers is available at the URL:

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

[C] A number of other conferences, workshops and tutorials are co-located with
POPL'15.

Mon 12th: VMCAI, PLVNET
Tue 13th: VMCAI, CPP, PEPM, and the POPL tutorials
Wed 14th: VMCAI, CPP, PEPM, PLMW
Thu 15th: POPL
Fri 16th: POPL
Sat 17th: POPL
Sun 18th: CoqPL, OBT, WEPL