8th ACM SIGPLAN Conference on Certified Programs and Proofs, will be held from 14 Jan to 15 Jan 2019.
CPP 2019 will be in Lisbon, Portugal but the venue of the event hasn’t been determined yet.
CPP 2019 will probably be a platform where a lot of crucial items will be showcased. Some of these are about Computer, Information Technology, Computer Science and Mathematics.
CPP 2019 is organized annually.
The Conference is brought to you by ACM Special Interest Group on Programming Languages.
When you are in Lisbon for CPP 2019, check out these three must visit areas and fall in love with the allure of this city:
- CPP 2018
- Omni Los Angeles Hotel at California Plaza
08 - 09 January 2018
- CPP Paris 2017
- University Pierre et Marie Curie
16 - 17 January 2017
- CPP 2016 Saint Petersburg
18 - 19 January 2016