Photo of Maja Hanne Kirkeby
  • Universitetsvej 1, 10.1

    DK-4000 Roskilde

    Denmark

20142020

Research output per year

If you made any changes in Pure these will be visible here soon.

Activities

  • 1 Organisation and participation in conference
  • 1 Participation in workshop, seminar, course
  • 1 Lecture and oral contribution

The 26th International Workshop on Functional and Logic Programming

Henning Christiansen (Speaker), & Maja Hanne Kirkeby (Speaker)

6 Sep 2018

Activity: Participating in or organising an eventParticipation in workshop, seminar, course

Confluence in Constraint Handling Rules (Invited talk)

Maja Hanne Kirkeby (Speaker)

7 Jul 2018

Activity: Talk or presentationLecture and oral contribution

File

LOPSTR 2018 -28th International Symposium on Logic-Based Program Synthesis and Transformation

Henning Christiansen (Speaker), & Maja Hanne Kirkeby (Speaker)

4 Sep 20186 Sep 2018

Activity: Participating in or organising an eventOrganisation and participation in conference