ITU
ITU

Programming Logic and Semantics

Organisational unit: Research Group

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

Research Group Coordinator

Rasmus Ejlers Møgelberg (mogel@itu.dk)

Organisation profile

Programming, Logic and Semantics

The Programming, Logic and Semantics group is concerned with the foundation of programming languages. Where the Software Development Group focuses on specific programs and languages, this group focuses on fundamental research in computer science. With backgrounds in computer science, mathematics and philosophy the researchers have taken on one of the greatest challenges in computer science: to ensure that the software of the future is not riddled with errors. The main focus is on supplying stronger guarantees of programs working as intended from the start.

Visit the group’s own website:
https://pls.wikit.itu.dk/

  1. 2019
  2. ICE 2019 - 12th Interaction and Concurrency Experience (Event)

    Hugo Andres Lopez (Member)
    20 Jun 201921 Jun 2019

    Activity: Membership typesMembership in review committee

  3. 2016
  4. Verifying Security Protocols in Tamarin

    Carsten Schürmann (Organizer)
    25 Jan 201629 Jan 2016

    Activity: Participating in or organising an event typesOrganisation and participation in workshop, seminar, course

  5. 2014
  6. Cubical sets

    Rasmus Ejlers Møgelberg (Organizer)
    1 Dec 20142 Dec 2014

    Activity: Participating in or organising an event typesOrganisation and participation in workshop, seminar, course

  7. Structural Proof Theory

    Nicolas Guenot (Organizer)
    5 Nov 201417 Dec 2014

    Activity: Participating in or organising an event typesOrganisation and participation in workshop, seminar, course

  8. Code Scanning

    Carsten Schürmann (Organizer)
    7 Apr 201420 May 2014

    Activity: Participating in or organising an event typesOrganisation and participation in workshop, seminar, course

  9. Homotopy type theory seminar

    Nicolas Pouillard (Organizer)
    5 Feb 2014 → …

    Activity: Participating in or organising an event typesOrganisation and participation in workshop, seminar, course

  10. Homotopy type theory seminar

    Rasmus Ejlers Møgelberg (Organizer)
    5 Feb 2014 → …

    Activity: Participating in or organising an event typesOrganisation and participation in workshop, seminar, course