Programming Logic and Semantics

  • Postal addressShow on map

    Rued Langgaards Vej 7, 4C corridor, RLV

    2300 Copenhagen

    Denmark

  • 4 Organisation and participation in workshop, seminar, course
  • 1 Membership in review committee
Filter
Organisation and participation in workshop, seminar, course

Search results

  • 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

  • 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