This is a Seminar on Logics for New-Generation Artificial Intelligence (NGL 2021, in Chinese) that will take place on October 20-22, 2021, colocated with CLAR 2021. It aims at bringing together some leading researchers within China, to discuss some frontier … Continue reading →
The First International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2021) 18-20 June 2021, Hangzhou, China The First International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2021) will be held in Hangzhou, China, 18-20 June 2021. It … Continue reading →
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 →
