Programming, Logic and Intelligent Systems

Activities

Besøg hos Tilburg School of Humanities; lærerudveksling under Erasmus med henblik på kommende studenterudveksling

Henning Christiansen (Participant)

19 Feb 20122 Mar 2012

Activity: OtherOther (prizes, external teaching and other activities) - Other

Advances in Modal Logic (External organisation)

Torben Braüner (Member)

25 Aug 201029 Aug 2010

Activity: MembershipMembership in committee, council, board

Advances in Modal Logic (External organisation)

Torben Braüner (Member)

1 Jan 201031 Dec 2012

Activity: MembershipMembership in committee, council, board

Advances in Modal Logic 2016 (Event)

Torben Braüner (Member)

30 Aug 20162 Sep 2016

Activity: MembershipMembership in committee, council, board

Advisory board member, FQAS2009 Flexible Query Answering Systems (External organisation)

Troels Andreasen (Member)

1 Dec 200830 Nov 2009

Activity: MembershipMembership in committee, council, board

Big Data

Henrik Bulskov (Speaker)

1 Apr 2019

Activity: Talk or presentationLecture and oral contribution

Big Data - definition, usage and pitfalls

Henrik Bulskov (Speaker)

25 Apr 2019

Activity: Talk or presentationLecture and oral contribution

Association for Computing Machinery (External organisation)

John Patrick Gallagher (Member)

20102011

Activity: MembershipMembership in committee, council, board

Association for Computing Machinery (External organisation)

John Patrick Gallagher (Chairman)

1 Jun 200919 Jan 2010

Activity: MembershipMembership in committee, council, board

Association for Logic Programming (External organisation)

John Patrick Gallagher (Chairman)

1 Aug 201010 Jul 2011

Activity: MembershipMembership in committee, council, board

Association for Logic Programming (External organisation)

John Patrick Gallagher (Member)

20082011

Activity: MembershipMembership in committee, council, board

A TRIBUTE WORKSHOP AND FESTIVAL TO HONOR Professor Dr. Neil D. Jones

Henning Christiansen (Participant)

25 Aug 200726 Aug 2007

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

Autism Research Network Meeting

Torben Braüner (Organizer), , Patrick Rowan Blackburn (Organizer), & Irina Polyanskaya (Organizer)

26 May 2016

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

Censor, 2 specialer

Henning Christiansen (Examiner)

26 Jun 2008

Activity: Examination

Censor, kursus i databaser

Henning Christiansen (Examiner)

29 Oct 2008

Activity: Examination

Censor, projektarbejde

Henning Christiansen (Examiner)

26 Aug 2008

Activity: Examination

Censor, speciale

Henning Christiansen (Examiner)

26 Aug 2008

Activity: Examination

Censor, speciale

Henning Christiansen (Examiner)

9 Apr 2008

Activity: Examination

Censor/External examiner. ITU: Specialeprojekt, 2 stud.

Henning Christiansen (Participant)

14 Apr 2009

Activity: OtherOther (prizes, external teaching and other activities) - Other

Censor for AAlborg Universitet/Esbjerg

Henning Christiansen (Examiner)

17 Jun 2011

Activity: Examination

Conference participation with poster presentation and robot demo

Henning Christiansen (Other), , Mads Hobye (Other), & Anja Mølle Lindelof (Other)

5 Mar 20198 Mar 2019

Activity: Talk or presentationLecture and oral contribution

BNCOD, 24th British National Conference on Databases

Henning Christiansen (Participant)

3 Jul 20075 Jul 2007

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

DANSAS 2009

Mads Rosendahl (Speaker)

20 Aug 2009

Activity: Talk or presentationLecture and oral contribution

CBIT (External organisation)

Henning Christiansen (Member)

1 Jun 20081 Oct 2008

Activity: MembershipMembership in review committee

Censor for IT-universitetet: Speciale for 2 studerende og 2 studenterprojekter

Henning Christiansen (Participant)

21 Apr 2009 → …

Activity: OtherOther (prizes, external teaching and other activities) - Other

China-Denmark Graduate Course Cross-Disciplinary Nano-Bio-IT Research

Christian Theil-Have (Participant)

6 Jun 200911 Jun 2009

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

CHR 2008, Fifth Workshop on Constraint Handling Rules

Henning Christiansen (Participant)

14 Jul 2008

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

CHR 2009, Sixth International Workshop on Constraint Handling Rules : Workshop participation

Christian Theil-Have (Participant)

15 Jul 2010

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

CHR 2009, Sixth International Workshop on Constraint Handling Rules : Workshop participation

Henning Christiansen (Participant)

15 Jul 2009

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

CHR 2010: Seventh International Workshop on Constraint Handling Rules

Henning Christiansen (Organizer)

20 Jul 2010

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

CHR 2010: Seventh International Workshop on Constraint Handling Rules

Henning Christiansen (Participant)

20 Jul 2010

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

CHR 2010: Seventh International Workshop on Constraint Handling Rules

Christian Theil-Have (Participant)

20 Jul 2010

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

CHR 2012 Ninth International Workshop on Constraint Handling Rules

Henning Christiansen (Organizer)

4 Sep 2012

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

CHR 2012 Ninth International Workshop on Constraint Handling Rules

Henning Christiansen (Speaker)

4 Sep 2012

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

CICLOPS 2008, Colloquium on Implementation of Constraint and LOgic Programming Systems

Henning Christiansen (Organizer)

12 Dec 200812 Jan 2009

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

Cognitive, linguistic and logical aspects of perspective-taking

Torben Braüner (Organizer), , Patrick Rowan Blackburn (Organizer), & Irina Polyanskaya (Organizer)

27 May 2015

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

Cognitive, linguistic and logical aspects of perspective-taking II

Torben Braüner (Organizer), , Patrick Rowan Blackburn (Organizer), & Irina Polyanskaya (Organizer)

26 May 2016

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

Confluence in Constraint Handling Rules (Invited talk)

Maja Hanne Kirkeby (Speaker)

7 Jul 2018

Activity: Talk or presentationLecture and oral contribution

File

CONTEXT-09, Seventh International and Interdisciplinary Conference on Modeling and Using Context : Member of steering committee

Henning Christiansen (Participant)

12 Oct 2007 → …

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

CSCLP 2008, Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming

Henning Christiansen (Participant)

18 Jun 200820 Jun 2008

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

CSLP 2012

Henning Christiansen (Organizer)

13 Sep 201214 Sep 2012

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

CSLP 2012

Henning Christiansen (Participant)

13 Sep 201214 Sep 2012

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

CSLP 2016

Henning Christiansen (Organizer)

2016

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

DANSAS 2010

Mads Rosendahl (Participant)

19 Aug 2010

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

DanSAS 2012

Mads Rosendahl (Participant)

24 Aug 2012

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

Description Logics study group : Studying DL, specialy using Baader et al: The Description Logics Handbook, 2008

Sine Zambach (Organizer)

2 Sep 200931 Mar 2010

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

DEXA '12

Henning Christiansen (Organizer)

3 Sep 20126 Sep 2012

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

DEXA 2008, 19th International Conference on Database and Expert Systems Applications : Medlem af programkommittee; peer reviewing

Henning Christiansen (Organizer)

1 Sep 20085 Sep 2008

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