Maja Hanne Kirkeby

Activities

Activities per year

2018 2018

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

Activities per year

Search results

• 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

• Confluence in Constraint Handling Rules (Invited talk)

  Maja Hanne Kirkeby (Speaker)

  7 Jul 2018

  Activity: Talk or presentation › Lecture and oral contribution

  File