Programming Logic and Semantics

  • PostadresseVis på kort

    Rued Langgaards Vej 7, 4C corridor, RLV

    2300 Copenhagen

    Danmark

  • 4 Organisation og deltagelse i workshop, seminar og kursus
  • 1 Medlemskab af bedømmelsesudvalg
Filter
Organisation og deltagelse i workshop, seminar og kursus

Søgeresultater

  • Verifying Security Protocols in Tamarin

    Schürmann, C. (Arrangør)

    25 jan. 2016 → 29 jan. 2016

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

  • Homotopy type theory seminar

    Pouillard, N. (Arrangør) & Møgelberg, R. E. (Arrangør)

    5 feb. 2014 → …

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

  • Cubical sets

    Møgelberg, R. E. (Arrangør)

    1 dec. 2014 → 2 dec. 2014

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

  • Code Scanning

    Schürmann, C. (Arrangør)

    7 apr. 2014 → 20 maj 2014

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