10times
9th Edition  Conference

ACM SIGPLAN International Conference on Certified Programs and Proofs


ACM SIGPLAN International Conference on Certified Programs and Proofs 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.


Timings

09:00 AM-06:00 PM (expected)
Not Verified

Entry Fees

Check Official Website

Participants

upto 100
Delegates
Estimated Count

Category & Type

Conference
Education & Training

Editions

20 - 21 Jan 2020 Interested


Frequency Newly Listed

Official Links

Website Contacts


Report Error
Claim this event

Organizer

Logo Send Stall Book Request

POPL USA

3 events listed
29.952556 -90.068816

Venue Map & Directions

map of JW Marriott New Orleans

JW Marriott New Orleans

614 Canal St, New Orleans, LA 70130
USA

Get Directions

Featured Hotels in New Orleans

More Hotels