Initial Types Club

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

• 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

Alias: PhD course Types and programming languages

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.