Time: 2013 Oct. 19. Venue: Meeting Room 2, Jiasuo (甲所2号 […] [workshop] “A Door to Logic”, A Meeting on Logic, Language …
Time: 2013 Oct. 14-16. Venue: Rm 327, Main Building, Ts […] [conference] Logic Across the University, Foundations and Applications