Skip to content
master
Go to file
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
img
 
 
 
 
 
 
 
 
 
 

README.md

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

Academic year 2020/21:

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.

About

Organization and planning for the Initial Types Club

Resources

Releases

No releases published

Packages

No packages published
You can’t perform that action at this time.