Programming, Logic and Intelligent Systems

Activities 1999 2019

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

IOSPress, Integrated Computer-Aided Engineering, International Journal (Journal)

Troels Andreasen (Peer reviewer)
1 Jan 201031 Dec 2012

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Reviewer for tidsskrift "Knowledge based systems" (Journal)

Henning Christiansen (Peer reviewer)
2010 → …

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

CHR 2010: Seventh International Workshop on Constraint Handling Rules

Henning Christiansen (Participant)
20 Jul 2010

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

Styregruppe (External organisation)

Troels Andreasen (Member)
1 Dec 201030 Nov 2011

Activity: MembershipMembership in committee, council, board

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

Program Committee (External organisation)

Troels Andreasen (Member)
1 Aug 201031 Jul 2011

Activity: MembershipMembership in committee, council, board

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

Henning Christiansen (Participant)
30 May 20105 Jun 2010

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

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

Seminar on Virtual Archaeology

John Patrick Gallagher (Organizer)
14 May 2009

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

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

Journal of Symbolic Computation in Software Science (Journal)

John Patrick Gallagher (Peer reviewer)
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

Universidad Politecnica de Madrid (External organisation)

John Patrick Gallagher (Member)
Oct 2009

Activity: MembershipMembership in review committee

Acm Sigplan (External organisation)

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

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

Ph.d bedømmelsesudvalg (External organisation)

Henning Christiansen (Member)
1 May 20093 Sep 2009

Activity: MembershipMembership in review committee

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

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

LoSt project workshop

Henning Christiansen (Organizer)
28 Sep 200929 Sep 2009

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

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

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

Springer (Publisher)

Henning Christiansen (Editor)
1 Jan 2009

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

Henning Christiansen (Participant)
14 Apr 2009

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

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

John Patrick Gallagher (Member)
Oct 2009

Activity: MembershipMembership in review committee

Recent Advances in Natural Language Processing 2009

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

Activity: Talk or presentationLecture and oral contribution

Association for Computing Machinery (External organisation)

John Patrick Gallagher (Chairman)
1 Jun 200919 Jan 2010

Activity: MembershipMembership in committee, council, board

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

7th Workshop on Hybrid Logics (HyLo 2009) (External organisation)

Torben Braüner (Member)
15 Jul 200917 Jul 2009

Activity: MembershipMembership in committee, council, board

Methods for Modalities (External organisation)

John Patrick Gallagher (Member)
2009 → …

Activity: MembershipMembership in committee, council, board

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

Workshop “Logic and Ontology”

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

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

Technical University of Denmark (External organisation)

Troels Andreasen (Member)
1 Oct 200915 Dec 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

Program Committee (External organisation)

Troels Andreasen (Member)
1 Jul 200930 Jun 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

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

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

  IT og naturvidenskab - et fornuftsægteskab?

Sine Zambach (Lecturer)
5 Mar 2009

Activity: Talk or presentationLecture and oral contribution

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