Aspects of logic, category theory, and theorem proving -

Home| Contact| 中文版

Home -> Science -> Mini-Course -> Detail

Aspects of logic, category theory, and theorem proving

Time: 2024-07-15 Published By: Congcong Zhao

Speaker(s): Yiming Xu (University of Munich)

Time: July 21 - July 28, 2024

Venue: Lecture Hall, Jiayibing Building, Jingchunyuan 82, BICMR

Time：July 21, 25, 28, 14:00-15:30

Venue：Lecture Hall，Jiayibing Building, Jingchunyuan 82, BICMR