CPP 2020 — The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs

Expired
Dates : 20 January 2020 » 21 January 2020
Place : New Orleans, Louisiana
United States

Book your hotel

Organizer : SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages
Topic : Computer science; 0
Mathematics and Statistics;
Keywords: Logic, Mathematics
Description :

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider certification as an essential paradigm for their work. Certification here means formal, mechanized verification of some sort, preferably with the production of independently checkable certificates. CPP spans areas of computer science, mathematics, logic, and education.

CPP 2020 — The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs to be held in New Orleans, Louisiana, United States between 20 January 2020 and 21 January 2020. It is organised by SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages. It covers specific areas of Computer science such as 0. Visit the website of the conference for more detailed information or contact the organizer for specific questions.
Add to calendar 2020-01-20 2020-01-21 Europe/London CPP 2020 — The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs https://www.sciencedz.net/en/conference/60193-cpp-2020-the-9th-acm-sigplan-international-conference-on-certified-programs-and-proofs New Orleans, Louisiana - United States SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages
Share
Add to Favorites
Embed
Info Cheap flights Best hotel deals
Cheap flights, train and bus tickets

Related sections :

Conferences and seminars in Louisiana
Conferences and seminars in United States
Conferences and seminars in United States in 2020
Conferences and seminars in Computer science
Conferences and seminars in Computer science in 2020
Conferences and seminars in Computer science in United States
Conferences and seminars in Computer science in United States in 2020
All events
Events by country

Submit a conference (FREE)

Stay informed



Disclaimer : We aim to provide correct and reliable information about upcoming events, but cannot accept responsibility for the text of announcements or for the bona fides of event organizers. Please feel free to contact us if you notice incorrect or misleading information and we will attempt to correct it.We are not involved in the organization of any of the events listed and we do not handle registration payments on behalf of the organizers.