Programming Logic and Semantics

  • 6 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

    Carsten Schürmann (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

  • Structural Proof Theory

    Nicolas Guenot (Arrangør)

    5 nov. 2014 → 17 dec. 2014

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation 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 - typer › Organisation 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 - typer › Organisation og deltagelse i workshop, seminar og kursus

  • Cubical sets

    Rasmus Ejlers Møgelberg (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

    Carsten Schürmann (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