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

Expired
Dates : 20 janeiro 2020 » 21 janeiro 2020

Place : New Orleans, Louisiana
Estados Unidos

Book your hotel


Organizer : SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages

Topic : Informática; 0
Matemática e Estatística;
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.


SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages organises its event entitled CPP 2020 — The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs to be held from 20 janeiro 2020 to 21 janeiro 2020 in New Orleans, Louisiana, Estados Unidos. It covers various areas of Informática including 0. For more information, visit the website of the conference or contact the organizer.
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/pt/conference/60193-cpp-2020-the-9th-acm-sigplan-international-conference-on-certified-programs-and-proofs New Orleans, Louisiana - Estados Unidos SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages

Info Cheap flights Best hotel deals

Related sections :

Conferences and seminars in Louisiana
Conferences and seminars in Estados Unidos
Conferences and seminars in Estados Unidos in 2020
Conferences and seminars in Informática
Conferences and seminars in Informática in 2020
Conferences and seminars in Informática in Estados Unidos
Conferences and seminars in Informática in Estados Unidos in 2020
Todos os eventos
Events by country

Disclaimer : Temos como objectivo proporcionar informações precisas e confiáveis sobre os próximos eventos, mas não podemos aceitar a responsabilidade para o texto de anúncios ou boa-fé dos organizadores do evento. Por favor, não hesite em contactar-nos se você observar informações incorretas ou enganosas e vamos tentar corrigi-lo.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.