Programming, Logic and Intelligent Systems

Activities 1999 2020

25th International Symposium on Methodologies for Intelligent Systems

Henning Christiansen (Participant)
20 May 202022 May 2020

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

Big Data - definition, usage and pitfalls

Henrik Bulskov (Speaker)
25 Apr 2019

Activity: Talk or presentationLecture and oral contribution

Energy-aware software engineering

John Patrick Gallagher (Speaker)
1 Nov 2019

Activity: Talk or presentationLecture and oral contribution

Præsentation: Danser med robotter

Henning Christiansen (Speaker)
5 Sep 2019

Activity: Talk or presentationLecture and oral contribution

The 12th International Symposium on Frontiers of Combining Systems (Event)

Torben Braüner (Member)
4 Sep 20196 Sep 2019

Activity: MembershipMembership in committee, council, board

Invited talk: Hybrid logic and its Proof-Theory

Torben Braüner (Speaker)
27 Nov 2019

Activity: Talk or presentationLecture and oral contribution

Logical proofs: From mathematics to psychology

Torben Braüner (Speaker)
30 Oct 2019

Activity: Talk or presentationLecture and oral contribution

Big Data

Henrik Bulskov (Speaker)
1 Apr 2019

Activity: Talk or presentationLecture and oral contribution

Eighth Indian Conference on Logic and its Applications 2019 (Event)

Torben Braüner (Member)
1 Mar 20195 Mar 2019

Activity: MembershipMembership in committee, council, board

Logic and Cognition Pre-Conference Workshop

Torben Braüner (Organizer), Sujata Ghosh (Organizer)
2 Mar 2019

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

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

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

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

Henning Christiansen (Speaker)
2 Nov 2018

Activity: Talk or presentationLecture and oral contribution

MRC 2018

Henning Christiansen (Organizer)
9 Jul 201819 Jul 2018

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

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

9th International Joint Conference on Automated Reasoning (Event)

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

Activity: MembershipMembership in committee, council, board

Logic in progress talk

Torben Braüner (Speaker)
23 May 2018

Activity: Talk or presentationLecture and oral contribution

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

Fourteenth International Symposium on Functional and Logic Programming (Event)

John Patrick Gallagher (Editor)
2018

Activity: Editorial work and peer reviewEditor of Research journalResearch

7th International Workshop on Confluence

Henning Christiansen (Speaker)
7 Jul 2018

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

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

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

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

Activity: MembershipMembership in committee, council, board

Confluence in Constraint Handling Rules (Invited talk)

Maja Hanne Kirkeby (Speaker)
7 Jul 2018

Activity: Talk or presentationLecture and oral contribution

File

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

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

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

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

Invited lecture: The application of hybrid logic within cognitive psychology

Torben Braüner (Speaker)
15 Dec 2017

Activity: Talk or presentationLecture and oral contribution

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

ICAART 2017 - International Conference on Agents and Artificial Intelligence

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

International Workshop Modelling and Reasoning in Context

Henning Christiansen (Organizer)
2017

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

23rd International Symposium on Methodologies for Intelligent Systems

Henning Christiansen (Participant)
26 Jun 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)

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

Activity: MembershipMembership in committee, council, board

Invited mini-course on hybrid logic

Torben Braüner (Speaker)
11 Dec 201713 Dec 2017

Activity: Talk or presentationLecture and oral contribution

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

Torben Braüner (Speaker)
17 May 2017

Activity: Talk or presentationLecture and oral contribution

Ninth Methods for Modality Workshop - 2017 (Event)

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

Activity: MembershipMembership in committee, council, board

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

FQAS 2017

Henning Christiansen (Organizer)
20162017

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

CSLP 2016

Henning Christiansen (Organizer)
2016

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

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

Eighth International Workshop Modelling and Reasoning in Context

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

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

Udvalgte fotografier 1991-2015 / Henning Christiansen

Henning Christiansen (Participant)
1 Jun 20162 Jul 2016

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

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

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