Programming, Logic and Intelligent Systems

Activities

IEEE Systems Man and Cybernetics Society (External organisation)

Troels Andreasen (Member)

1 Jan 200131 Jan 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

Energy-aware software engineering

John Patrick Gallagher (Speaker)

1 Nov 2019

Activity: Talk or presentationLecture and oral contribution

Fourteenth International Symposium on Practical Aspects of Declarative Languages

Henning Christiansen (Organizer)

23 Jan 201224 Jan 2012

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

Information Processing & Management (Journal)

Troels Andreasen (Peer reviewer)

1 Jan 200731 Dec 2012

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

European Summer School in Logic, Language and Information

Sine Zambach (Organizer)

8 Aug 201020 Aug 2010

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

Program Committee (External organisation)

Troels Andreasen (Member)

1 Aug 200831 Jul 2009

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 talk: Hybrid logic and its Proof-Theory

Torben Braüner (Speaker)

27 Nov 2019

Activity: Talk or presentationLecture and oral contribution

Invited talk: Arthur Prior's temporal logic and contemporary hybrid logic

Torben Braüner (Lecturer)

27 Sep 201129 Sep 2011

Activity: Talk or presentationLecture and oral contribution

International Workshop on Hybrid Logic (External organisation)

Torben Braüner (Member)

15 Jul 200917 Jul 2009

Activity: MembershipMembership in committee, council, board

Hvordan virker en rejseplanner?: Preæsentation for gynmasieeelever; besøgsdag for Odsherred Gymnasium

Henning Christiansen (Lecturer)

5 Oct 2009

Activity: Talk or presentationLecture and oral contribution

CHR 2009, Sixth International Workshop on Constraint Handling Rules : Workshop participation

Christian Theil-Have (Participant)

15 Jul 2010

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

Fundamenta Informaticae (Journal)

John Patrick Gallagher (Editor)

2020

Activity: Editorial work and peer reviewEditor of Research journalResearch

Program Committee (External organisation)

Troels Andreasen (Member)

1 Nov 201031 Oct 2011

Activity: MembershipMembership in committee, council, board

Invited talk: Hybrid Logic and Its Proof-Theory

Torben Braüner (Lecturer)

30 Sep 2012

Activity: Talk or presentationLecture and oral contribution

Reviewer for ICLP 2010, International Conference for Logic Programming

Henning Christiansen (Participant)

16 Jul 201019 Jul 2010

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

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

Program Committee (External organisation)

Troels Andreasen (Member)

1 Aug 200731 Jul 2008

Activity: MembershipMembership in committee, council, board

The First Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'07)

Henning Christiansen (Participant)

17 Sep 200718 Sep 2007

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

Universidade NOVA de Lisboa

Henning Christiansen (Visiting researcher)

24 Mar 200828 Mar 2008

Activity: Visiting an external institutionVisiting an external academic institution

IOSPress, Integrated Computer-Aided Engineering, International Journal (Journal)

Troels Andreasen (Peer reviewer)

1 Jan 201031 Dec 2012

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

the second International Workshop ForLing; NON-CLASSICAL FORMAL LANGUAGES IN LINGUISTICS

Henning Christiansen (Organizer)

29 Jan 200829 Aug 2008

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

Københavns Universitet (External organisation)

Henning Christiansen (Member)

13 Apr 201112 Dec 2011

Activity: MembershipMembership in review committee

Probabilistic-logic models for analysis of language and biological sequence data

Henning Christiansen (Lecturer)

17 Apr 2009

Activity: Talk or presentationLecture and oral contribution

Higher Order and Symbolic Computation (Journal)

John Patrick Gallagher (Peer reviewer)

2010

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

Henning Christiansen (Speaker)

2 Nov 2018

Activity: Talk or presentationLecture and oral contribution

Terminologiske ontologier og beskrivelseslogik: Et eksperiment inden for domænet enzymkemi

Sine Zambach (Speaker)

9 Jun 200910 Jun 2009

Activity: Talk or presentationLecture and oral contribution

22nd International Conference on Database and Expert Systems Applications

Henning Christiansen (Organizer)

2011

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

Københavns Universitet (External organisation)

Henning Christiansen (Member)

1 Apr 20111 Oct 2011

Activity: MembershipMembership in review committee

International Workshop on Hybrid Logic (External organisation)

Torben Braüner (Member)

10 Jul 2010

Activity: MembershipMembership in committee, council, board

University of Granada (External organisation)

Troels Andreasen (Member)

1 Apr 20111 Jul 2011

Activity: MembershipMembership in review committee

Information and Computation (Journal)

John Patrick Gallagher (Peer reviewer)

20082010

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Reviewer for Højteknologifonden (Journal)

Henning Christiansen (Editor)

1 Jan 2007

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Recent Advances in Natural Language Processing 2009

Christian Theil-Have (Other)

14 Sep 200916 Sep 2009

Activity: Talk or presentationLecture and oral contribution

Invited Talk: Scalable Static Analysis based on Regular Types

John Patrick Gallagher (Lecturer)

Oct 2008

Activity: Talk or presentationLecture and oral contribution

FQAS 2017

Henning Christiansen (Organizer)

20162017

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

Sixth International Workshop on Methods for Modalities 2009 (M4M-6 2009) (External organisation)

Torben Braüner (Member)

12 Nov 200914 Nov 2009

Activity: MembershipMembership in committee, council, board

Scandinavian Conference on Artificial Intelligence (External organisation)

Torben Braüner (Member)

26 May 200828 May 2008

Activity: MembershipMembership in committee, council, board

Methods for Modalities (External organisation)

John Patrick Gallagher (Member)

2009 → …

Activity: MembershipMembership in committee, council, board

Universitat Rovira i Virgili

Henning Christiansen (Visiting researcher)

15 Oct 200928 Oct 2009

Activity: Visiting an external institutionVisiting an external academic institution

Trinity College Dublin (External organisation)

John Patrick Gallagher (Chairman)

20102012

Activity: MembershipMembership in review committee

Logic Programming, 25th International Conference, ICLP 2009 : Conference participation with presentations

Christian Theil-Have (Participant)

14 Jul 200917 Jul 2009

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

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

EUSFLAT European Society for Fuzzy Logic and Technology (External organisation)

Troels Andreasen (Member)

1 Jan 200731 Dec 2012

Activity: MembershipMembership in committee, council, board