Programming, Logic and Intelligent Systems

Activities

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

Henning Christiansen (Lecturer)

17 Apr 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

Universitat Rovira i Virgili

Henning Christiansen (Visiting researcher)

15 Oct 200928 Oct 2009

Activity: Visiting an external institutionVisiting an external academic institution

Methods for Modalities (External organisation)

John Patrick Gallagher (Member)

2009 → …

Activity: MembershipMembership in committee, council, board

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

Acm Sigplan (External organisation)

John Patrick Gallagher (Member)

2009 → …

Activity: MembershipMembership in committee, council, board

LoSt project workshop

Henning Christiansen (Organizer)

28 Sep 200929 Sep 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

Springer (Publisher)

Henning Christiansen (Editor)

1 Jan 2009

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Technical University of Denmark (External organisation)

Troels Andreasen (Member)

1 Oct 200915 Dec 2009

Activity: MembershipMembership in review committee

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

Norges teknisk-naturvitenskapelige universitet

Henning Christiansen (Visiting researcher)

14 Jun 200916 Jun 2009

Activity: Visiting an external institutionVisiting an external academic institution

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

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

Henning Christiansen (Participant)

14 Apr 2009

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

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

Workshop “Logic and Ontology”

Sine Zambach (Lecturer)

24 Nov 2009

Activity: Talk or presentationLecture and oral contribution

Seminar on Virtual Archaeology

John Patrick Gallagher (Organizer)

14 May 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

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

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

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

Torben Braüner (Member)

16 Sep 200918 Sep 2009

Activity: MembershipMembership in committee, council, board

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

Henning Christiansen (Lecturer)

4 Mar 2009

Activity: Talk or presentationLecture and oral contribution

Aalborg University (External organisation)

Troels Andreasen (Member)

1 Apr 201030 Jun 2010

Activity: MembershipMembership in review committee

CHR 2010: Seventh International Workshop on Constraint Handling Rules

Henning Christiansen (Organizer)

20 Jul 2010

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

Trinity College Dublin (External organisation)

John Patrick Gallagher (Chairman)

20102012

Activity: MembershipMembership in review committee

École pour l'informatique et les nouvelles technologies

Henning Christiansen (Visiting lecturer)

19 Jan 201021 Jan 2010

Activity: Visiting an external institutionVisiting an external academic institution

International Workshop on Hybrid Logic (External organisation)

Torben Braüner (Member)

10 Jul 2010

Activity: MembershipMembership in committee, council, board

International Conference on Logic Programming (ICLP’08) (External organisation)

John Patrick Gallagher (Member)

2010 → …

Activity: MembershipMembership in committee, council, board

Association for Computing Machinery (External organisation)

John Patrick Gallagher (Member)

20102011

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

Vært for kollega fra EPITECH, planlægning af studenterudveksling under Erasmus: - i samarbejde med RUCs Internationale Afdeling

Henning Christiansen (Participant)

24 Sep 201030 Sep 2010

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

ETH Zürich

Henning Christiansen (Visiting researcher)

19 Mar 201021 Mar 2010

Activity: Visiting an external institutionVisiting an external academic institution

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

Program Committee (External organisation)

Troels Andreasen (Member)

1 Nov 201031 Oct 2011

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)

1 Aug 201031 Jul 2011

Activity: MembershipMembership in committee, council, board

Science Research Council Belgium (FUNDP) (External organisation)

John Patrick Gallagher (Member)

2010

Activity: MembershipMembership in review committee

ICLP 2010, International Conference for Logic Programming

Christian Theil-Have (Other)

16 Jul 201019 Jul 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

Abstract interpretation of temporal logic: abstract model checking revisited

John Patrick Gallagher (Lecturer)

19 Aug 2010

Activity: Talk or presentationLecture and oral contribution

File

European Summer School in Logic, Language and Information

Sine Zambach (Organizer)

8 Aug 201020 Aug 2010

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

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

Advances in Modal Logic (External organisation)

Torben Braüner (Member)

25 Aug 201029 Aug 2010

Activity: MembershipMembership in committee, council, board

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

John Patrick Gallagher (Member)

2010 → …

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)

1 Nov 201031 Oct 2011

Activity: MembershipMembership in committee, council, board