CPP 2019 8th ACM SIGPLAN Conference on Certified Programs and Proofs

CPP 2019, will take place from 14 Jan to 15 Jan 2019.

The ACM Special Interest Group on Programming Languages will hold its annual Conference, 8th ACM SIGPLAN Conference on Certified Programs and Proofs at Hotel Cascais Miragem in Lisbon, Portugal.

There is the opportunity to uncover the most recent developments in Computer, Information Technology, Computer Science and Mathematics at this essential Conference.

ACM Special Interest Group on Programming Languages's Conference takes place annually.

ACM Special Interest Group on Programming Languages is the association of CPP 2019.

When you are in Lisbon for CPP 2019, discover these three must visit places and fall in love with the allure of this city:

• Must do in Lisbon
• Must visit in Lisbon
• Must taste in Lisbon