Programming, Logic and Intelligent Systems

Activities

ICLP 2010, International Conference for Logic Programming

Henning Christiansen (Participant)
16 Jul 201019 Jul 2010

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

European Summer School in Logic, Language and Information

Christian Theil-Have (Participant)
9 Aug 201019 Aug 2010

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

Second International Conference on Agents and Artificial Intelligence

Henning Christiansen (Organizer)
23 Jan 201024 Jan 2010

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

Theory and Practice of Logic Programming (Journal)

Henning Christiansen (Peer reviewer)
2010

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Industrial Conference on Data Mining

Henning Christiansen (Organizer)
12 Jul 201014 Jul 2010

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

International Symposium on Logic-based Program Synthesis and Transformation (External organisation)

John Patrick Gallagher (Member)
2010 → …

Activity: MembershipMembership in committee, council, board

Aalborg University (External organisation)

Troels Andreasen (Member)
1 Apr 201030 Jun 2010

Activity: MembershipMembership in review committee

Linköpings universitet (External organisation)

Henning Christiansen (Member)
1 Sep 201019 Nov 2010

Activity: MembershipMembership in review committee

Program Committee (External organisation)

Troels Andreasen (Member)
1 Nov 201031 Oct 2011

Activity: MembershipMembership in committee, council, board

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

Christian Theil-Have (Participant)
15 Jul 2010

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

LoSt project workshop

Christian Theil-Have (Other)
28 Sep 201029 Sep 2010

Activity: Talk or presentationLecture and oral contribution

Kvinder tænker ikke logisk: Repræsentation af viden ved hjælp af formel logik

Sine Zambach (Lecturer)
20 Apr 2010

Activity: Talk or presentationLecture and oral contribution

Spring Workshop on Mining and Learning 2010

Henning Christiansen (Participant)
17 Mar 201019 Mar 2010

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

Tenth International Symposium on Functional and Logic Programming (FLOPS 2010) (External organisation)

John Patrick Gallagher (Member)
2010 → …

Activity: MembershipMembership in committee, council, board

CHR 2010: Seventh International Workshop on Constraint Handling Rules

Christian Theil-Have (Participant)
20 Jul 2010

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

Besøg hos kolleger, ETH, Zürich

Henning Christiansen (Participant)
19 Mar 201021 Mar 2010

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

Miniworkshop in the LoSt rojekt

Christian Theil-Have (Other)
4 Mar 2010

Activity: Talk or presentationLecture and oral contribution

Styregruppe (External organisation)

Troels Andreasen (Member)
1 Dec 201030 Nov 2011

Activity: MembershipMembership in committee, council, board

First International Summer School on Constraint Handling Rules

Henning Christiansen (Speaker)
30 Aug 20103 Sep 2010

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

Research Visit at Rovira Virgili University, Department of Romance Philology, Tarragona, hosted by Veronica Dahl

Henning Christiansen (Participant)
7 Nov 201010 Nov 2010

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

Abstract interpretation of temporal logic: abstract model checking revisited

John Patrick Gallagher (Lecturer)
19 Aug 2010

Activity: Talk or presentationLecture and oral contribution

File

International Workshop on Hybrid Logic (External organisation)

Torben Braüner (Member)
15 Jul 200917 Jul 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

Methods for Modalities (External organisation)

John Patrick Gallagher (Member)
2009 → …

Activity: MembershipMembership in committee, council, board

FQAS 2009 : Flexible Query and answering systems

Sine Zambach (Organizer)
26 Oct 200928 Oct 2009

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

FQAS 2009

Troels Andreasen (Organizer)
26 Oct 200928 Oct 2009

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

Censor/External examiner. ITU: Specialeprojekt, 2 stud.

Henning Christiansen (Participant)
14 Apr 2009

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

Universidad Politecnica de Madrid (External organisation)

John Patrick Gallagher (Member)
Oct 2009

Activity: MembershipMembership in review committee

Association for Computing Machinery (External organisation)

John Patrick Gallagher (Chairman)
1 Jun 200919 Jan 2010

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)
1 Aug 200931 Jul 2010

Activity: MembershipMembership in committee, council, board

Frontiers of Combining Systems (FroCoS 2009) (External organisation)

Torben Braüner (Member)
16 Sep 200918 Sep 2009

Activity: MembershipMembership in committee, council, board

Lecture Notes in Computer Science (Journal)

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

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

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

Hvordan virker en rejseplanner?: Som led i NatDag på RUC; arrangementer for gymnasieelever

Henning Christiansen (Lecturer)
23 Sep 2009

Activity: Talk or presentationLecture and oral contribution

Program Committee (External organisation)

Troels Andreasen (Member)
1 Jul 200930 Jun 2010

Activity: MembershipMembership in committee, council, board

China-Denmark Graduate Course Cross-Disciplinary Nano-Bio-IT Research

Christian Theil-Have (Participant)
6 Jun 200911 Jun 2009

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

Journal of Symbolic Computation in Software Science (Journal)

John Patrick Gallagher (Peer reviewer)
2009

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

DANSAS 2009

Mads Rosendahl (Speaker)
20 Aug 2009

Activity: Talk or presentationLecture and oral contribution

Proceedings of 9th Industrial Conference on Data Mining ICDM´2009 : Lecture Notes of Computer Science, vol. 5633 (Journal)

Henning Christiansen (Editor)
1 Jan 2009

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

Description Logics study group : Studying DL, specialy using Baader et al: The Description Logics Handbook, 2008

Sine Zambach (Organizer)
2 Sep 200931 Mar 2010

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

Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009 : Workshop participation; with presentation

Henning Christiansen (Participant)
21 Jun 200924 Jun 2009

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

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

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