Activities per year
Activities
- 7 results
Search results
-
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
-
Structural Proof Theory
Nicolas Guenot (Organizer)
5 Nov 2014 → 17 Dec 2014Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
-
ICE 2019 - 12th Interaction and Concurrency Experience (Event)
Hugo Andres Lopez (Member)
20 Jun 2019 → 21 Jun 2019Activity: Membership types › Membership in review committee
-
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
-
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
-
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
-
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