Search a Conference through our dedicated search page

New Frontiers in Proofs and Computation

12th September 2021   -   17th September 2021
Hangzhou, China
https://www.birs.ca/events/2021/5-day-workshops/21w5156
Save

Abstract

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.