Programming, Logic and Intelligent Systems

Activities 1999 2019

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

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

Program Committee (External organisation)

Troels Andreasen (Member)
1 Jul 200930 Jun 2010

Activity: MembershipMembership in committee, council, board

Methods for Modalities (External organisation)

John Patrick Gallagher (Member)
2009 → …

Activity: MembershipMembership in committee, council, board

Association for Computing Machinery (External organisation)

John Patrick Gallagher (Chairman)
1 Jun 200919 Jan 2010

Activity: MembershipMembership in committee, council, board

Acm Sigplan (External organisation)

John Patrick Gallagher (Member)
2009 → …

Activity: MembershipMembership in committee, council, board

Recent Advances in Natural Language Processing 2009

Christian Theil-Have (Other)
14 Sep 200916 Sep 2009

Activity: Talk or presentationLecture and oral contribution

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

Miniworkshop in the LoSt rojekt

Henning Christiansen (Organizer)
4 Mar 2009

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

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

Research Visit at Rovira Virgili University, Department of Romance Philology, Tarragona, Spainhosted by M. Dolores Jiménez-López

Henning Christiansen (Participant)
15 Oct 200928 Oct 2009

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

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

Henning Christiansen (Lecturer)
4 Mar 2009

Activity: Talk or presentationLecture and oral contribution

Integritet i XML og relationelle databaser - og hvordan det kan understøttes - mere eller mindre automatisk

Henning Christiansen (Lecturer)
18 Jan 2009

Activity: Talk or presentationLecture and oral contribution

Lecture Notes in Computer Science (Journal)

Henning Christiansen (Editor)
1 Jan 2009

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

CHR 2009, Sixth International Workshop on Constraint Handling Rules : Workshop participation

Henning Christiansen (Participant)
15 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

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

Universidad Politecnica de Madrid (External organisation)

John Patrick Gallagher (Member)
Oct 2009

Activity: MembershipMembership in review committee

Journal of Symbolic Computation in Software Science (Journal)

John Patrick Gallagher (Peer reviewer)
2009

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

Christian Theil-Have (Participant)
14 Jul 200917 Jul 2009

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

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

Introduction to Constraints and Language Processing

Henning Christiansen (Lecturer)
11 Aug 2008

Activity: Talk or presentationLecture and oral contribution

Program Committee (External organisation)

Troels Andreasen (Member)
1 Aug 200831 Jul 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

Mathematical Programming Computation (Journal)

Keld Helsgaun (Editor)
24 Aug 2008 → …

Activity: Editorial work and peer reviewEditor of Research journalCommunication

Censor, 2 specialer

Henning Christiansen (Participant)
26 Jun 2008

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

Censor, speciale

Henning Christiansen (Participant)
26 Aug 2008

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

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

Scandinavian Conference on Artificial Intelligence (External organisation)

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

Activity: MembershipMembership in committee, council, board

Forskerskole FIRST (External organisation)

Ole Torp Lassen (Member)
1 Feb 200831 Jul 2010

Activity: MembershipMembership in research network

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

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

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

Springer (Publisher)

Henning Christiansen (Editor)
1 Jan 2008

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Princples of Programming Languages

Mads Rosendahl (Participant)
10 Jan 200812 Jan 2008

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

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

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

Prioritized Abduction with CHR

Henning Christiansen (Lecturer)
14 Jul 2008

Activity: Talk or presentationLecture and oral contribution

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

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Peer reviewer)
20082010

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Association for Logic Programming (External organisation)

John Patrick Gallagher (Member)
20082011

Activity: MembershipMembership in committee, council, board

Invited Talk: Scalable Static Analysis based on Regular Types

John Patrick Gallagher (Lecturer)
Oct 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

Flexible Query Answering Systems (External organisation)

Troels Andreasen (Chairman)
1 Dec 200830 Nov 2009

Activity: MembershipMembership in committee, council, board

Probabilistic Abductive Logic Programming in Constraint Handling Rules

Henning Christiansen (Lecturer)
20 Jun 2008

Activity: Talk or presentationLecture and oral contribution

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, projektarbejde

Henning Christiansen (Participant)
26 Aug 2008

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