Programming, Logic and Intelligent Systems

Activities 1999 2019

Invited speaker, PROLE'2007, Zaragoza, Spain

John Patrick Gallagher (Lecturer)
14 Sep 2007

Activity: Talk or presentationLecture and oral contribution

International Conference RANLP - 2007, Recent Advances in Natural Language Processing

Henning Christiansen (Participant)
27 Sep 200729 Sep 2007

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

Research visit to Philippe Blache, Univ. Aix-en-Provence

Henning Christiansen (Participant)
18 Sep 2007

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

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

Troels Andreasen (Member)
1 Jan 200731 Dec 2012

Activity: MembershipMembership in committee, council, board

Proceedings of Reviewer for ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation (PEPM '08) (Journal)

Henning Christiansen (Editor)
1 Jan 2007

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Styregruppe (External organisation)

Henning Christiansen (Member)
24 Jul 2007 → …

Activity: MembershipMembership in board of company or public organisation

On Browsing Domain Ontologies for Information Base Content

Troels Andreasen (Speaker)
18 Jun 200721 Jun 2007

Activity: Talk or presentationLecture and oral contribution

On Browsing Domain Ontologies for Information Base Content

Henrik Bulskov (Speaker)
18 Jun 200721 Jun 2007

Activity: Talk or presentationLecture and oral contribution

Technical University of Denmark (External organisation)

Troels Andreasen (Member)
1 Mar 20071 Jul 2007

Activity: MembershipMembership in review committee

CONTEXT-09, Seventh International and Interdisciplinary Conference on Modeling and Using Context : Member of steering committee

Henning Christiansen (Participant)
12 Oct 2007 → …

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

Program Committee, WSEAS 2008 12th WSEAS International Conference on COMPUTERS (External organisation)

Troels Andreasen (Member)
1 Aug 200731 Jul 2008

Activity: MembershipMembership in committee, council, board

Reasoning about Use Cases using Logic Grammars and Constraints

Henning Christiansen (Lecturer)
18 Sep 2007

Activity: Talk or presentationLecture and oral contribution

Hosting Davide Martinenghi, Univ. Bolzano, Italy(research cooperation)

Henning Christiansen (Participant)
30 May 20076 Jun 2007

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

International Conference RANLP - 2007, Recent Advances in Natural Language Processing

Christian Theil-Have (Participant)
27 Sep 200729 Sep 2007

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

Introductory lecture on hybrid logic

Torben Braüner (Lecturer)
6 Aug 200710 Aug 2007

Activity: Talk or presentationLecture and oral contribution

Program Committee (External organisation)

Troels Andreasen (Member)
1 Jul 200730 Jun 2008

Activity: MembershipMembership in committee, council, board

Logic-statistic modeling and analysis of biological sequence data: a research agenda

Henning Christiansen (Lecturer)
15 Sep 2007

Activity: Talk or presentationLecture and oral contribution

BNCOD, 24th British National Conference on Databases

Henning Christiansen (Participant)
3 Jul 20075 Jul 2007

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

Program Committee (External organisation)

Troels Andreasen (Member)
1 Sep 200731 Jul 2008

Activity: MembershipMembership in committee, council, board

Reviewer for Højteknologifonden (Journal)

Henning Christiansen (Editor)
1 Jan 2007

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

Troels Andreasen (Member)
1 Aug 200731 Dec 2011

Activity: MembershipMembership in committee, council, board

Elsevier, Pattern Recognition Letters (Journal)

Troels Andreasen (Peer reviewer)
1 Jan 200731 Dec 2012

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Program Committee (External organisation)

Troels Andreasen (Member)
1 Aug 200731 Jul 2008

Activity: MembershipMembership in committee, council, board

IEEE Transactions on Systems, Man and Cybernetics Part B (Journal)

Troels Andreasen (Peer reviewer)
1 Jan 200631 Dec 2012

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

John Patrick Gallagher (Peer reviewer)
20062011

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Fuzzy Sets and Systems (Journal)

Troels Andreasen (Peer reviewer)
1 Jan 200531 Dec 2012

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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 SIGMOD Special Interest Group on Management Of Data. (External organisation)

Troels Andreasen (Member)
1 Jan 200531 Dec 2012

Activity: MembershipMembership in committee, council, board

IEEE Computational Intelligence Society (External organisation)

Troels Andreasen (Member)
1 Jan 200531 Dec 2012

Activity: MembershipMembership in review committee

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

Troels Andreasen (Member)
1 Jan 200531 Dec 2012

Activity: MembershipMembership in committee, council, board

Journal of Intelligent Information Systems (Journal)

Troels Andreasen (Peer reviewer)
1 Jan 200431 Dec 2012

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Technical University of Denmark (External organisation)

Troels Andreasen (Member)
1 Aug 200231 Dec 2002

Activity: MembershipMembership in committee, council, board

Invited tutorial on temporal logic and hybrid logic

Torben Braüner (Lecturer)
7 Nov 20029 Nov 2002

Activity: Talk or presentationLecture and oral contribution

IEEE Systems Man and Cybernetics Society (External organisation)

Troels Andreasen (Member)
1 Jan 200131 Jan 2012

Activity: MembershipMembership in committee, council, board

Aalborg University (External organisation)

Troels Andreasen (Member)
1 Feb 19991 Jun 1999

Activity: MembershipMembership in committee, council, board