Workshop on Logic and Computation
Welcome to Workshop on Logic and Computation, a mini-version of CTFM series (https://sendailogic.com/ctfm.html) at (BIMSA), aiming to develop computability theory and logical foundations of Mathematics.
日期
2025年08月28日 至 31日
位置
| Weekday | Time | Venue | Online | ID | Password |
|---|---|---|---|---|---|
| 周四,周五,周六,周日 | 09:00 - 18:00 | A7-201 | - | - | - |