Programming Logic and Semantics

Filter
Organisation og deltagelse i workshop, seminar og kursus

Søgeresultater

  • Verifying Security Protocols in Tamarin

    Carsten Schürmann (Arrangør)

    25 jan. 201629 jan. 2016

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerOrganisation og deltagelse i workshop, seminar og kursus

  • Homotopy type theory seminar

    Rasmus Ejlers Møgelberg (Arrangør)

    5 feb. 2014 → …

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerOrganisation og deltagelse i workshop, seminar og kursus

  • Homotopy type theory seminar

    Nicolas Pouillard (Arrangør)

    5 feb. 2014 → …

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerOrganisation og deltagelse i workshop, seminar og kursus

  • Cubical sets

    Rasmus Ejlers Møgelberg (Arrangør)

    1 dec. 20142 dec. 2014

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerOrganisation og deltagelse i workshop, seminar og kursus

  • Code Scanning

    Carsten Schürmann (Arrangør)

    7 apr. 201420 maj 2014

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerOrganisation og deltagelse i workshop, seminar og kursus