Publikationer pr. år
Publikationer pr. år
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
Person: VIP
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Lopez, Hugo Andres (Modtager), Marquard, Morten (Modtager), Muttenthaler, Lukas (Modtager) & Strømsted, Rasmus (Modtager), 30 okt. 2019
Pris: Priser, stipendier, udnævnelser
Carsten Schürmann (Arrangør)
Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i workshop, seminar og kursus
Rasmus Ejlers Møgelberg (Arrangør)
Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i workshop, seminar og kursus
Rasmus Ejlers Møgelberg (Arrangør)
Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i workshop, seminar og kursus
Marco Carbone & Alessandro Bruni
02/12/2022
1 Mediebidrag
Presse/medie
22/11/2022
1 Mediebidrag
Presse/medie
07/09/2022
1 Mediebidrag
Presse/medie