Programming, Logic and Intelligent Systems

Activities

International Workshop on Hybrid Logic (External organisation)

Torben Braüner (Member)

10 Jul 2010

Activity: MembershipMembership in committee, council, board

Linköpings universitet (External organisation)

Henning Christiansen (Member)

9 Oct 2012

Activity: MembershipMembership in review committee

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

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

Science Research Council Belgium (FUNDP) (External organisation)

John Patrick Gallagher (Member)

2010

Activity: MembershipMembership in review committee

Workshop on Scheme and Functional Programming

Morten Rhiger (Organizer)

9 Sep 2012

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

Linköpings universitet (External organisation)

John Patrick Gallagher (Member)

Feb 2008

Activity: MembershipMembership in review committee

Aalborg University (External organisation)

Troels Andreasen (Member)

1 Mar 201130 Jun 2011

Activity: MembershipMembership in review committee

Program Committee (External organisation)

Troels Andreasen (Chairman)

1 Dec 200830 Nov 2009

Activity: MembershipMembership in committee, council, board

Autonome robotter - beyond Roomba

Mads Rosendahl (Lecturer)

20 Apr 2012

Activity: Talk or presentationLecture and oral contribution

22nd International Symposium on Logic-Based Program Synthesis and Transformation

Henning Christiansen (Organizer)

18 Sep 201220 Sep 2012

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

Confluence in Constraint Handling Rules (Invited talk)

Maja Hanne Kirkeby (Speaker)

7 Jul 2018

Activity: Talk or presentationLecture and oral contribution

File

Københavns Universitet (External organisation)

Henning Christiansen (Member)

1 Apr 20111 Oct 2011

Activity: MembershipMembership in review committee

Referee for the Research Fund Council of Chile: Research Council (FONDECYT) (External organisation)

Troels Andreasen (Member)

1 Aug 20071 May 2008

Activity: MembershipMembership in review committee

Journal of Symbolic Computation in Software Science (Journal)

John Patrick Gallagher (Peer reviewer)

2009

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Teaching Computer Science at HumTek

Mads Rosendahl (Lecturer)

23 May 201225 May 2012

Activity: Talk or presentationLecture and oral contribution

Proceedinds of The 15th International Static Analysis Symposium, SAS 2008 (Journal)

Henning Christiansen (Editor)

1 Jan 2008

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Invited talk: Second-order false-belief reasoning: Some modal-logical analyses

Torben Braüner (Speaker)

23 May 201625 May 2016

Activity: Talk or presentationLecture and oral contribution

Invited talk at the workshop: Proof Theory for Modal Logic: Recent Developments

Torben Braüner (Lecturer)

6 Jan 201417 Jan 2014

Activity: Talk or presentationLecture and oral contribution

Program Committee (External organisation)

Troels Andreasen (Member)

1 Nov 201031 Oct 2011

Activity: MembershipMembership in committee, council, board

ISMIS 2018, 24th International Symposium on Methodologies for Intelligent Systems

Henning Christiansen (Organizer)

29 Oct 201831 Oct 2018

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

ICLP 2010, International Conference for Logic Programming

Christian Theil-Have (Other)

16 Jul 201019 Jul 2010

Activity: Talk or presentationLecture and oral contribution

Program Committee (External organisation)

Troels Andreasen (Member)

1 Aug 201031 Jul 2011

Activity: MembershipMembership in committee, council, board

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

Torben Braüner (Member)

5 Oct 20117 Oct 2011

Activity: MembershipMembership in committee, council, board

Forling 2008, Second International Workshop on Non-Classical Formal Languages in Linguistics

Henning Christiansen (Participant)

19 Sep 200820 Sep 2008

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

Styregruppe (External organisation)

Henning Christiansen (Member)

24 Jul 2007 → …

Activity: MembershipMembership in board of company or public organisation

IEEE Computational Intelligence Society (External organisation)

Troels Andreasen (Member)

1 Jan 200531 Dec 2012

Activity: MembershipMembership in review committee

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

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Editor)

20112017

Activity: Editorial work and peer reviewEditor of Research journalResearch

Springer (External organisation)

Troels Andreasen (Member)

1 Jan 200831 Dec 2010

Activity: MembershipMembership in committee, council, board

CHR 2012 Ninth International Workshop on Constraint Handling Rules

Henning Christiansen (Organizer)

4 Sep 2012

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

ETH Zürich

Henning Christiansen (Visiting researcher)

19 Mar 201021 Mar 2010

Activity: Visiting an external institutionVisiting an external academic institution

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

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

Hosting Davide Martinenghi, Univ. Bolzano, Italy(research cooperation)

Henning Christiansen (Participant)

30 May 20076 Jun 2007

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

Technical University of Denmark (External organisation)

Troels Andreasen (Member)

1 Aug 200231 Dec 2002

Activity: MembershipMembership in committee, council, board

CSLP 2012

Henning Christiansen (Participant)

13 Sep 201214 Sep 2012

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

CSLP 2016

Henning Christiansen (Organizer)

2016

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

Program Committee, WSEAS 2008 12th WSEAS International Conference on COMPUTERS (External organisation)

Troels Andreasen (Member)

1 Aug 200731 Jul 2008

Activity: MembershipMembership in committee, council, board

Universitat Rovira i Virgili

Henning Christiansen (Visiting researcher)

15 Apr 200920 Apr 2009

Activity: Visiting an external institutionVisiting an external academic institution

Springer (Publisher)

Henning Christiansen (Editor)

1 Jan 2009

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

Sigplan Notices (Journal)

Mads Rosendahl (Editor)

1 Jan 2007

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Logic Grammars extended with Constraint Logic: Invited tutorial

Henning Christiansen (Lecturer)

19 Sep 2008

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

Association for Computing Machinery (External organisation)

John Patrick Gallagher (Chairman)

1 Jun 200919 Jan 2010

Activity: MembershipMembership in committee, council, board