Workshop on Certification of High-Level and Low-Level Programs

Jul 7, 2014 · Paris, France

Part of the Institut Henri Poincaré thematic trimester Semantics of proofs and certified mathematics

Event organizers

Are you organizing Workshop on Certification of High-Level and Low-Level Programs?

Claim the event and start manage its content.

I am the organizer
Click to see on Google Maps
TBA

Paris, Île-de-France, France

Social
Rating

based on 0 reviews

Featured Events

Powered by Ruby 2.5, Rails 5.2, PostgreSQL 10.2 & Passenger 5.2.