Home |
About icms |
Program |
Registration/accommodations |
Contact information |
Social activities |
About Kobe/Access |
Bulletin board
Session title
Formal proof
Organizers
John Harrison
Freek Wiedijk
Keywords
automated theorem proving, proof assistants, formalized mathematics, formal
verification, certified computation
Description