Weekly informal meeting and PhD course Types and programming languages at the Department of Computer Science and Engineering, Chalmers and Gothenburg University
Academic year 2021/22:
- First meeting on Thu, 9 Sep 2021
- Schedule: see wiki
- Mailing list: initial-types@lists.chalmers.se (subscribe to receive announcements, archive)
Content:
- Types and programming languages
- Type theory
- Category theory
- Proof theory
- Foundations of mathematics
- More…
Format:
- Introductory lectures
- Presentation of influential papers
- Tutorials and exercises
- Presentation and discussion of Master theses
- Presentation and discussion of Master theses proposals
Intended for:
- Master students (working on official status)
- PhD students (PhD course, examiner: Andreas Abel)
- Junior researchers
- Anyone else with a strong interest
PhD students: To get ECTS credit, you need to
- attend the meetings
- hold a lecture and
- submit the accompanying material (lecture notes/slides/code) to the repo
The amount of ECTS points is estimated as usual by 1.5 ECTS / 40 h.