Programming Logic and Semantics

Organisation profile

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.itu.dk/

Fingerprint

Dive into the research topics where Programming Logic and Semantics is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
View all 14 researchers

  • Anamorphic Voting: Ballot Freedom Against Dishonest Authorities

    Giustolisi, R., Rakeei, M. & Lenzini, G., 2025, Financial Cryptography and Data Security. FC 2025 International Workshops - Voting. p. 266-280 15 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

    Open Access
    File

  • Formalizing Concentration Inequalities in Rocq: Infrastructure and Automation

    Affeldt, R., Bruni, A., Cohen, C., Saikawa, T. & Roux, P., Sept 2025, Leibniz International Proceedings in Informatics, LIPIcs. Vol. 16. p. 1-20 20 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access

  • Front Matter, Table of Contents, Preface, Conference Organization

    Møgelberg, R. E. (Editor) & van den Berg, B. (Editor), 3 Jul 2025, Leibniz International Proceedings in Informatics, LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 1-190 190 p. (Leibniz International Proceedings in Informatics, Vol. 336).

    Research output: Conference Article in Proceeding or Book/Report chapter › Preface/postscript › Research › peer-review

    Open Access
View all 192 research outputs
View all 7 datasets

  • Best demonstration award

    Lopez, H. A. (Recipient), Marquard, M. (Recipient), Muttenthaler, L. (Recipient) & Strømsted, R. (Recipient), 30 Oct 2019

    Prize: Prizes, scholarships, distinctions

  • 4 Organisation and participation in workshop, seminar, course
  • 1 Editor of Research journal
  • 1 Membership in review committee

  • Code Scanning

    Schürmann, C. (Organizer)

    7 Apr 2014 → 20 May 2014

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

  • Cubical sets

    Møgelberg, R. E. (Organizer)

    1 Dec 2014 → 2 Dec 2014

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

  • Homotopy type theory seminar

    Pouillard, N. (Organizer) & Møgelberg, R. E. (Organizer)

    5 Feb 2014 → …

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

View all 6 activities
View all 152 press/media
View all 31 projects