ITU
Rasmus Ejlers Møgelberg

Rasmus Ejlers Møgelberg

Associate Professor

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Building: 4C12

Phone: +45 7218 5297

Information Desk: 72185000

Research Group Coordinator

Programming Logic and Semantics

View graph of relations

1 - 2 out of 2Page size: 100
Sort by: Start date
  1. 2014

  2. Cubical sets

    Rasmus Ejlers Møgelberg (Organizer)

    1 Dec 2014 → 2 Dec 2014

    Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course

  3. Homotopy type theory seminar

    Rasmus Ejlers Møgelberg (Organizer)

    5 Feb 2014 → …

    Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course

ID: 263471