Programming, Logic and Intelligent Systems

Activities 1999 2019

The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (External organisation)

Torben Braüner (Member)
7 Jul 200910 Jul 2009

Activity: MembershipMembership in committee, council, board

DANSAS 2009

Mads Rosendahl (Speaker)
20 Aug 2009

Activity: Talk or presentationLecture and oral contribution

Research visit: inviteret af professor Veronica Dahl

Henning Christiansen (Participant)
15 Apr 200920 Apr 2009

Activity: OtherOther (prizes, external teaching and other activities) - Period visiting other institutions

Springer (Publisher)

Henning Christiansen (Editor)
1 Jan 2009

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Logic Programming, 25th International Conference, ICLP 2009 : Conference participation with presentations

Henning Christiansen (Participant)
14 Jul 2009

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

Hvordan virker en rejseplanner?: Preæsentation for gynmasieeelever; besøgsdag for Odsherred Gymnasium

Henning Christiansen (Lecturer)
5 Oct 2009

Activity: Talk or presentationLecture and oral contribution

Program Committee (External organisation)

Troels Andreasen (Member)
1 Aug 200931 Jul 2010

Activity: MembershipMembership in committee, council, board

Springer (Publisher)

Henning Christiansen (Editor)
1 Jan 2009

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Logic in Databases workshop, LID 2009 : program co-chair; member of steering committee; local organizer

Henning Christiansen (Organizer)
20 Oct 2009

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

Hvordan virker en rejseplanner?: Del af NATDAG, arrangement for gymnasieelever

Henning Christiansen (Lecturer)
4 Mar 2009

Activity: Talk or presentationLecture and oral contribution

Miniworkshop in the LoSt rojekt

Henning Christiansen (Organizer)
4 Mar 2009

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

Lecture Notes in Computer Science (Journal)

Henning Christiansen (Editor)
1 Jan 2009

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

FQAS 2009

Troels Andreasen (Organizer)
26 Oct 200928 Oct 2009

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

18th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (External organisation)

John Patrick Gallagher (Member)
20082009

Activity: MembershipMembership in committee, council, board

Mathematical Programming Computation (Journal)

Keld Helsgaun (Editor)
24 Aug 2008 → …

Activity: Editorial work and peer reviewEditor of Research journalCommunication

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Peer reviewer)
20082010

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

Christian Theil-Have (Participant)
5 Feb 2008

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

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

Prioritized Abduction with CHR

Henning Christiansen (Lecturer)
14 Jul 2008

Activity: Talk or presentationLecture and oral contribution

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

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

Censor, speciale

Henning Christiansen (Participant)
9 Apr 2008

Activity: OtherOther (prizes, external teaching and other activities) - External teaching and subject coordination

Flexible Query Answering Systems (External organisation)

Troels Andreasen (Chairman)
1 Dec 200830 Nov 2009

Activity: MembershipMembership in committee, council, board

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

Integritet i XML og relationelle databaser

Henning Christiansen (Lecturer)
11 Jan 2008

Activity: Talk or presentationLecture and oral contribution

Springer (External organisation)

Troels Andreasen (Member)
1 Jan 200831 Dec 2010

Activity: MembershipMembership in committee, council, board

Lecture Notes in Computer Science (Journal)

Henning Christiansen (Editor)
1 Jan 2008

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Introduction to Constraints and Language Processing

Henning Christiansen (Lecturer)
11 Aug 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

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

Censor, projektarbejde

Henning Christiansen (Participant)
26 Aug 2008

Activity: OtherOther (prizes, external teaching and other activities) - External teaching and subject coordination

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

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

Censor, 2 specialer

Henning Christiansen (Participant)
26 Jun 2008

Activity: OtherOther (prizes, external teaching and other activities) - External teaching and subject coordination

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

Springer (Publisher)

Henning Christiansen (Editor)
1 Jan 2008

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

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

Henning Christiansen (Lecturer)
25 Jun 2008

Activity: Talk or presentationLecture and oral contribution

Linköpings universitet (External organisation)

John Patrick Gallagher (Member)
Feb 2008

Activity: MembershipMembership in review committee

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

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

John Patrick Gallagher (Member)
2008

Activity: MembershipMembership in committee, council, board

IMDEA-Software Institute Scientific Advisory Board (External organisation)

John Patrick Gallagher (Member)
1 Jan 200831 Aug 2008

Activity: MembershipMembership in committee, council, board

Scandinavian Conference on Artificial Intelligence (External organisation)

Torben Braüner (Member)
26 May 200828 May 2008

Activity: MembershipMembership in committee, council, board

Princples of Programming Languages

Mads Rosendahl (Participant)
10 Jan 200812 Jan 2008

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

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

Program Committee (External organisation)

Troels Andreasen (Member)
1 Jul 200830 Jun 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