Workshop on Logic and Computation
This is an mini-CTFM workshop. The series of workshops on Computability Theory and Foundations of Mathematics (CTFM) aims to develop computability theory and logical foundations of Mathematics. The scope involves the topics Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory.
日期
2025年08月25日 至 29日
位置
| Weekday | Time | Venue | Online | ID | Password |
|---|---|---|---|---|---|
| 周一,周二,周三,周四,周五 | 09:00 - 18:00 | A6-101 | ZOOM 05 | 293 812 9202 | BIMSA |