Theoretical Computer Science

Aktiviteter

Aktiviteter pr. år 2014 2014 2015 2016 2023

• 9 Organisation og deltagelse i konference
• 5 Organisation og deltagelse i workshop, seminar og kursus
• 3 Foredrag og mundtlige bidrag
• 2 Medlemskab af bedømmelsesudvalg
• 1 Mere
  • 1 Andet (priser, ekstern undervisning samt andet). - Priser, stipendier, udnævnelser

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

• PhD Course - Analysis of Boolean Functions

  Dusefante, M. (Arrangør)

  4 apr. 2016 → 19 jun. 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