Programming, Logic and Intelligent Systems

Activities

ICDM 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

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

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

Program Analysis With Regular Tree Languages

John Patrick Gallagher (Lecturer)

19 Jul 2011

Activity: Talk or presentationLecture and oral contribution

File

Teaching Computer Science at HumTek

Mads Rosendahl (Lecturer)

23 May 201225 May 2012

Activity: Talk or presentationLecture and oral contribution

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

Linköpings universitet (External organisation)

Henning Christiansen (Member)

9 Oct 2012

Activity: MembershipMembership in review committee

CSLP 2012

Henning Christiansen (Organizer)

13 Sep 201214 Sep 2012

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

DEXA '12

Henning Christiansen (Organizer)

3 Sep 20126 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

Semantics Based Cost Analysis

Mads Rosendahl (Lecturer)

19 Oct 2012

Activity: Talk or presentationLecture and oral contribution

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

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

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

CSLP 2012

Henning Christiansen (Participant)

13 Sep 201214 Sep 2012

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

Workshop on Scheme and Functional Programming

Morten Rhiger (Organizer)

9 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

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

Ph.d. bedømmelsesudvalg (External organisation)

Mads Rosendahl (Member)

28 Feb 2012

Activity: MembershipMembership in review committee

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 mini-course

Torben Braüner (Lecturer)

14 May 201218 May 2012

Activity: Talk or presentationLecture and oral contribution

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

Foredrag: Rule based AI-programming

Henning Christiansen (Participant)

8 Oct 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

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

Invited talk: Hybrid Logic and Its Proof-Theory

Torben Braüner (Lecturer)

30 Sep 2012

Activity: Talk or presentationLecture and oral contribution

4th Workshop on Reversible Computation

Mads Rosendahl (Participant)

2 Jul 20123 Jul 2012

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

DanSAS 2012

Mads Rosendahl (Participant)

24 Aug 2012

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

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

8th Scandinavian Logic Symposium (External organisation)

Torben Braüner (Member)

20 Aug 201221 Aug 2012

Activity: MembershipMembership in committee, council, board

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

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: Proof Theory for Modal Logic: Recent Developments

Torben Braüner (Lecturer)

6 Jan 201417 Jan 2014

Activity: Talk or presentationLecture and oral contribution

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

A system for conceptual pathway finding and deductive querying

Henrik Bulskov (Speaker)

27 Oct 2015

Activity: Talk or presentationLecture and oral contribution

Cognitive, linguistic and logical aspects of perspective-taking

Torben Braüner (Organizer), , Patrick Rowan Blackburn (Organizer), & Irina Polyanskaya (Organizer)

27 May 2015

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

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

Torben Braüner (Member)

19 Sep 201524 Sep 2015

Activity: MembershipMembership in committee, council, board

The Ninth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2015) (External organisation)

Torben Braüner (Member)

2 Nov 20156 Nov 2015

Activity: MembershipMembership in committee, council, board

Advances in Modal Logic 2016 (Event)

Torben Braüner (Member)

30 Aug 20162 Sep 2016

Activity: MembershipMembership in committee, council, board

27th International Conference on Database and Expert Systems Applications

Henning Christiansen (Organizer)

2016

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

Eighth International Workshop Modelling and Reasoning in Context

Henning Christiansen (Organizer)

2016

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