Programming Logic and Semantics

Filter
Organisation and participation in workshop, seminar, course

Search results

  • Code Scanning

    Carsten Schürmann (Organizer)

    7 Apr 201420 May 2014

    Activity: Participating in or organising an event typesOrganisation and participation in workshop, seminar, course

  • Cubical sets

    Rasmus Ejlers Møgelberg (Organizer)

    1 Dec 20142 Dec 2014

    Activity: Participating in or organising an event typesOrganisation and participation in workshop, seminar, course

  • Homotopy type theory seminar

    Nicolas Pouillard (Organizer)

    5 Feb 2014 → …

    Activity: Participating in or organising an event typesOrganisation 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 typesOrganisation and participation in workshop, seminar, course

  • Structural Proof Theory

    Nicolas Guenot (Organizer)

    5 Nov 201417 Dec 2014

    Activity: Participating in or organising an event typesOrganisation and participation in workshop, seminar, course

  • Verifying Security Protocols in Tamarin

    Carsten Schürmann (Organizer)

    25 Jan 201629 Jan 2016

    Activity: Participating in or organising an event typesOrganisation and participation in workshop, seminar, course