Author Information
Accepted Papers
Registration & Local Information
Mumbai, India, January 13 - 14, 2015
The CPP Manifesto
Past CPP
Certified Programs and Proofs (CPP 2015)
The 4th ACM-SIGPLAN Conference on
Call for Papers

Pre-registration and getting a visa

A visa is necessary for all non-Indian citizens travelling to India. There are several types of visas available, and those travelling specifically for CPP 2015 and collocated events will need to apply for a Conference Visa. The local organizers can provide the invitation letters required to obtain such a visa. To this end, participants must pre-register on the POPL registration site by October 10th, 2014. Pre-registration is free of charge and implies no commitment to attend the conference, but enables the local organizers to provide invitation letters for visa purposes. More information on the visa process is available at the POPL Web site.


Registration to CPP 2015 is handled through the POPL registration site.

Conference venue

CPP 2015 and all events colocated with POPL 2015 will take place at the Tata Institute of Fundamental Research (TIFR) in Mumbai, India. The TIFR campus is located in the Colaba district of Mumbai. More information at the POPL Web site


A number of rooms have been blocked for POPL and CPP participants at specially negotiated rates at 4 hotels close to the conference venue. Shuttles between these hotels and the conference venue will be provided. Information on the hotels and online booking is available on the POPL Web site.