Search a Conference through our dedicated search page

New Frontiers in Proofs and Computation

12th September 2021   -   17th September 2021
Hangzhou, China


This workshop is dedicated to Hao Wang, for his pioneering work in connecting human and formal thinking that permeates (O1)-(O3). A greater understanding of these topics will no doubt lead to a better understanding of computation in mathematics and computer science, and increase the prominence of mathematical logic and proof theory in China, Asia, and the world.