Programming, Logic and Intelligent Systems

Activities

Acm Sigplan (External organisation)

John Patrick Gallagher (Member)
2009 → …

Activity: MembershipMembership in committee, council, board

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

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

ICLP 2009

Christian Theil-Have (Other)
15 Jul 2009

Activity: Talk or presentationLecture and oral contribution

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

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

Henning Christiansen (Lecturer)
17 Apr 2009

Activity: Talk or presentationLecture and oral contribution

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

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

John Patrick Gallagher (Member)
Oct 2009

Activity: MembershipMembership in review committee

Sixth International Workshop on Methods for Modalities 2009 (M4M-6 2009) (External organisation)

Torben Braüner (Member)
12 Nov 200914 Nov 2009

Activity: MembershipMembership in committee, council, board

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

Visiting Prof. Finn Drabløs, NTHU, Trondheim, Norway: Planning research; giving seminar

Henning Christiansen (Participant)
14 Jun 200916 Jun 2009

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

Miniworkshop in the LoSt rojekt

Henning Christiansen (Organizer)
4 Mar 2009

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

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

Springer (Publisher)

Henning Christiansen (Editor)
1 Jan 2009

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Seminar on Virtual Archaeology

John Patrick Gallagher (Organizer)
14 May 2009

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

The 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009) (External organisation)

John Patrick Gallagher (Chairman)
1 Mar 200914 Jul 2009

Activity: MembershipMembership in committee, council, board

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

Workshop “Logic and Ontology”

Sine Zambach (Lecturer)
24 Nov 2009

Activity: Talk or presentationLecture and oral contribution

Springer (Publisher)

Henning Christiansen (Editor)
1 Jan 2009

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

  IT og naturvidenskab - et fornuftsægteskab?

Sine Zambach (Lecturer)
5 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

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

LoSt project workshop

Henning Christiansen (Organizer)
28 Sep 200929 Sep 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

Technical University of Denmark (External organisation)

Troels Andreasen (Member)
1 Oct 200915 Dec 2009

Activity: MembershipMembership in review committee

Partial Evaluation and Program Manipulation' 08 (External organisation)

Mads Rosendahl (Member)
7 Jan 20088 Jan 2008

Activity: MembershipMembership in review committee

Program Committee (External organisation)

Troels Andreasen (Member)
1 Jul 200830 Jun 2009

Activity: MembershipMembership in committee, council, board

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

Forskningsophold

Henning Christiansen (Participant)
24 Mar 200828 Mar 2008

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

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

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

Scandinavian Conference on Artificial Intelligence (External organisation)

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

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

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

Association for Logic Programming (External organisation)

John Patrick Gallagher (Member)
20082011

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

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

John Patrick Gallagher (Member)
20082009

Activity: MembershipMembership in committee, council, board

Springer (External organisation)

Troels Andreasen (Member)
1 Jan 200831 Dec 2010

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

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

Forskningsophold, Aalborg Universitet, Datalogi, hos Manfred Jaeger

Henning Christiansen (Participant)
24 Jun 200826 Jun 2008

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

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

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