Programming, Logic and Intelligent Systems

Activities 1999 2020

10th International Conference on Enterprise Information Systems : Member of program committee

Henning Christiansen (Organizer)
12 Jun 200816 Jun 2008

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

11th Scandinavian Conference on Artificial Intelligence

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

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

15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08)

Mads Rosendahl (Participant)
25 Nov 200829 Nov 2008

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

18th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (External organisation)

John Patrick Gallagher (Member)
20082009

Activity: MembershipMembership in committee, council, board

1st International Work-Conference on Linguistics, Biology and Computer Science

Henning Christiansen (Speaker)
14 Mar 201118 Mar 2011

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

1st International Work-Conference on Linguistics, Biology and Computer Science

Henning Christiansen (Speaker)
14 Mar 201118 Mar 2011

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

21st International Conference on Database and Expert Systems Applications

Henning Christiansen (Organizer)
30 Aug 20103 Sep 2010

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

22nd International Conference on Database and Expert Systems Applications

Henning Christiansen (Organizer)
2011

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

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

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

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

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

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

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

Activity: MembershipMembership in committee, council, board

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

27th International Conference on Database and Expert Systems Applications

Henning Christiansen (Organizer)
2016

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

4th Workshop on Reversible Computation

Mads Rosendahl (Participant)
2 Jul 20123 Jul 2012

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

5th International Workshop on Constraints and Language Processing (CSLP2008) : Co-organizer, co-chair for program committee

Henning Christiansen (Organizer)
11 Aug 200815 Aug 2008

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

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

6th International Workshop on Constraints and Language Processing

Henning Christiansen (Speaker)
27 Sep 2011

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

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

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

7th International Workshop on Confluence

Henning Christiansen (Speaker)
7 Jul 2018

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

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

8th Industrial Conference on Data Mining ICDM´2008 : Member of program committee

Henning Christiansen (Organizer)
16 Jul 200818 Jul 2008

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

8th Scandinavian Logic Symposium (External organisation)

Torben Braüner (Member)
20 Aug 201221 Aug 2012

Activity: MembershipMembership in committee, council, board

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

9th International Joint Conference on Automated Reasoning (Event)

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

Activity: MembershipMembership in committee, council, board

Arthur Prior’s temporal logic and the origin of contemporary hybrid logic

Torben Braüner (Lecturer)
8 Apr 20119 Apr 2011

Activity: Talk or presentationLecture and oral contribution

A system for conceptual pathway finding and deductive querying

Henrik Bulskov (Speaker)
27 Oct 2015

Activity: Talk or presentationLecture and oral contribution

Autonome robotter - beyond Roomba

Mads Rosendahl (Lecturer)
20 Apr 2012

Activity: Talk or presentationLecture and oral contribution

Aalborg University (External organisation)

Troels Andreasen (Member)
1 Mar 201130 Jun 2011

Activity: MembershipMembership in review committee

Aalborg University (External organisation)

Troels Andreasen (Member)
1 Feb 19991 Jun 1999

Activity: MembershipMembership in committee, council, board

Aalborg University (External organisation)

Troels Andreasen (Member)
1 Apr 201030 Jun 2010

Activity: MembershipMembership in review committee

Abstract interpretation of temporal logic: abstract model checking revisited

John Patrick Gallagher (Lecturer)
19 Aug 2010

Activity: Talk or presentationLecture and oral contribution

File

ACM SIGCHI Special Interest Group on Computer-Human Interaction (External organisation)

Troels Andreasen (Member)
1 Jan 200531 Dec 2012

Activity: MembershipMembership in committee, council, board

ACM SIGIR Special Interest Group on Information Retrieval (External organisation)

Troels Andreasen (Member)
1 Jan 200531 Dec 2012

Activity: MembershipMembership in committee, council, board

ACM SIGMOD Special Interest Group on Management Of Data. (External organisation)

Troels Andreasen (Member)
1 Jan 200531 Dec 2012

Activity: MembershipMembership in committee, council, board

Acm Sigplan (External organisation)

John Patrick Gallagher (Member)
2009 → …

Activity: MembershipMembership in committee, council, board

ACM Transactions on Programming Languages and Systems (TOPLAS) (Journal)

John Patrick Gallagher (Peer reviewer)
20062011

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Besøg hos kolleger, ETH, Zürich

Henning Christiansen (Participant)
19 Mar 201021 Mar 2010

Activity: OtherOther (prizes, external teaching and other activities) - Period visiting other institutions