Programming, Logic and Intelligent Systems

Activities 1999 2019

Conference participation with poster presentation and robot demo

Henning Christiansen (Other), Mads Hobye (Other), Anja Mølle Lindelof (Other)
5 Mar 20198 Mar 2019

Activity: Talk or presentationLecture and oral contribution

Præsentation på IDA Universe – Driving IT: Dances with robots

Henning Christiansen (Speaker)
2 Nov 2018

Activity: Talk or presentationLecture and oral contribution

27th IEEE International Symposium on Robot and Human Interactive Communication

Henning Christiansen (Speaker)
27 Aug 201831 Aug 2018

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

7th International Workshop on Confluence

Henning Christiansen (Speaker)
7 Jul 2018

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

Fourteenth International Symposium on Functional and Logic Programming (Event)

John Patrick Gallagher (Editor)
2018

Activity: Editorial work and peer reviewEditor of Research journalResearch

ISMIS 2018, 24th International Symposium on Methodologies for Intelligent Systems

Henning Christiansen (Organizer)
29 Oct 201831 Oct 2018

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

PLP 2018, The 5th Workshop on Probabilistic Logic Programming

Henning Christiansen (Organizer)
1 Sep 2018

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

Confluence in Constraint Handling Rules (Invited talk)

Maja Hanne Kirkeby (Speaker)
7 Jul 2018

Activity: Talk or presentationLecture and oral contribution

File

WFLP 2018, 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

LOPSTR 2018 -28th International Symposium on Logic-Based Program Synthesis and Transformation

Henning Christiansen (Speaker), Maja Hanne Kirkeby (Speaker)
4 Sep 20186 Sep 2018

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

25th Workshop on Logic, Language, Information and Computation (Event)

Torben Braüner (Member)
24 Jul 201827 Jul 2018

Activity: MembershipMembership in committee, council, board

MRC 2018

Henning Christiansen (Organizer)
9 Jul 201819 Jul 2018

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

Workshop on Linguistic Complexity & Natural Language Processing

Henning Christiansen (Organizer)
20 Aug 201825 Aug 2018

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

9th International Joint Conference on Automated Reasoning (Event)

Torben Braüner (Member)
14 Jul 201817 Jul 2018

Activity: MembershipMembership in committee, council, board

The 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Event)

Torben Braüner (Member)
25 Sep 201728 Sep 2017

Activity: MembershipMembership in committee, council, board

Keynote talk: Hybrid-Logical Proof-Theory: With an Application to False-Belief Tests

Torben Braüner (Speaker)
8 May 201712 May 2017

Activity: Talk or presentationLecture and oral contribution

LOPSTR 2017 - International Symposium on Logic-Based Program Synthesis and Transformation (Event)

John Patrick Gallagher (Editor)
2017

Activity: Editorial work and peer reviewEditor of Research journalResearch

ICAART 2017 - International Conference on Agents and Artificial Intelligence

Henning Christiansen (Organizer)
2017

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

International Workshop Modelling and Reasoning in Context

Henning Christiansen (Organizer)
2017

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

LOPSTR 2017 - International Symposium on Logic-Based Program Synthesis and Transformation

Henning Christiansen (Organizer)
2017

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

28th International Conference on Database and Expert Systems Applications - DEXA 2017

Henning Christiansen (Organizer)
2017

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

Ninth Methods for Modality Workshop - 2017 (Event)

Torben Braüner (Member)
8 Jan 20179 Jan 2017

Activity: MembershipMembership in committee, council, board

Invited lecture: Deception and Second-Order Theory of Mind

Torben Braüner (Speaker)
9 Jan 201713 Jan 2017

Activity: Talk or presentationLecture and oral contribution

FQAS 2017

Henning Christiansen (Organizer)
20162017

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

1st International Workshop on AI aspects of Reasoning, Information, and Memory (AIRIM’16)

Henning Christiansen (Organizer)
2016

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

Advances in Modal Logic 2016 (Event)

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

Activity: MembershipMembership in committee, council, board

Cognitive, linguistic and logical aspects of perspective-taking II

Torben Braüner (Organizer), Patrick Rowan Blackburn (Organizer), Irina Polyanskaya (Organizer)
26 May 2016

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

27th International Conference on Database and Expert Systems Applications

Henning Christiansen (Organizer)
2016

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

14th International Conference on Practical Applications of Agents and Multi-Agent Systems

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

Autism Research Network Meeting

Torben Braüner (Organizer), Patrick Rowan Blackburn (Organizer), Irina Polyanskaya (Organizer)
26 May 2016

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

Udvalgte fotografier 1991-2015 / Henning Christiansen

Henning Christiansen (Participant)
1 Jun 20162 Jul 2016

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

CSLP 2016

Henning Christiansen (Organizer)
2016

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

Invited talk: Second-order false-belief reasoning: Some modal-logical analyses

Torben Braüner (Speaker)
23 May 201625 May 2016

Activity: Talk or presentationLecture and oral contribution

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

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

Activity: MembershipMembership in committee, council, board

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

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

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

All data on activities in 2014 has disappeared: 1 PC chair role and 2PC memberships for int'l conferences; various reviewing; 2 int'l conf. particpations with presentation

Henning Christiansen (Participant)
2014 → …

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

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

Invited lecture on hybrid logic at Munich Center for Mathematical Philosophy, Ludwig-Maximilians-Universität München, Germany.

Torben Braüner (Lecturer)
17 Jan 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

All data on activities in 2013 has disappeared: Conferences: 2 steering committees; 1 PC chair; 5 PC membership; a few conf. particpations with presentation

Henning Christiansen (Participant)
2013

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

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

Autonome robotter - beyond Roomba

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

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

Henning Christiansen (Speaker)
20 Aug 201221 Aug 2012

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

Teaching Computer Science at HumTek

Mads Rosendahl (Lecturer)
23 May 201225 May 2012

Activity: Talk or presentationLecture and oral contribution