[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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