Programming, Logic and Intelligent Systems

Activities

Partial Evaluation and Program Manipulation' 08 (External organisation)

Mads Rosendahl (Member)

7 Jan 20088 Jan 2008

Activity: MembershipMembership in review committee

Prioritized Abduction with CHR

Henning Christiansen (Lecturer)

14 Jul 2008

Activity: Talk or presentationLecture and oral contribution

Program Committee (External organisation)

Troels Andreasen (Member)

1 Jul 200830 Jun 2009

Activity: MembershipMembership in committee, council, board

The 15th International Static Analysis Symposium

Mads Rosendahl (Participant)

16 Jul 200818 Jul 2008

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

The 15th International Static Analysis Symposium SAS 2008 (External organisation)

John Patrick Gallagher (Member)

2008

Activity: MembershipMembership in committee, council, board

Proceedinds of The 15th International Static Analysis Symposium, SAS 2008 (Journal)

Henning Christiansen (Editor)

1 Jan 2008

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

the second International Workshop ForLing; NON-CLASSICAL FORMAL LANGUAGES IN LINGUISTICS

Henning Christiansen (Organizer)

29 Jan 200829 Aug 2008

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

Invited Talk: Scalable Static Analysis based on Regular Types

John Patrick Gallagher (Lecturer)

Oct 2008

Activity: Talk or presentationLecture and oral contribution

Mathematical Programming Computation (Journal)

Keld Helsgaun (Editor)

24 Aug 2008 → …

Activity: Editorial work and peer reviewEditor of Research journalCommunication

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

Princples of Programming Languages

Mads Rosendahl (Participant)

10 Jan 200812 Jan 2008

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

Censor, speciale

Henning Christiansen (Examiner)

26 Aug 2008

Activity: Examination

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

Program Committee (External organisation)

Troels Andreasen (Chairman)

1 Dec 200830 Nov 2009

Activity: MembershipMembership in committee, council, board

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

Springer (External organisation)

Troels Andreasen (Member)

1 Jan 200831 Dec 2010

Activity: MembershipMembership in committee, council, board

Logic Grammars extended with Constraint Logic: Invited tutorial

Henning Christiansen (Lecturer)

19 Sep 2008

Activity: Talk or presentationLecture and oral contribution

Vært for Nicos Angelopoulos; forskningsbesøg på RUC: som led i LoSt-projektet

Henning Christiansen (Participant)

19 May 2008

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

Linköpings universitet (External organisation)

John Patrick Gallagher (Member)

Feb 2008

Activity: MembershipMembership in review committee

Springer (Publisher)

Henning Christiansen (Editor)

1 Jan 2008

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Reviewer for tidsskrift "Knowledge based systems" (Journal)

Troels Andreasen (Peer reviewer)

1 Jan 200831 Dec 2012

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Fuzzy Sets and Systems (Journal)

Henning Christiansen (Editor)

1 Jan 2008

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Vært for Davide Martinenghi, Unversita di Milano; forskningsophold på RUC

Henning Christiansen (Participant)

29 Jul 20081 Aug 2008

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

Scandinavian Conference on Artificial Intelligence

Henning Christiansen (Organizer)

26 May 200828 May 2008

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

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

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

Invited talk: From classical to intuitionistic hybrid logic

Torben Braüner (Lecturer)

23 Jun 2008

Activity: Talk or presentationLecture and oral contribution

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

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

Lecture Notes in Computer Science (Journal)

Henning Christiansen (Editor)

1 Jan 2008

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

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

John Patrick Gallagher (Member)

2008

Activity: MembershipMembership in committee, council, board

CBIT (External organisation)

Henning Christiansen (Member)

1 Jun 20081 Oct 2008

Activity: MembershipMembership in review committee

Program Committee (External organisation)

Troels Andreasen (Member)

1 Aug 200831 Jul 2009

Activity: MembershipMembership in committee, council, board

Forskerskole FIRST (External organisation)

Ole Torp Lassen (Member)

1 Feb 200831 Jul 2010

Activity: MembershipMembership in research network

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

Vært for Maria Grineva, Russian Academy of Science; forskningsbesøg på RUC: som led i CONTROL-projektet. SNF

Henning Christiansen (Participant)

28 Jun 20081 Jul 2008

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

Probabilistic Abductive Logic Programming implemented with Constraint Handling Rules

Henning Christiansen (Lecturer)

27 Mar 2008

Activity: Talk or presentationLecture and oral contribution

Censor, projektarbejde

Henning Christiansen (Examiner)

26 Aug 2008

Activity: Examination

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

Aalborg University

Henning Christiansen (Visiting researcher)

24 Jun 200826 Jun 2008

Activity: Visiting an external institutionVisiting an external academic institution

Censor, speciale

Henning Christiansen (Examiner)

9 Apr 2008

Activity: Examination

10th International Conference on Enterprise Information Systems : Member of program committee

Henning Christiansen (Organizer)

12 Jun 200816 Jun 2008

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

Integritet i XML og relationelle databaser

Henning Christiansen (Lecturer)

11 Jan 2008

Activity: Talk or presentationLecture and oral contribution

Information and Computation (Journal)

John Patrick Gallagher (Peer reviewer)

20082010

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Program Committee (External organisation)

Troels Andreasen (Member)

1 Aug 200831 Jul 2009

Activity: MembershipMembership in committee, council, board