Programming, Logic and Intelligent Systems

Activities

Linköpings universitet (External organisation)

Henning Christiansen (Member)

9 Oct 2012

Activity: MembershipMembership in review committee

27th International Conference on Database and Expert Systems Applications

Henning Christiansen (Organizer)

2016

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

Mathematical Programming Computation (Journal)

Keld Helsgaun (Editor)

24 Aug 2008 → …

Activity: Editorial work and peer reviewEditor of Research journalCommunication

International Conference on Logic Programming (ICLP’08) (External organisation)

John Patrick Gallagher (Member)

2010 → …

Activity: MembershipMembership in committee, council, board

Miniworkshop in the LoSt rojekt

Henning Christiansen (Organizer)

4 Mar 2009

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

ECML/PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology

Henning Christiansen (Organizer)

29 Sep 2012

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

Spring Course on Rule-based Programming

Christian Theil-Have (Participant)

18 May 200922 May 2009

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

Association for Computing Machinery (External organisation)

John Patrick Gallagher (Member)

20102011

Activity: MembershipMembership in committee, council, board

Keynote talk: Hybrid-Logical Proof-Theory: With an Application to False-Belief Tests

Torben Braüner (Speaker)

8 May 201712 May 2017

Activity: Talk or presentationLecture and oral contribution

Scandinavian Conference on Artificial Intelligence (External organisation)

John Patrick Gallagher (Member)

2008

Activity: MembershipMembership in committee, council, board

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

  IT og naturvidenskab - et fornuftsægteskab?

Sine Zambach (Lecturer)

5 Mar 2009

Activity: Talk or presentationLecture and oral contribution

Præsentation: Danser med robotter

Henning Christiansen (Speaker)

5 Sep 2019

Activity: Talk or presentationLecture and oral contribution

Princples of Programming Languages

Mads Rosendahl (Participant)

10 Jan 200812 Jan 2008

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

Limits on computing: Day of Science lecture March 7th 2007

Mads Rosendahl (Lecturer)

7 Mar 2007

Activity: Talk or presentationLecture and oral contribution

Semantics Based Cost Analysis

Mads Rosendahl (Lecturer)

19 Oct 2012

Activity: Talk or presentationLecture and oral contribution

Information Processing & Management (Journal)

Troels Andreasen (Peer reviewer)

1 Jan 200731 Dec 2012

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Censor, speciale

Henning Christiansen (Examiner)

26 Aug 2008

Activity: Examination

7th International Workshop on Confluence

Henning Christiansen (Speaker)

7 Jul 2018

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

Fundamenta Informaticae (Journal)

John Patrick Gallagher (Editor)

2020

Activity: Editorial work and peer reviewEditor of Research journalResearch

22nd International Conference on Database and Expert Systems Applications

Henning Christiansen (Organizer)

2011

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

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

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

The First LoSt Workshop, Logic-statistic analysis of biological sequence data

Henning Christiansen (Organizer)

5 Feb 20086 Feb 2008

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

Vært for kollega fra EPITECH, planlægning af studenterudveksling under Erasmus: - i samarbejde med RUCs Internationale Afdeling

Henning Christiansen (Participant)

24 Sep 201030 Sep 2010

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

Eighth International Workshop Modelling and Reasoning in Context

Henning Christiansen (Organizer)

2016

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

IEEE Computational Intelligence Society (External organisation)

Troels Andreasen (Member)

1 Jan 200531 Dec 2012

Activity: MembershipMembership in review committee

Universitat Rovira i Virgili

Henning Christiansen (Visiting researcher)

15 Apr 200920 Apr 2009

Activity: Visiting an external institutionVisiting an external academic institution

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Editor)

1 Jan 201231 Dec 2016

Activity: Editorial work and peer reviewEditor of Research journalResearch

The 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009) (External organisation)

John Patrick Gallagher (Chairman)

1 Mar 200914 Jul 2009

Activity: MembershipMembership in committee, council, board

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Editor)

20112017

Activity: Editorial work and peer reviewEditor of Research journalResearch

Hosting Davide Martinenghi, Univ. Bolzano, Italy(research cooperation)

Henning Christiansen (Participant)

30 May 20076 Jun 2007

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

Program Committee (External organisation)

Troels Andreasen (Chairman)

1 Dec 200830 Nov 2009

Activity: MembershipMembership in committee, council, board

Styregruppe (External organisation)

Henning Christiansen (Member)

24 Jul 2007 → …

Activity: MembershipMembership in board of company or public organisation

Forling 2008, Second International Workshop on Non-Classical Formal Languages in Linguistics

Henning Christiansen (Participant)

19 Sep 200820 Sep 2008

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

Frontiers of Combining Systems (FroCoS 2011) (External organisation)

Torben Braüner (Member)

5 Oct 20117 Oct 2011

Activity: MembershipMembership in committee, council, board

ISMIS 2018, 24th International Symposium on Methodologies for Intelligent Systems

Henning Christiansen (Organizer)

29 Oct 201831 Oct 2018

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

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

Springer (Publisher)

Henning Christiansen (Editor)

1 Jan 2009

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Springer (External organisation)

Troels Andreasen (Member)

1 Jan 200831 Dec 2010

Activity: MembershipMembership in committee, council, board

ETH Zürich

Henning Christiansen (Visiting researcher)

19 Mar 201021 Mar 2010

Activity: Visiting an external institutionVisiting an external academic institution

The 4th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledg

Henning Christiansen (Organizer)

28 Aug 2012

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

Technical University of Denmark (External organisation)

Troels Andreasen (Member)

1 Aug 200231 Dec 2002

Activity: MembershipMembership in committee, council, board

Sigplan Notices (Journal)

Mads Rosendahl (Editor)

1 Jan 2007

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Logic Grammars extended with Constraint Logic: Invited tutorial

Henning Christiansen (Lecturer)

19 Sep 2008

Activity: Talk or presentationLecture and oral contribution