Programming, Logic and Intelligent Systems

Activities

Springer (Publisher)

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

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

Styregruppe (External organisation)

Henning Christiansen (Member)

24 Jul 2007 → …

Activity: MembershipMembership in board of company or public organisation

Styregruppe (External organisation)

Troels Andreasen (Member)

1 Dec 201030 Nov 2011

Activity: MembershipMembership in committee, council, board

Technical University of Denmark (External organisation)

Troels Andreasen (Member)

1 Aug 200231 Dec 2002

Activity: MembershipMembership in committee, council, board

Technical University of Denmark (External organisation)

Troels Andreasen (Member)

1 Oct 200915 Dec 2009

Activity: MembershipMembership in review committee

Technical University of Denmark (External organisation)

Troels Andreasen (Member)

1 Mar 20071 Jul 2007

Activity: MembershipMembership in review committee

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

John Patrick Gallagher (Member)

2010 → …

Activity: MembershipMembership in committee, council, board

The 12th International Symposium on Frontiers of Combining Systems (Event)

Torben Braüner (Member)

4 Sep 20196 Sep 2019

Activity: MembershipMembership in committee, council, board

The 15th International Static Analysis Symposium

Mads Rosendahl (Participant)

16 Jul 200818 Jul 2008

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

The 15th International Static Analysis Symposium SAS 2008 (External organisation)

John Patrick Gallagher (Member)

2008

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

The 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Event)

Torben Braüner (Member)

25 Sep 201728 Sep 2017

Activity: MembershipMembership in committee, council, board

The 26th International Workshop on Functional and Logic Programming

Henning Christiansen (Speaker), & Maja Hanne Kirkeby (Speaker)

6 Sep 2018

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

The 4th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledg

Henning Christiansen (Organizer)

28 Aug 2012

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

The 7th International and Interdisciplinary Conference on Modeling and Using Context 2011

Henning Christiansen (Organizer)

2011

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

The First BNCOD Workshop on Web & Information Management

Henning Christiansen (Participant)

2 Jul 20073 Jul 2007

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

The First Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'07)

Henning Christiansen (Participant)

17 Sep 200718 Sep 2007

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

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

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

The Ninth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2015) (External organisation)

Torben Braüner (Member)

2 Nov 20156 Nov 2015

Activity: MembershipMembership in committee, council, board

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Editor)

20112017

Activity: Editorial work and peer reviewEditor of Research journalResearch

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Editor)

1 Jan 201231 Dec 2016

Activity: Editorial work and peer reviewEditor of Research journalResearch

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Editor)

20072011

Activity: Editorial work and peer reviewEditor of Research journalResearch

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Editor)

15 Jan 201110 Jul 2011

Activity: Editorial work and peer reviewEditor of Research journalResearch

Theory and Practice of Logic Programming (Journal)

Henning Christiansen (Peer reviewer)

2010

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Peer reviewer)

20082010

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

Trinity College Dublin (External organisation)

John Patrick Gallagher (Chairman)

20102012

Activity: MembershipMembership in review committee

Vært for Davide Martinenghi, Unversita di Milano; forskningsophold på RUC

Henning Christiansen (Participant)

29 Jul 20081 Aug 2008

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

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

Vært for Maria Grineva, Russian Academy of Science; forskningsbesøg på RUC: som led i CONTROL-projektet. SNF

Henning Christiansen (Participant)

28 Jun 20081 Jul 2008

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

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

Workshop “Logic and Ontology”

Sine Zambach (Lecturer)

24 Nov 2009

Activity: Talk or presentationLecture and oral contribution

Universidade NOVA de Lisboa

Henning Christiansen (Visiting researcher)

24 Mar 200828 Mar 2008

Activity: Visiting an external institutionVisiting an external academic institution

Universidad Politecnica de Madrid (External organisation)

John Patrick Gallagher (Member)

Oct 2009

Activity: MembershipMembership in review committee

Universitat Rovira i Virgili

Henning Christiansen (Visiting researcher)

15 Apr 200920 Apr 2009

Activity: Visiting an external institutionVisiting an external academic institution

Universitat Rovira i Virgili

Henning Christiansen (Visiting researcher)

30 May 20105 Jun 2010

Activity: Visiting an external institutionVisiting an external academic institution

Universitat Rovira i Virgili

Henning Christiansen (Visiting researcher)

15 Oct 200928 Oct 2009

Activity: Visiting an external institutionVisiting an external academic institution

Universitat Rovira i Virgili

Henning Christiansen (Visiting researcher)

7 Nov 201010 Nov 2010

Activity: Visiting an external institutionVisiting an external academic institution

University of Granada (External organisation)

Troels Andreasen (Member)

1 Apr 20111 Jul 2011

Activity: MembershipMembership in review committee

Virtual Reality, Learning and Experience - seminar at Roskilde University

Søren Larsen (Organizer), , Connie Svabo (Organizer), , Remzi Ates Gürsimsek (Organizer), , Eduardo Abrantes (Organizer), , John Patrick Gallagher (Organizer), , Sisse Siggaard Jensen (Organizer), , Troels Andreasen (Organizer), , Per Meyer Jepsen (Organizer), & Prajakt Pande (Organizer)

21 Aug 2019

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

Workshop on Abduction and Induction in Artificial Intelligence and Bioinformatics (AIAI'07)

Henning Christiansen (Participant)

15 Sep 200716 Sep 2007

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

Workshop on Linguistic Complexity & Natural Language Processing

Henning Christiansen (Organizer)

20 Aug 201825 Aug 2018

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

Workshop on Scheme and Functional Programming

Morten Rhiger (Organizer)

9 Sep 2012

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