Home |
Aim |
Commitees |
Plenary speakers |
List of sessions |
Paper submission |
Papers |
Program |
Registration/accommodations |
Important dates |
Contact information |
About Kobe/Access
Session title
Formal proof
Organizers
John Harrison
Freek Wiedijk
Keywords
automated theorem proving, proof assistants, formalized mathematics, formal
verification, certified computation
Description