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.
Organizers
Date
28th ~ 31st August, 2025
Location
| Weekday | Time | Venue | Online | ID | Password |
|---|---|---|---|---|---|
| Thursday,Friday,Saturday,Sunday | 09:00 - 18:00 | A7-201 | - | - | - |