Programming, Logic and Intelligent Systems

Activities

15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08)

Mads Rosendahl (Participant)
25 Nov 200829 Nov 2008

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

Lecture Notes in Computer Science (Journal)

Henning Christiansen (Editor)
1 Jan 2008

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

Scandinavian Conference on Artificial Intelligence

Henning Christiansen (Organizer)
26 May 200828 May 2008

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

Scandinavian Conference on Artificial Intelligence (External organisation)

John Patrick Gallagher (Member)
2008

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

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 (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

Logic in Databases (LID'08) workshop : Member of steering committee

Henning Christiansen (Organizer)
19 May 200820 May 2008

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

MRC 2008, Fifth International Workshop Modeling and Reasoning in Context

Henning Christiansen (Organizer)
9 Jun 200812 Jun 2008

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

Preprocessing for Optimization of Probabilistic-Logic Models for Biological Sequence Analysis

Henning Christiansen (Lecturer)
25 Jun 2008

Activity: Talk or presentationLecture and oral contribution

Invited talk: Arthur Prior's temporal logic and the origin of contemporary hybrid logic

Torben Braüner (Lecturer)
4 Dec 20086 Dec 2008

Activity: Talk or presentationLecture and oral contribution

Logic Grammars extended with Constraint Logic: Invited tutorial

Henning Christiansen (Lecturer)
19 Sep 2008

Activity: Talk or presentationLecture and oral contribution

8th Industrial Conference on Data Mining ICDM´2008 : Member of program committee

Henning Christiansen (Organizer)
16 Jul 200818 Jul 2008

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

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

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Peer reviewer)
20082010

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Censor, 2 specialer

Henning Christiansen (Examiner)
26 Jun 2008

Activity: Examination

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

Program Committee (External organisation)

Troels Andreasen (Member)
1 Aug 200831 Jul 2009

Activity: MembershipMembership in committee, council, board

LID 2008, Logic in Databases

Henning Christiansen (Participant)
19 May 200820 May 2008

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

Censor, speciale

Henning Christiansen (Examiner)
26 Aug 2008

Activity: Examination

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

Troels Andreasen (Member)
1 Dec 200830 Nov 2009

Activity: MembershipMembership in committee, council, board

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

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

Invited Talk: Scalable Static Analysis based on Regular Types

John Patrick Gallagher (Lecturer)
Oct 2008

Activity: Talk or presentationLecture and oral contribution

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

Mathematical Programming Computation (Journal)

Keld Helsgaun (Editor)
24 Aug 2008 → …

Activity: Editorial work and peer reviewEditor of Research journalCommunication

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

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

Flexible Query Answering Systems (External organisation)

Troels Andreasen (Chairman)
1 Dec 200830 Nov 2009

Activity: MembershipMembership in committee, council, board

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

Linköpings universitet (External organisation)

John Patrick Gallagher (Member)
Feb 2008

Activity: MembershipMembership in review committee

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

Introduction to Constraints and Language Processing

Henning Christiansen (Lecturer)
11 Aug 2008

Activity: Talk or presentationLecture and oral contribution

IMDEA-Software Institute Scientific Advisory Board (External organisation)

John Patrick Gallagher (Member)
1 Jan 200831 Aug 2008

Activity: MembershipMembership in committee, council, board

Censor, kursus i databaser

Henning Christiansen (Examiner)
29 Oct 2008

Activity: Examination

Censor, speciale

Henning Christiansen (Examiner)
9 Apr 2008

Activity: Examination

Forskerskole FIRST (External organisation)

Ole Torp Lassen (Member)
1 Feb 200831 Jul 2010

Activity: MembershipMembership in research network

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

Invited speaker, PROLE'2007, Zaragoza, Spain

John Patrick Gallagher (Lecturer)
14 Sep 2007

Activity: Talk or presentationLecture and oral contribution