Programming, Logic and Intelligent Systems

Activities 1999 2019

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

Invited talk at the workshop: False-Belief Tasks and Logic

Torben Braüner (Lecturer)
5 Dec 2013

Activity: Talk or presentationLecture and oral contribution

Ph.d. bedømmelsesudvalg (External organisation)

Torben Braüner (Chairman)
31 Oct 2013

Activity: MembershipMembership in review committee

DEXA '12

Henning Christiansen (Organizer)
3 Sep 20126 Sep 2012

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

8th Scandinavian Logic Symposium (External organisation)

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

Activity: MembershipMembership in committee, council, board

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

Teaching Computer Science at HumTek

Mads Rosendahl (Lecturer)
23 May 201225 May 2012

Activity: Talk or presentationLecture and oral contribution

Semantics Based Cost Analysis

Mads Rosendahl (Lecturer)
19 Oct 2012

Activity: Talk or presentationLecture and oral contribution

Foredrag: Rule based AI-programming

Henning Christiansen (Participant)
8 Oct 2012

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

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

Linköpings universitet (External organisation)

Henning Christiansen (Member)
9 Oct 2012

Activity: MembershipMembership in review committee

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

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

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

Invited talk: Hybrid Logic and Its Proof-Theory

Torben Braüner (Lecturer)
30 Sep 2012

Activity: Talk or presentationLecture and oral contribution

Ph.d. bedømmelsesudvalg (External organisation)

Mads Rosendahl (Member)
28 Feb 2012

Activity: MembershipMembership in review committee

Invited mini-course

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

Activity: Talk or presentationLecture and oral contribution

CSLP 2012

Henning Christiansen (Organizer)
13 Sep 201214 Sep 2012

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

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

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

4th Workshop on Reversible Computation

Mads Rosendahl (Participant)
2 Jul 20123 Jul 2012

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

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

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

Autonome robotter - beyond Roomba

Mads Rosendahl (Lecturer)
20 Apr 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

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

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

DanSAS 2012

Mads Rosendahl (Participant)
24 Aug 2012

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

8th Scandinavian Logic Symposium

Henning Christiansen (Speaker)
20 Aug 201221 Aug 2012

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

CSLP 2012

Henning Christiansen (Participant)
13 Sep 201214 Sep 2012

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

Københavns Universitet (External organisation)

Henning Christiansen (Member)
1 Apr 20111 Oct 2011

Activity: MembershipMembership in review committee

FQAS 2011

Henning Christiansen (Organizer)
2011

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

11th Scandinavian Conference on Artificial Intelligence (External organisation)

John Patrick Gallagher (Member)
2011 → …

Activity: MembershipMembership in committee, council, board

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

Censor for AAlborg Universitet/Esbjerg

Henning Christiansen (Participant)
17 Jun 2011

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

ICDM 2011

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

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

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

Program Analysis With Regular Tree Languages

John Patrick Gallagher (Lecturer)
19 Jul 2011

Activity: Talk or presentationLecture and oral contribution

File

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Editor)
20112017

Activity: Editorial work and peer reviewEditor of Research journalResearch

Om Brug af LaTeX og BibTeX

Henning Christiansen (Organizer)
6 May 2011

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

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

Reviewer for Deutsche Forschungsgemeinschaft

Henning Christiansen (Participant)
1 Jul 201130 Oct 2011

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

Aalborg University (External organisation)

Troels Andreasen (Member)
1 Mar 201130 Jun 2011

Activity: MembershipMembership in review committee