Activities per year
Activities
- 9 results
Search results
-
CERCIRAS Training School 2022
Vardanega, T. (Organizer), Bilic, I. (Organizer), Kirkeby, M. H. (Organizer), Schoeberl, M. (Organizer), Pezzarossa, L. (Organizer), Fernandes, J. P. (Organizer), Santos, B. (Organizer), Kertesz, A. (Organizer) & Baniata, H. (Organizer)
19 Sept 2022 → 24 Sept 2022Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
31st International Symposium onLogic-based Program Synthesis and Transformation (Event)
Kirkeby, M. H. (Member)
7 Sept 2021Activity: Membership › Membership in committee, council, board
-
20th ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences (Event)
Kirkeby, M. H. (Member)
17 Aug 2021Activity: Membership › Membership in committee, council, board
-
42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (Event)
Kirkeby, M. H. (Member)
20 Jun 2021Activity: Membership › Membership in committee, council, board
-
Energy-Labeling Web-based IT Systems
Kirkeby, M. H. (Speaker)
17 Mar 2021Activity: Talk or presentation › Lecture and oral contribution
-
the Young Scientist's Third International Workshop on Trends in Information Processing 2019 (Event)
Kirkeby, M. H. (Member)
17 Sept 2019Activity: Membership › Membership in committee, council, board
-
The 26th International Workshop on Functional and Logic Programming
Christiansen, H. (Speaker) & Kirkeby, M. H. (Speaker)
6 Sept 2018Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
LOPSTR 2018 -28th International Symposium on Logic-Based Program Synthesis and Transformation
Christiansen, H. (Speaker) & Kirkeby, M. H. (Speaker)
4 Sept 2018 → 6 Sept 2018Activity: Participating in or organising an event › Organisation and participation in conference
-
Confluence in Constraint Handling Rules (Invited talk)
Kirkeby, M. H. (Speaker)
7 Jul 2018Activity: Talk or presentation › Lecture and oral contribution
File