Invited Talks – Page 2

↓

JAVASCRIPT IS DISABLED. Please enable JavaScript on your browser to best view this site.

Home→Categories ZJU Events→Invited Talks - Page 2 << 1 2 3 4 … 23 24 >>

Anuj Dawar: The Limits of Symmetric Computation

Posted on 2021-06-02 by Chen2021-06-06

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 →

Maurice Chiodo: Ethical issues in mathematical processes

Posted on 2021-06-02 by Chen2021-06-06

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 →

Jinsheng Chen: Sequent Calculi for Global Modal Consequence Relations

Posted on 2021-01-07 by Luoyu2021-01-07

西溪逻辑论坛第147期

Continue reading →

↑

Xixi Logic

Category Archives: Invited Talks

Anuj Dawar: The Limits of Symmetric Computation

Maurice Chiodo: Ethical issues in mathematical processes

Jinsheng Chen: Sequent Calculi for Global Modal Consequence Relations