Programming Logic and Semantics

Postal addressShow on map
Rued Langgaards Vej 7, 4C corridor, RLV
2300 Copenhagen
Denmark

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
ICE 2019 - 12th Interaction and Concurrency Experience (Event)
Lopez, H. A. (Member)
20 Jun 2019 → 21 Jun 2019
Activity: Membership types › Membership in review committee
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