Programming Logic and Semantics

Organisationsprofil

Organisationsprofil

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

Dyk ned i forskningsemnerne, hvor Programming Logic and Semantics er aktive. Disse emneetiketter kommer fra arbejder fra denne organisations medlemmer. Sammen danner de et unikt fingerprint.
Se fuldt fingerprint

Samarbejde og topforskningsområder i de sidste fem år

Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Udforsk netværk yderligere
Se alle 10 forskere

  • Anamorphic Voting: Ballot Freedom Against Dishonest Authorities

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

    Åben adgang
    Fil

  • Formalizing Concentration Inequalities in Rocq: Infrastructure and Automation

    Affeldt, R., Bruni, A., Cohen, C., Saikawa, T. & Roux, P., sep. 2025, 16th International Conference on Interactive Theorem Proving (ITP 2025). Bind 16. s. 1-20 20 s. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

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

    Møgelberg, R. E. (Redaktør) & van den Berg, B. (Redaktør), 3 jul. 2025, 30th International Conference on Types for Proofs and Programs (TYPES 2024). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 1-190 190 s. (Leibniz International Proceedings in Informatics, Bind 336).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Forord/efterskrift › Forskning › peer review

    Åben adgang
Se alle 191 publikationer
Se alle 7 forskningsdatasæt

  • Best demonstration award

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

    Pris: Priser, stipendier, udnævnelser

  • 4 Organisation og deltagelse i workshop, seminar og kursus
  • 1 Redaktør af tidsskrift
  • 1 Medlemskab af bedømmelsesudvalg

  • 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

  • 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

  • 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

Se alle 6 aktiviteter
Se alle 150 presse/medier
Se alle 31 projekter