Programming Logic and Semantics

  • 6 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

    Carsten Schürmann (Organizer)

    25 Jan 2016 → 29 Jan 2016

    Activity: 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 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

  • 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 2014

    Activity: 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 2014

    Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course