Programming, Logic and Intelligent Systems

Activities 1999 2018

MRC 2018

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

Activity: Organisation and participation in conference

9th International Joint Conference on Automated Reasoning (Event)

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

Activity: Membership in committee, council, board

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

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

Activity: Membership in committee, council, board

Workshop on Linguistic Complexity & Natural Language Processing

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

Activity: Organisation and participation in conference

Invited lecture: Deception and Second-Order Theory of Mind

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

Activity: Lecture and oral contribution

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

Christiansen, H. (Organizer)
2017

Activity: Organisation and participation in conference

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

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

Activity: Lecture and oral contribution

ICAART 2017 - International Conference on Agents and Artificial Intelligence

Christiansen, H. (Organizer)
2017

Activity: Organisation and participation in conference

International Workshop Modelling and Reasoning in Context

Christiansen, H. (Organizer)
2017

Activity: Organisation and participation in conference

Ninth Methods for Modality Workshop - 2017 (Event)

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

Activity: Membership in committee, council, board

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

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

Activity: Membership in committee, council, board

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

Christiansen, H. (Organizer)
1 Jun 2016

Activity: Organisation and participation in conference

Autism Research Network Meeting

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

Activity: Organisation and participation in conference

Cognitive, linguistic and logical aspects of perspective-taking II

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

Activity: Organisation and participation in conference

Eighth International Workshop Modelling and Reasoning in Context

Christiansen, H. (Organizer)
2016

Activity: Organisation and participation in conference

Udvalgte fotografier 1991-2015 / Henning Christiansen

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

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

FQAS 2017

Christiansen, H. (Organizer)
20162017

Activity: Organisation and participation in conference

Advances in Modal Logic 2016 (Event)

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

Activity: Membership in committee, council, board

27th International Conference on Database and Expert Systems Applications

Christiansen, H. (Organizer)
2016

Activity: Organisation 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: Lecture and oral contribution

CSLP 2016

Christiansen, H. (Organizer)
2016

Activity: Organisation and participation in conference

7th International Conference on Agents and Artificial Intelligence

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

Activity: Organisation 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: Organisation and participation in conference

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

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

Activity: Membership 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: Lecture and oral contribution

Ph.d. bedømmelsesudvalg (External organisation)

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

Activity: Membership in review committee

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

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

Activity: Lecture and oral contribution

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

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

Activity: Lecture and oral contribution

8th Scandinavian Logic Symposium

Christiansen, H. (Speaker)
20 Aug 201221 Aug 2012

Activity: Participation in workshop, seminar, course

Ph.d. bedømmelsesudvalg (External organisation)

Rosendahl, M. (Member)
28 Feb 2012

Activity: Membership in review committee

6th International Joint Conference on Automated Reasoning (IJCAR 2012) (External organisation)

Braüner, T. (Member)
25 Jun 201229 Jun 2012

Activity: Membership in committee, council, board

Invited talk: Hybrid Logic and Its Proof-Theory

Braüner, T. (Lecturer)
30 Sep 2012

Activity: Lecture and oral contribution

Invited mini-course

Braüner, T. (Lecturer)
14 May 201218 May 2012

Activity: Lecture and oral contribution

DanSAS 2012

Rosendahl, M. (Participant)
24 Aug 2012

Activity: Participation in workshop, seminar, course

Fourteenth International Symposium on Practical Aspects of Declarative Languages

Christiansen, H. (Organizer)
23 Jan 201224 Jan 2012

Activity: Organisation and participation in conference

9th International Conference on Advances in Modal Logic (AiML 2012) (External organisation)

Braüner, T. (Member)
22 Aug 201225 Aug 2012

Activity: Membership in committee, council, board

Teaching Computer Science at HumTek

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

Activity: Lecture and oral contribution

Autonome robotter - beyond Roomba

Rosendahl, M. (Lecturer)
20 Apr 2012

Activity: Lecture and oral contribution

CSLP 2012

Christiansen, H. (Organizer)
13 Sep 201214 Sep 2012

Activity: Organisation and participation in conference

ECML/PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology

Christiansen, H. (Organizer)
29 Sep 2012

Activity: Organisation and participation in conference

DEXA '12

Christiansen, H. (Organizer)
3 Sep 20126 Sep 2012

Activity: Organisation and participation in conference