Programming, Logic and Intelligent Systems

Activities 1999 2019

Linköpings universitet (External organisation)

Henning Christiansen (Member)
19 Nov 2010

Activity: MembershipMembership in review committee

Styregruppe (External organisation)

Troels Andreasen (Member)
1 Dec 201030 Nov 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

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

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

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

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

Censor for IMADA, Syddansk Universitet: skriftlig eksamen

Henning Christiansen (Participant)
Jan 2010

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

Program Committee (External organisation)

Troels Andreasen (Member)
1 Nov 201031 Oct 2011

Activity: MembershipMembership in committee, council, board

Association for Computing Machinery (External organisation)

John Patrick Gallagher (Member)
20102011

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

Trinity College Dublin (External organisation)

John Patrick Gallagher (Chairman)
20102012

Activity: MembershipMembership in review committee

Association for Logic Programming (External organisation)

John Patrick Gallagher (Chairman)
1 Aug 201010 Jul 2011

Activity: MembershipMembership in committee, council, board

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

John Patrick Gallagher (Member)
2010 → …

Activity: MembershipMembership in committee, council, board

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

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

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

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

Henning Christiansen (Lecturer)
17 Apr 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

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

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

Workshop “Logic and Ontology”

Sine Zambach (Lecturer)
24 Nov 2009

Activity: Talk or presentationLecture and oral contribution

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

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

DANSAS 2009

Mads Rosendahl (Speaker)
20 Aug 2009

Activity: Talk or presentationLecture and oral contribution

Ph.d bedømmelsesudvalg (External organisation)

Henning Christiansen (Member)
1 May 20093 Sep 2009

Activity: MembershipMembership in review committee

Program Committee (External organisation)

Troels Andreasen (Member)
1 Aug 200931 Jul 2010

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

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

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

Activity: MembershipMembership in committee, council, board

FQAS 2009

Troels Andreasen (Organizer)
26 Oct 200928 Oct 2009

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

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

Recent Advances in Natural Language Processing 2009

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

Activity: Talk or presentationLecture and oral contribution

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

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

John Patrick Gallagher (Member)
Oct 2009

Activity: MembershipMembership in review committee

Seminar on Virtual Archaeology

John Patrick Gallagher (Organizer)
14 May 2009

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

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

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

International Workshop on Hybrid Logic (External organisation)

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

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

Technical University of Denmark (External organisation)

Troels Andreasen (Member)
1 Oct 200915 Dec 2009

Activity: MembershipMembership in review committee

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

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