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

Expiré
Dates : 20 janvier 2020 » 21 janvier 2020

Lieu : New Orleans, Louisiana
États-Unis

Book your hotel


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

Domaine : Informatique; 0
Mathématiques et Statistiques;
Mots-clé:: 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 organise son événement intitulé CPP 2020 — The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs se tiendra du 20 janvier 2020 au 21 janvier 2020 en New Orleans, Louisiana, États-Unis. Il couvre divers domaines de Informatique, y compris 0. Pour plus d'informations, visitez le site web de la conférence ou contactez l'organisateur.
Ajouter au calendrier 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/fr/conference/60193-cpp-2020-the-9th-acm-sigplan-international-conference-on-certified-programs-and-proofs New Orleans, Louisiana - États-Unis SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages

Sections connexes :

Conférences et séminaires en Louisiana
Conférences et séminaires en États-Unis
Conférences et séminaires en États-Unisdans 2020
Conférences et séminaires en Informatique
Conférences et séminaires en Informatiquedans 2020
Conférences et séminaires en Informatiquedans États-Unis
Conférences et séminaires en Informatiquedans États-Unisdans 2020
Tous les événements
Evénements par pays

Avertissement: Nous visons à fournir des informations exactes et fiables sur les événements à venir, mais nous ne pouvons pas accepter la responsabilité pour le texte des annonces ou de la bonne foi des organisateurs de l'événement.S'il vous plaît, n'hésitez pas à nous contacter si vous remarquez des informations incorrectes ou trompeuses et nous tenterons d'y remédier.Nous ne sommes impliqués dans l'organisation d'aucun des événements répertoriés et nous ne gérons pas les paiements d'inscription au nom des organisateurs.