Programming, Logic and Intelligent Systems

Activities 1999 2018

9th International Joint Conference on Automated Reasoning (Event)

Braüner, T. (Member)
14 Jul 201817 Jul 2018

Activity: MembershipMembership in committee, council, board

Fourteenth International Symposium on Functional and Logic Programming (Event)

Gallagher, J. P. (Editor)
2018

Activity: Editorial work and peer reviewEditor of Research journalResearch

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

Christiansen, H. (Speaker)
2 Nov 2018

Activity: Talk or presentationLecture and oral contribution

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

Christiansen, H. (Organizer)
29 Oct 201831 Oct 2018

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

Workshop on Linguistic Complexity & Natural Language Processing

Christiansen, H. (Organizer)
20 Aug 201825 Aug 2018

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

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

Braüner, T. (Member)
24 Jul 201827 Jul 2018

Activity: MembershipMembership in committee, council, board

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

Christiansen, H. (Speaker), Kirkeby, M. H. (Speaker)
4 Sep 20186 Sep 2018

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

PLP 2018, The 5th Workshop on Probabilistic Logic Programming

Christiansen, H. (Organizer)
1 Sep 2018

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

Confluence in Constraint Handling Rules (Invited talk)

Kirkeby, M. H. (Speaker)
7 Jul 2018

Activity: Talk or presentationLecture and oral contribution

File

WFLP 2018, The 26th International Workshop on Functional and Logic Programming

Christiansen, H. (Speaker), Kirkeby, M. H. (Speaker)
6 Sep 2018

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

MRC 2018

Christiansen, H. (Organizer)
9 Jul 201819 Jul 2018

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

International Workshop on Confluence

Christiansen, H. (Speaker)
7 Jul 2018

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

27th IEEE International Symposium on Robot and Human Interactive Communication

Christiansen, H. (Speaker)
27 Aug 201831 Aug 2018

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

The 27th International Symposium on Logic-based Program Synthesis and Transformation (Event)

Gallagher, J. P. (Editor)
2017

Activity: Editorial work and peer reviewEditor of Research journalResearch

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

Braüner, T. (Speaker)
8 May 201712 May 2017

Activity: Talk or presentationLecture and oral contribution

International Workshop Modelling and Reasoning in Context

Christiansen, H. (Organizer)
2017

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

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

Christiansen, H. (Organizer)
2017

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

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

Braüner, T. (Member)
25 Sep 201728 Sep 2017

Activity: MembershipMembership in committee, council, board

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

Christiansen, H. (Organizer)
2017

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

ICAART 2017 - International Conference on Agents and Artificial Intelligence

Christiansen, H. (Organizer)
2017

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

Invited lecture: Deception and Second-Order Theory of Mind

Braüner, T. (Speaker)
9 Jan 201713 Jan 2017

Activity: Talk or presentationLecture and oral contribution

Ninth Methods for Modality Workshop - 2017 (Event)

Braüner, T. (Member)
8 Jan 20179 Jan 2017

Activity: MembershipMembership in committee, council, board

Autism Research Network Meeting

Braüner, T. (Organizer), Blackburn, P. R. (Organizer), Polyanskaya, I. (Organizer)
26 May 2016

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

CSLP 2016

Christiansen, H. (Organizer)
2016

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

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

Christiansen, H. (Organizer)
2016

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

27th International Conference on Database and Expert Systems Applications

Christiansen, H. (Organizer)
2016

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

Eighth International Workshop Modelling and Reasoning in Context

Christiansen, H. (Organizer)
2016

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

Advances in Modal Logic 2016 (Event)

Braüner, T. (Member)
30 Aug 20162 Sep 2016

Activity: MembershipMembership in committee, council, board

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

Christiansen, H. (Organizer)
1 Jun 2016

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

Udvalgte fotografier 1991-2015 / Henning Christiansen

Christiansen, H. (Participant)
1 Jun 20162 Jul 2016

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

Cognitive, linguistic and logical aspects of perspective-taking II

Braüner, T. (Organizer), Blackburn, P. R. (Organizer), Polyanskaya, I. (Organizer)
26 May 2016

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

FQAS 2017

Christiansen, H. (Organizer)
20162017

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

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

Braüner, T. (Speaker)
23 May 201625 May 2016

Activity: Talk or presentationLecture and oral contribution

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

Braüner, T. (Member)
19 Sep 201524 Sep 2015

Activity: MembershipMembership in committee, council, board

7th International Conference on Agents and Artificial Intelligence

Christiansen, H. (Organizer)
10 Jan 201512 Jan 2015

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

Cognitive, linguistic and logical aspects of perspective-taking

Braüner, T. (Organizer), Blackburn, P. R. (Organizer), Polyanskaya, I. (Organizer)
27 May 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)

Braüner, T. (Member)
2 Nov 20156 Nov 2015

Activity: MembershipMembership in committee, council, board

Invited talk at the workshop: Proof Theory for Modal Logic: Recent Developments

Braüner, T. (Lecturer)
6 Jan 201417 Jan 2014

Activity: Talk or presentationLecture and oral contribution

Ph.d. bedømmelsesudvalg (External organisation)

Braüner, T. (Chairman)
31 Oct 2013

Activity: MembershipMembership in review committee

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

Braüner, T. (Lecturer)
5 Dec 2013

Activity: Talk or presentationLecture and oral contribution

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

Braüner, T. (Lecturer)
24 May 2013

Activity: Talk or presentationLecture and oral contribution

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

Christiansen, H. (Participant)
19 Feb 20122 Mar 2012

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

4th Workshop on Reversible Computation

Rosendahl, M. (Participant)
2 Jul 20123 Jul 2012

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

Teaching Computer Science at HumTek

Rosendahl, M. (Lecturer)
23 May 201225 May 2012

Activity: Talk or presentationLecture and oral contribution

Semantics Based Cost Analysis

Rosendahl, M. (Lecturer)
19 Oct 2012

Activity: Talk or presentationLecture and oral contribution

Linköpings universitet (External organisation)

Christiansen, H. (Member)
9 Oct 2012

Activity: MembershipMembership in review committee

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

Christiansen, H. (Participant)
18 Sep 201220 Sep 2012

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