Photo of Maja Hanne Kirkeby
 

Maja Hanne Kirkeby

PhD

 https://orcid.org/0000-0003-0033-2438

  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

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

Activities 2018 2018

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

Confluence in Constraint Handling Rules (Invited talk)

Maja Hanne Kirkeby (Speaker)
7 Jul 2018

Activity: Talk or presentation › Lecture and oral contribution

File

WFLP 2018, 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 event › Participation in workshop, seminar, course

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

Henning Christiansen (Speaker), Maja Hanne Kirkeby (Speaker)
4 Sep 2018 → 6 Sep 2018

Activity: Participating in or organising an event › Organisation and participation in conference