We are happy to announce that we will have a newly-designed course Logic in AI (course number: 0413153001) in the autumn and winter semesters of 2020. We will invite professors with different expertise coming from different countries to give us … Continue reading →