Programming, Logic and Intelligent Systems

Activities

Universitat Rovira i Virgili

Henning Christiansen (Visiting researcher)

30 May 20105 Jun 2010

Activity: Visiting an external institutionVisiting an external academic institution

Reasoning and language processing with Constraint Handling Rules

Henning Christiansen (Organizer)

12 Nov 201026 Nov 2010

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

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

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

John Patrick Gallagher (Member)

2010 → …

Activity: MembershipMembership in committee, council, board

First International Summer School on Constraint Handling Rules

Henning Christiansen (Speaker)

30 Aug 20103 Sep 2010

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

Invited Talk: Descriptive Types and Well-Typings, with an Aside on Model Checking

John Patrick Gallagher (Lecturer)

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

Advances in Modal Logic (External organisation)

Torben Braüner (Member)

1 Jan 201031 Dec 2012

Activity: MembershipMembership in committee, council, board

ICLP 2010, International Conference for Logic Programming

Henning Christiansen (Participant)

16 Jul 201019 Jul 2010

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

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

John Patrick Gallagher (Member)

2010 → …

Activity: MembershipMembership in committee, council, board

Industrial Conference on Data Mining

Henning Christiansen (Organizer)

12 Jul 201014 Jul 2010

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

Linköpings universitet (External organisation)

Henning Christiansen (Member)

19 Nov 2010

Activity: MembershipMembership in review committee

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

21st International Conference on Database and Expert Systems Applications

Henning Christiansen (Organizer)

30 Aug 20103 Sep 2010

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

Higher-Order and Symbolic Computation (Journal)

John Patrick Gallagher (Editor)

20102011

Activity: Editorial work and peer reviewEditor of Research journalResearch

Linköpings universitet (External organisation)

Henning Christiansen (Member)

1 Sep 201019 Nov 2010

Activity: MembershipMembership in review committee

DANSAS 2010

Mads Rosendahl (Participant)

19 Aug 2010

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

Association for Logic Programming (External organisation)

John Patrick Gallagher (Chairman)

1 Aug 201010 Jul 2011

Activity: MembershipMembership in committee, council, board

Universitat Rovira i Virgili

Henning Christiansen (Visiting researcher)

7 Nov 201010 Nov 2010

Activity: Visiting an external institutionVisiting an external academic institution

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

CHR 2010: Seventh International Workshop on Constraint Handling Rules

Christian Theil-Have (Participant)

20 Jul 2010

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

Program Committee (External organisation)

Troels Andreasen (Member)

1 Jul 201030 Jun 2011

Activity: MembershipMembership in committee, council, board

Reviewer for tidsskrift "Knowledge based systems" (Journal)

Henning Christiansen (Peer reviewer)

2010 → …

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Theory and Practice of Logic Programming (Journal)

Henning Christiansen (Peer reviewer)

2010

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

European Summer School in Logic, Language and Information

Christian Theil-Have (Participant)

9 Aug 201019 Aug 2010

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

Miniworkshop in the LoSt rojekt

Christian Theil-Have (Other)

4 Mar 2010

Activity: Talk or presentationLecture and oral contribution

22nd International Conference on Database and Expert Systems Applications

Henning Christiansen (Organizer)

2011

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

Aalborg University (External organisation)

Troels Andreasen (Member)

1 Mar 201130 Jun 2011

Activity: MembershipMembership in review committee

Københavns Universitet (External organisation)

Henning Christiansen (Member)

1 Apr 20111 Oct 2011

Activity: MembershipMembership in review committee

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

Torben Braüner (Member)

5 Oct 20117 Oct 2011

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

International Workshop on Methods for Modalities (External organisation)

Torben Braüner (Member)

10 Nov 201112 Nov 2011

Activity: MembershipMembership in committee, council, board

Om Brug af LaTeX og BibTeX

Henning Christiansen (Organizer)

6 May 2011

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

Reviewer for Deutsche Forschungsgemeinschaft

Henning Christiansen (Participant)

1 Jul 201130 Oct 2011

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

Censor for AAlborg Universitet/Esbjerg

Henning Christiansen (Examiner)

17 Jun 2011

Activity: Examination

Reviewer for tidsskrift "Journal of Computer and System Sciences" (Journal)

Henning Christiansen (Peer reviewer)

2011

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Invited talk: Arthur Prior's temporal logic and contemporary hybrid logic

Torben Braüner (Lecturer)

27 Sep 201129 Sep 2011

Activity: Talk or presentationLecture and oral contribution

Københavns Universitet (External organisation)

Henning Christiansen (Member)

13 Apr 201112 Dec 2011

Activity: MembershipMembership in review committee

University of Granada (External organisation)

Troels Andreasen (Member)

1 Apr 20111 Jul 2011

Activity: MembershipMembership in review committee

Arthur Prior’s temporal logic and the origin of contemporary hybrid logic

Torben Braüner (Lecturer)

8 Apr 20119 Apr 2011

Activity: Talk or presentationLecture and oral contribution

6th International Workshop on Constraints and Language Processing

Henning Christiansen (Speaker)

27 Sep 2011

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

11th Scandinavian Conference on Artificial Intelligence

Henning Christiansen (Organizer)

2011

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

1st International Work-Conference on Linguistics, Biology and Computer Science

Henning Christiansen (Speaker)

14 Mar 201118 Mar 2011

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

ICLP 2011: 27th International Conference on Logic Programming

Henning Christiansen (Organizer)

2011

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

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

1st International Work-Conference on Linguistics, Biology and Computer Science

Henning Christiansen (Speaker)

14 Mar 201118 Mar 2011

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

Program Committee (External organisation)

Troels Andreasen (Member)

1 May 20111 Dec 2011

Activity: MembershipMembership in committee, council, board

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