Activities per year
Activities
- 5 results
Search results
-
Code Scanning
Carsten Schürmann (Organizer)
7 Apr 2014 → 20 May 2014Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
-
Cubical sets
Rasmus Ejlers Møgelberg (Organizer)
1 Dec 2014 → 2 Dec 2014Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
-
Homotopy type theory seminar
Rasmus Ejlers Møgelberg (Organizer)
5 Feb 2014 → …Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
-
Homotopy type theory seminar
Nicolas Pouillard (Organizer)
5 Feb 2014 → …Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
-
Verifying Security Protocols in Tamarin
Carsten Schürmann (Organizer)
25 Jan 2016 → 29 Jan 2016Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course