Activities per year
Activities
Search results
-
The 26th International Workshop on Functional and Logic Programming
Henning Christiansen (Speaker) & Maja Hanne Kirkeby (Speaker)
6 Sep 2018Activity: 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 2018Activity: Participating in or organising an event › Organisation and participation in conference
-
Confluence in Constraint Handling Rules (Invited talk)
Maja Hanne Kirkeby (Speaker)
7 Jul 2018Activity: Talk or presentation › Lecture and oral contribution
File