Theoretical Computer Science

9 Organisation and participation in conference
5 Organisation and participation in workshop, seminar, course
3 Lecture and oral contribution
2 Membership in review committee
More
- 1 Other (prizes, external teaching and other activities) - Prizes, scholarships, distinctions

Filter

Verifying Security Protocols in Tamarin
Schürmann, C. (Organizer)
25 Jan 2016 → 29 Jan 2016
Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
PhD Course - Analysis of Boolean Functions
Dusefante, M. (Organizer)
4 Apr 2016 → 19 Jun 2016
Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
Homotopy type theory seminar
Pouillard, N. (Organizer) & Møgelberg, R. E. (Organizer)
5 Feb 2014 → …
Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
Cubical sets
Møgelberg, R. E. (Organizer)
1 Dec 2014 → 2 Dec 2014
Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
Code Scanning
Schürmann, C. (Organizer)
7 Apr 2014 → 20 May 2014
Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course

Activities