Aktiviteter pr. år
Aktiviteter
- 9 resultater
Søgeresultater
-
CERCIRAS Training School 2022
Vardanega, T. (Arrangør), Bilic, I. (Arrangør), Kirkeby, M. H. (Arrangør), Schoeberl, M. (Arrangør), Pezzarossa, L. (Arrangør), Fernandes, J. P. (Arrangør), Santos, B. (Arrangør), Kertesz, A. (Arrangør) & Baniata, H. (Arrangør)
19 sep. 2022 → 24 sep. 2022Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus
-
31st International Symposium onLogic-based Program Synthesis and Transformation (Begivenhed)
Kirkeby, M. H. (Medlem)
7 sep. 2021Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
20th ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences (Begivenhed)
Kirkeby, M. H. (Medlem)
17 aug. 2021Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (Begivenhed)
Kirkeby, M. H. (Medlem)
20 jun. 2021Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Energy-Labeling Web-based IT Systems
Kirkeby, M. H. (Oplægsholder)
17 mar. 2021Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
the Young Scientist's Third International Workshop on Trends in Information Processing 2019 (Begivenhed)
Kirkeby, M. H. (Medlem)
17 sep. 2019Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
The 26th International Workshop on Functional and Logic Programming
Christiansen, H. (Taler) & Kirkeby, M. H. (Taler)
6 sep. 2018Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus
-
LOPSTR 2018 -28th International Symposium on Logic-Based Program Synthesis and Transformation
Christiansen, H. (Taler) & Kirkeby, M. H. (Taler)
4 sep. 2018 → 6 sep. 2018Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
-
Confluence in Constraint Handling Rules (Invited talk)
Kirkeby, M. H. (Oplægsholder)
7 jul. 2018Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Fil