Programming, Logic and Intelligent Systems

Activities 1999 2020

IEEE Systems Man and Cybernetics Society (External organisation)

Troels Andreasen (Member)
1 Jan 200131 Jan 2012

Activity: MembershipMembership in committee, council, board

Energy-aware software engineering

John Patrick Gallagher (Speaker)
1 Nov 2019

Activity: Talk or presentationLecture and oral contribution

A TRIBUTE WORKSHOP AND FESTIVAL TO HONOR Professor Dr. Neil D. Jones

Henning Christiansen (Participant)
25 Aug 200726 Aug 2007

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

Partial Evaluation and Program Manipulation' 08 (External organisation)

Mads Rosendahl (Member)
7 Jan 20088 Jan 2008

Activity: MembershipMembership in review committee

Program Committee (External organisation)

Troels Andreasen (Member)
1 Jul 200830 Jun 2009

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

Higher-Order and Symbolic Computation (Journal)

John Patrick Gallagher (Editor)
20102011

Activity: Editorial work and peer reviewEditor of Research journalResearch

6th International Workshop on Constraints and Language Processing at Context'11

Henning Christiansen (Organizer)
26 Sep 201127 Sep 2011

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

Invited speaker, PROLE'2007, Zaragoza, Spain

John Patrick Gallagher (Lecturer)
14 Sep 2007

Activity: Talk or presentationLecture and oral contribution

Invited talk: Hybrid logic and its Proof-Theory

Torben Braüner (Speaker)
27 Nov 2019

Activity: Talk or presentationLecture and oral contribution

Integrity Checking and Maintenance with Active Rules in XML Databases

Henning Christiansen (Lecturer)
2 Jul 2007

Activity: Talk or presentationLecture and oral contribution

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Editor)
20072011

Activity: Editorial work and peer reviewEditor of Research journalResearch

Advances in Modal Logic 2016 (Event)

Torben Braüner (Member)
30 Aug 20162 Sep 2016

Activity: MembershipMembership in committee, council, board

Research visit to Philippe Blache, Univ. Aix-en-Provence

Henning Christiansen (Participant)
18 Sep 2007

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

Logic in progress talk

Torben Braüner (Speaker)
23 May 2018

Activity: Talk or presentationLecture and oral contribution

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

International Workshop on Hybrid Logic (External organisation)

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

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

Forskningsophold, Aalborg Universitet, Datalogi, hos Manfred Jaeger

Henning Christiansen (Participant)
24 Jun 200826 Jun 2008

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

7th International Workshop on Confluence

Henning Christiansen (Speaker)
7 Jul 2018

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

Keynote talk: Hybrid-Logical Proofs: With an Application to False-Belief Tasks

Torben Braüner (Lecturer)
24 May 2013

Activity: Talk or presentationLecture and oral contribution

DANSAS 2010

Mads Rosendahl (Participant)
19 Aug 2010

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

Censor, speciale

Henning Christiansen (Examiner)
9 Apr 2008

Activity: Examination

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

Torben Braüner (Member)
19 Sep 201524 Sep 2015

Activity: MembershipMembership in committee, council, board

10th International Conference on Enterprise Information Systems : Member of program committee

Henning Christiansen (Organizer)
12 Jun 200816 Jun 2008

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

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

MRC 2018

Henning Christiansen (Organizer)
9 Jul 201819 Jul 2018

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

Lecture Notes in Computer Science (Journal)

Mads Rosendahl (Editor)
1 Jan 2007

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Forskningsophold

Henning Christiansen (Participant)
24 Mar 200828 Mar 2008

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

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

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

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

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

Invited talk: Hybrid Logic and Its Proof-Theory

Torben Braüner (Lecturer)
30 Sep 2012

Activity: Talk or presentationLecture and oral contribution

Program Committee (External organisation)

Troels Andreasen (Member)
1 Aug 200731 Jul 2008

Activity: MembershipMembership in committee, council, board

Linköpings universitet (External organisation)

Henning Christiansen (Member)
19 Nov 2010

Activity: MembershipMembership in review committee

International Workshop on Hybrid Logic (External organisation)

Torben Braüner (Member)
10 Jul 2010

Activity: MembershipMembership in committee, council, board

CICLOPS 2008, Colloquium on Implementation of Constraint and LOgic Programming Systems

Henning Christiansen (Organizer)
12 Dec 200812 Jan 2009

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

22nd International Conference on Database and Expert Systems Applications

Henning Christiansen (Organizer)
2011

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

7th International Conference on Agents and Artificial Intelligence

Henning Christiansen (Organizer)
10 Jan 201512 Jan 2015

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

FQAS 2017

Henning Christiansen (Organizer)
20162017

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

Linköpings universitet (External organisation)

Henning Christiansen (Member)
9 Oct 2012

Activity: MembershipMembership in review committee

Scandinavian Conference on Artificial Intelligence (External organisation)

Torben Braüner (Member)
26 May 200828 May 2008

Activity: MembershipMembership in committee, council, board

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

Recent Advances in Natural Language Processing 2009

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

Activity: Talk or presentationLecture and oral contribution

Trinity College Dublin (External organisation)

John Patrick Gallagher (Chairman)
20102012

Activity: MembershipMembership in review committee

Lærerudveksling under Erasmus

Henning Christiansen (Participant)
19 Jan 201021 Jan 2010

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

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