Subject: Initial Types Club - https://github.com/InitialTypes/Club

Description: Weekly informal meeting and PhD course Types and programming languages at the Department of Computer Science and Engineering, Chalmers and Gothenburg University

Time: Thursdays, 16.00-17.30
Location: online (Zoom)
Website: https://github.com/InitialTypes/Club/wiki

Content:

- Types and programming languages
- Type theory
- Foundations of mathematics
- More...