Publikationer pr. år
Publikationer pr. år
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.
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
Profiler
-
Patrick Bahr
- Theoretical Computer Science - Lektor
- Programming Logic and Semantics
- Kandidat i Softwaredesign - Linjeleder
Person: VIP
Publikation
-
Modelling Recursion and Probabilistic Choice in Guarded Type Theory
Stassen, P., Møgelberg, R. E., Zwart, M. A., Aguirre, A. & Birkedal, L., 2025, I: Proceedings of the ACM on Programming Languages. 9, POPLPublikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
Åben adgangFil -
A Probabilistic Choreography Language for PRISM
Carbone, M. & Veschetti, A., 2024, LNCS. Springer, Bind 14676. s. 20-37 18 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
-
Asynchronous Reactive Programming with Modal Types in Haskell
Bahr, P., Houlborg, E. & Rørdam, G. T. S., 10 jan. 2024, Practical Aspects of Declarative Languages. Springer Nature Switzerland, Bind 14512. s. 18-36 (Lecture Notes in Computer Science).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil
Forskningsdatasæt
-
Supplementary Material for "Calculating Compilers for Concurrency"
Bahr, P. (Ophavsmand) & Hutton, G. (Ophavsmand), ZENODO, 31 maj 2023
DOI: 10.5281/zenodo.8124116, https://zenodo.org/record/8124116
Datasæt: Software
-
Supplementary Material for "Monadic Compiler Calculation"
Bahr, P. (Ophavsmand) & Hutton, G. (Ophavsmand), ZENODO, 27 maj 2022
DOI: 10.5281/zenodo.6794696, https://zenodo.org/record/6794696
Datasæt: Software
-
CPP21 Artifact - Machine-Checked Semantic Session Typing
Hinrichsen, J. K. (Ophavsmand), ZENODO, 15 dec. 2020
DOI: 10.5281/zenodo.4322752, https://zenodo.org/record/4322752
Datasæt: Software
Priser
-
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
Aktiviteter
-
Code Scanning
Schürmann, C. (Arrangør)
7 apr. 2014 → 20 maj 2014Aktivitet: 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. 2014Aktivitet: 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
Presse/medier
-
Co-financed PhD scholarships for the FIRST Research School
Birkedal, L. (PI) & Hildebrandt, T. (PI)
Danish Council for Technology and Innovation
01/01/2009 → 15/08/2013
Projekter: Projekt › Forskning
-
GAINER: GrAdual sessIoN typEs for pRivacy
Carbone, M. (PI), Bruni, A. (CoI) & Ørup Kristensen, E. (CoI)
02/01/2023 → 31/05/2024
Projekter: Projekt › Andet
-
Jingling Genie: Context-Sensitive Services Developed in Global Collaboration
Staunstrup, J. (PI), Hildebrandt, T. (CoI), Stald, G. B. (CoI) & Hansen, J. P. (CoI)
Danish Council for Strategic Research
01/01/2009 → 31/12/2013
Projekter: Projekt › Forskning