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 →
Date: 21st June, 2021 (16:30-18:30) Speaker: Anuj Dawar (Cambridge University) Title: The Limits of Symmetric Computation Abstract: The most famous open problem in theoretical computer science, known as the P vs. NP problem challenges us to prove that for some natural search problems, … Continue reading →
Date: 7th June, 2021 (16:30-18:30) Speaker: Dr. Maurice Chiodo (Cambridge University) Title: Ethical issues in mathematical processes Abstract: Mathematics is used in a variety of technical computer-based processes, including AI, and decentralised ledgers (blockchain). The choice – the human choice – … Continue reading →
