Maja Hanne Kirkeby - Activities - Roskilde University Research Portal

View Scopus Profile

Phone+45 4674 2515
Emailmajahtrucdk

Universitetsvej 1, 44.2
DK-4000 Roskilde
Denmark

4 Membership in committee, council, board
2 Participation in workshop, seminar, course
2 Lecture and oral contribution
1 Organisation and participation in conference

1 results
- Title
- Start date(ascending)

Filter

LOPSTR 2018 -28th International Symposium on Logic-Based Program Synthesis and Transformation
Christiansen, H. (Speaker) & Kirkeby, M. H. (Speaker)
4 Sept 2018 → 6 Sept 2018
Activity: Participating in or organising an event › Organisation and participation in conference