2017 Logic family at Zheda
Students and teachers of the logic group of Zhejiang University meet each other on 28 September 2017.
Continue reading →Category Archives: Local Announcements
Dr. Junhua Yu’s Talks [2017-04-13/14]
Dr. Junhua Yu from Tsinghua University is going to visit CSLC in April. During his visit he will give two talks at the Center. For more details please click the links below: Yu, Junhua: A hyper-sequent calculus for the instantial … Continue reading →
Prof. Ho-fung Leung’s talk is cancelled
Prof. Ho-fung Leung couldn’t make his trip to Hangzhou, and the talk is cancelled.
Continue reading →