Jade Vanadium
|
Jade Vanadium
|
|
00:00 06:00 12:00 18:00 |
|
|
Su Mo Tu We Th Fr Sa |
19
♦ Logic
This room is meant for discussion about logic, including foundations, deductive systems, proof theory, computability theory, model theory, ...
♦ Computability & Computer Science & Pr…
For interesting things involving computability or computer science or programming, but preferably involving all three.
7d ago – user51462