This is a series of talks on logic and games, given by Prof. Ramanujam from Institute of Mathematical Sciences, Chennai, India. Venue: Room 259, Main Teaching Building, Xixi Campus, Zhejiang UniversityLecturer: Prof. Ramanujam (Institute of Mathematical Sciences, Chennai, India)Time: Every … Continue reading →
西溪逻辑论坛第114期 Date: 8 May 2019 (15:00-17:00) Venue: Room 259, Main Teaching Building, Xixi Campus, Zhejiang University Speaker: Dr. Zachiri McKenzie (Shanghai Jiaotong University) Title: Comparing foundational theories of mathematics and understanding subsystems of ZFC Abstract: I will begin by briefly describing … Continue reading →
西溪逻辑论坛第113期 Date: 6 May 2019 (14:00-16:00) Venue: Room 259, Main Teaching Building, Xixi Campus, Zhejiang University Speaker: Prof. Piotr Kulicki (John Paul II Catholic University of Lublin) Title: Towards Deontic Logic for Autonomous Cars Abstract: Autonomous cars are one of … Continue reading →
