Programming, Logic and Intelligent Systems

Activities

11th Scandinavian Conference on Artificial Intelligence

Henning Christiansen (Organizer)

2011

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

Advances in Modal Logic (External organisation)

Torben Braüner (Member)

25 Aug 201029 Aug 2010

Activity: MembershipMembership in committee, council, board

5th International Workshop on Constraints and Language Processing (CSLP2008) : Co-organizer, co-chair for program committee

Henning Christiansen (Organizer)

11 Aug 200815 Aug 2008

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

1st International Work-Conference on Linguistics, Biology and Computer Science

Henning Christiansen (Speaker)

14 Mar 201118 Mar 2011

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

Program Committee (External organisation)

Troels Andreasen (Member)

1 Aug 200831 Jul 2009

Activity: MembershipMembership in committee, council, board

Reviewer for Natural Sciences and Engineering Research Council of Canada (Journal)

Henning Christiansen (Editor)

1 Jan 2008

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Tenth International Symposium on Functional and Logic Programming (FLOPS 2010) (External organisation)

John Patrick Gallagher (Member)

2010 → …

Activity: MembershipMembership in committee, council, board

Invited talk: From classical to intuitionistic hybrid logic

Torben Braüner (Lecturer)

23 Jun 2008

Activity: Talk or presentationLecture and oral contribution

ICLP 2011: 27th International Conference on Logic Programming

Henning Christiansen (Organizer)

2011

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

Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009 : Workshop participation; with presentation

Henning Christiansen (Participant)

21 Jun 200924 Jun 2009

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

Københavns Universitet (External organisation)

Henning Christiansen (Member)

13 Apr 201112 Dec 2011

Activity: MembershipMembership in review committee

Terminologiske ontologier og beskrivelseslogik: Et eksperiment inden for domænet enzymkemi

Sine Zambach (Speaker)

9 Jun 200910 Jun 2009

Activity: Talk or presentationLecture and oral contribution

14th International Conference on Practical Applications of Agents and Multi-Agent Systems

Henning Christiansen (Organizer)

1 Jun 2016

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

Program Committee (External organisation)

Troels Andreasen (Member)

1 Nov 201031 Oct 2011

Activity: MembershipMembership in committee, council, board

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

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

Probabilistic-logic models for analysis of language and biological sequence data

Henning Christiansen (Lecturer)

17 Apr 2009

Activity: Talk or presentationLecture and oral contribution

Higher Order and Symbolic Computation (Journal)

John Patrick Gallagher (Peer reviewer)

2010

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Proceedings of Reviewer for ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation (PEPM '08) (Journal)

Henning Christiansen (Editor)

1 Jan 2007

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

9th International Conference on Advances in Modal Logic (AiML 2012) (External organisation)

Torben Braüner (Member)

22 Aug 201225 Aug 2012

Activity: MembershipMembership in committee, council, board

Doctoral Examiner (Habilitation) University of Rennes (External organisation)

John Patrick Gallagher (Member)

Oct 2009

Activity: MembershipMembership in review committee

Universitat Rovira i Virgili

Henning Christiansen (Visiting researcher)

30 May 20105 Jun 2010

Activity: Visiting an external institutionVisiting an external academic institution

Program Committee (External organisation)

Troels Andreasen (Member)

1 Aug 200731 Jul 2008

Activity: MembershipMembership in committee, council, board

Universidade NOVA de Lisboa

Henning Christiansen (Visiting researcher)

24 Mar 200828 Mar 2008

Activity: Visiting an external institutionVisiting an external academic institution

LID 2008, Logic in Databases

Henning Christiansen (Participant)

19 May 200820 May 2008

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

University of Granada (External organisation)

Troels Andreasen (Member)

1 Apr 20111 Jul 2011

Activity: MembershipMembership in review committee

Lecture Notes in Computer Science (Journal)

Henning Christiansen (Editor)

1 Jan 2008

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

International Conference RANLP - 2007, Recent Advances in Natural Language Processing

Henning Christiansen (Participant)

27 Sep 200729 Sep 2007

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

Reviewer for ICLP 2010, International Conference for Logic Programming

Henning Christiansen (Participant)

16 Jul 201019 Jul 2010

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

Lecture Notes in Computer Science (Journal)

Mads Rosendahl (Editor)

1 Jan 2007

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Reasoning and language processing with Constraint Handling Rules

Henning Christiansen (Organizer)

12 Nov 201026 Nov 2010

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

23rd International Symposium on Methodologies for Intelligent Systems

Henning Christiansen (Participant)

26 Jun 2017

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

7th International Conference on Agents and Artificial Intelligence

Henning Christiansen (Organizer)

10 Jan 201512 Jan 2015

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

Universitat Rovira i Virgili

Henning Christiansen (Visiting researcher)

15 Oct 200928 Oct 2009

Activity: Visiting an external institutionVisiting an external academic institution

Methods for Modalities (External organisation)

John Patrick Gallagher (Member)

2009 → …

Activity: MembershipMembership in committee, council, board

NORDIC ERC WORKSHOP : How can we further improve our participation in ERCs calls?

Henning Christiansen (Participant)

2 Dec 2008

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

Aalborg University (External organisation)

Troels Andreasen (Member)

1 Feb 19991 Jun 1999

Activity: MembershipMembership in committee, council, board

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

John Patrick Gallagher (Member)

2008

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)

1 Aug 200731 Jul 2008

Activity: MembershipMembership in committee, council, board

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

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Editor)

15 Jan 201110 Jul 2011

Activity: Editorial work and peer reviewEditor of Research journalResearch

LOPSTR 2017 - International Symposium on Logic-Based Program Synthesis and Transformation (Event)

John Patrick Gallagher (Editor)

2017

Activity: Editorial work and peer reviewEditor of Research journalResearch

Acm Sigplan (External organisation)

John Patrick Gallagher (Member)

2009 → …

Activity: MembershipMembership in committee, council, board

ACM Transactions on Programming Languages and Systems (TOPLAS) (Journal)

John Patrick Gallagher (Peer reviewer)

20062011

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Logic-statistic modeling and analysis of biological sequence data: a research agenda

Henning Christiansen (Lecturer)

15 Sep 2007

Activity: Talk or presentationLecture and oral contribution

1st International Workshop on AI aspects of Reasoning, Information, and Memory (AIRIM’16)

Henning Christiansen (Organizer)

2016

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

CBIT (External organisation)

Henning Christiansen (Member)

1 Jun 20081 Oct 2008

Activity: MembershipMembership in review committee