Programming, Logic and Intelligent Systems

Activities 1999 2019

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

9th International Conference on Advances in Modal Logic (AiML 2012) (External organisation)

Torben Braüner (Member)
22 Aug 201225 Aug 2012

Activity: MembershipMembership in committee, council, board

Fourteenth International Symposium on Practical Aspects of Declarative Languages

Henning Christiansen (Organizer)
23 Jan 201224 Jan 2012

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

CSLP 2012

Henning Christiansen (Participant)
13 Sep 201214 Sep 2012

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

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

Henning Christiansen (Participant)
18 Sep 201220 Sep 2012

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

CHR 2012 Ninth International Workshop on Constraint Handling Rules

Henning Christiansen (Speaker)
4 Sep 2012

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

CSLP 2012

Henning Christiansen (Organizer)
13 Sep 201214 Sep 2012

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

ECML/PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology

Henning Christiansen (Organizer)
29 Sep 2012

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

Invited mini-course

Torben Braüner (Lecturer)
14 May 201218 May 2012

Activity: Talk or presentationLecture and oral contribution

Teaching Computer Science at HumTek

Mads Rosendahl (Lecturer)
23 May 201225 May 2012

Activity: Talk or presentationLecture and oral contribution

8th Scandinavian Logic Symposium (External organisation)

Torben Braüner (Member)
20 Aug 201221 Aug 2012

Activity: MembershipMembership in committee, council, board

Semantics Based Cost Analysis

Mads Rosendahl (Lecturer)
19 Oct 2012

Activity: Talk or presentationLecture and oral contribution

Workshop on Scheme and Functional Programming

Morten Rhiger (Organizer)
9 Sep 2012

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

Ph.d. bedømmelsesudvalg (External organisation)

Mads Rosendahl (Member)
28 Feb 2012

Activity: MembershipMembership in review committee

4th Workshop on Reversible Computation

Mads Rosendahl (Participant)
2 Jul 20123 Jul 2012

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

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

Foredrag: Rule based AI-programming

Henning Christiansen (Participant)
8 Oct 2012

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

DEXA '12

Henning Christiansen (Organizer)
3 Sep 20126 Sep 2012

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

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

Invited talk: Hybrid Logic and Its Proof-Theory

Torben Braüner (Lecturer)
30 Sep 2012

Activity: Talk or presentationLecture and oral contribution

6th International Joint Conference on Automated Reasoning (IJCAR 2012) (External organisation)

Torben Braüner (Member)
25 Jun 201229 Jun 2012

Activity: MembershipMembership in committee, council, board

DanSAS 2012

Mads Rosendahl (Participant)
24 Aug 2012

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

Besøg hos Tilburg School of Humanities; lærerudveksling under Erasmus med henblik på kommende studenterudveksling

Henning Christiansen (Participant)
19 Feb 20122 Mar 2012

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

8th Scandinavian Logic Symposium

Henning Christiansen (Speaker)
20 Aug 201221 Aug 2012

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

Autonome robotter - beyond Roomba

Mads Rosendahl (Lecturer)
20 Apr 2012

Activity: Talk or presentationLecture and oral contribution

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

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Editor)
20112017

Activity: Editorial work and peer reviewEditor of Research journalResearch

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

Torben Braüner (Member)
5 Oct 20117 Oct 2011

Activity: MembershipMembership in committee, council, board

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

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

Aalborg University (External organisation)

Troels Andreasen (Member)
1 Mar 201130 Jun 2011

Activity: MembershipMembership in review committee

FQAS 2011

Henning Christiansen (Organizer)
2011

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

Censor for AAlborg Universitet/Esbjerg

Henning Christiansen (Participant)
17 Jun 2011

Activity: OtherOther (prizes, external teaching and other activities) - External teaching and subject coordination

Københavns Universitet (External organisation)

Henning Christiansen (Member)
1 Apr 20111 Oct 2011

Activity: MembershipMembership in review committee

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

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

Program Analysis With Regular Tree Languages

John Patrick Gallagher (Lecturer)
19 Jul 2011

Activity: Talk or presentationLecture and oral contribution

File

University of Granada (External organisation)

Troels Andreasen (Member)
1 Apr 20111 Jul 2011

Activity: MembershipMembership in review committee

ICDM 2011

Henning Christiansen (Organizer)
2011

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

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

Henning Christiansen (Peer reviewer)
2011

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

6th International Workshop on Constraints and Language Processing

Henning Christiansen (Organizer)
27 Sep 2011

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

11th Scandinavian Conference on Artificial Intelligence

Henning Christiansen (Organizer)
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

7th nternational Workshop - Modeling and Reasoning in Context

Henning Christiansen (Organizer)
26 Sep 201127 Sep 2011

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

Københavns Universitet (External organisation)

Henning Christiansen (Member)
13 Apr 201112 Dec 2011

Activity: MembershipMembership in review committee

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