Programming, Logic and Intelligent Systems

Activities

A TRIBUTE WORKSHOP AND FESTIVAL TO HONOR Professor Dr. Neil D. Jones

Henning Christiansen (Participant)

25 Aug 200726 Aug 2007

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

Integrity Checking and Maintenance with Active Rules in XML Databases

Henning Christiansen (Lecturer)

2 Jul 2007

Activity: Talk or presentationLecture and oral contribution

Referee for the Research Fund Council of Chile: Research Council (FONDECYT) (External organisation)

Troels Andreasen (Member)

1 Aug 20071 May 2008

Activity: MembershipMembership in review committee

Reviewer for Højteknologifonden (Journal)

Henning Christiansen (Editor)

1 Jan 2007

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Limits on computing: Day of Science lecture March 7th 2007

Mads Rosendahl (Lecturer)

7 Mar 2007

Activity: Talk or presentationLecture and oral contribution

Information Processing & Management (Journal)

Troels Andreasen (Peer reviewer)

1 Jan 200731 Dec 2012

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

Styregruppe (External organisation)

Henning Christiansen (Member)

24 Jul 2007 → …

Activity: MembershipMembership in board of company or public organisation

Sigplan Notices (Journal)

Mads Rosendahl (Editor)

1 Jan 2007

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Editor)

20072011

Activity: Editorial work and peer reviewEditor of Research journalResearch

Invited speaker, PROLE'2007, Zaragoza, Spain

John Patrick Gallagher (Lecturer)

14 Sep 2007

Activity: Talk or presentationLecture and oral contribution

Norges Forskningsråd (External organisation)

Troels Andreasen (Member)

1 Nov 20071 May 2008

Activity: MembershipMembership in review committee

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

Troels Andreasen (Member)

1 Jan 200731 Dec 2012

Activity: MembershipMembership in committee, council, board

Introductory lecture on hybrid logic

Torben Braüner (Lecturer)

6 Aug 200710 Aug 2007

Activity: Talk or presentationLecture and oral contribution

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

Program Committee (External organisation)

Troels Andreasen (Member)

1 Aug 200731 Jul 2008

Activity: MembershipMembership in committee, council, board

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

Lecture Notes in Computer Science (Journal)

Mads Rosendahl (Editor)

1 Jan 2007

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

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

Elsevier, Pattern Recognition Letters (Journal)

Troels Andreasen (Peer reviewer)

1 Jan 200731 Dec 2012

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Reasoning about Use Cases using Logic Grammars and Constraints

Henning Christiansen (Lecturer)

18 Sep 2007

Activity: Talk or presentationLecture and oral contribution

From use cases to UML class diagrams using logic grammars and constraints

Henning Christiansen (Lecturer)

27 Sep 2007

Activity: Talk or presentationLecture and oral contribution

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 Aug 200731 Dec 2011

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

Paradigms of Programming: Day of Science October 3rd, 2007

Mads Rosendahl (Lecturer)

3 Oct 2007

Activity: Talk or presentationLecture and oral contribution

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

On Browsing Domain Ontologies for Information Base Content

Henrik Bulskov (Speaker)

18 Jun 200721 Jun 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

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 (External organisation)

Troels Andreasen (Member)

1 Sep 200731 Jul 2008

Activity: MembershipMembership in committee, council, board

Workshop on Abduction and Induction in Artificial Intelligence and Bioinformatics (AIAI'07)

Henning Christiansen (Participant)

15 Sep 200716 Sep 2007

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

The First BNCOD Workshop on Web & Information Management

Henning Christiansen (Participant)

2 Jul 20073 Jul 2007

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

On Browsing Domain Ontologies for Information Base Content

Troels Andreasen (Speaker)

18 Jun 200721 Jun 2007

Activity: Talk or presentationLecture and oral contribution

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

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

Fuzzy Sets and Systems (Journal)

Troels Andreasen (Peer reviewer)

1 Jan 200531 Dec 2012

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

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

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