Programming Logic and Semantics

Aktiviteter

Aktiviteter pr. år 2014 2014 2019

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

Aktiviteter pr. år

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

• ICE 2019 - 12th Interaction and Concurrency Experience (Begivenhed)

  Lopez, H. A. (Medlem)

  20 jun. 2019 → 21 jun. 2019

  Aktivitet: Medlemsskab - typer › Medlemskab af bedømmelsesudvalg

• 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