Publikationer pr. år
Publikationer pr. år
Rued Langgaards Vej 7, 4C corridor, RLV
2300 Copenhagen
Danmark
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/
Person: VIP
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
Publikation: Afhandlinger › Ph.d.-afhandling
Publikation: Afhandlinger › Ph.d.-afhandling
Hinrichsen, J. K. (Ophavsmand), ZENODO, 15 dec. 2020
DOI: 10.5281/zenodo.4322752, https://zenodo.org/record/4322752
Datasæt: Software
Bahr, P. (Ophavsmand) & Hutton, G. (Ophavsmand), ZENODO, 27 maj 2022
DOI: 10.5281/zenodo.6794696, https://zenodo.org/record/6794696
Datasæt: Software
Zac, G. (Ophavsmand), Hutton, G. (Ophavsmand) & Patrick, B. (Ophavsmand), ZENODO, 18 jul. 2024
DOI: 10.5281/zenodo.12771956, https://zenodo.org/records/12771956
Datasæt: Software
Lopez, H. A. (Modtager), Marquard, M. (Modtager), Muttenthaler, L. (Modtager) & Strømsted, R. (Modtager), 30 okt. 2019
Pris: Priser, stipendier, udnævnelser
Schürmann, C. (Arrangør)
Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i workshop, seminar og kursus
Møgelberg, R. E. (Arrangør)
Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i workshop, seminar og kursus
Pouillard, N. (Arrangør) & Møgelberg, R. E. (Arrangør)
Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i workshop, seminar og kursus
09/05/2025
1 Mediebidrag
Presse/medie
Hildebrandt, T. (PI), Bardram, J. (CoI), Mukkamala, R. R. (CoI) & Bunde-Pedersen, J. (CoI)
Danish Council for Strategic Research
01/01/2008 → 30/06/2012
Projekter: Projekt › Forskning
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
Wasowski, A. (PI), Abal, I. (CoI), Mukkamala, R. R. (CoI), Al-Sibahi, A. S. (CoI), Dimovski, A. (CoI) & Iosif-Lazăr, A. F. (CoI)
01/04/2013 → 31/08/2017
Projekter: Projekt › Forskning