Programming, Logic and Intelligent Systems

Activities

Program Analysis With Regular Tree Languages

John Patrick Gallagher (Lecturer)
19 Jul 2011

Activity: Talk or presentationLecture and oral contribution

File

Aalborg University (External organisation)

Troels Andreasen (Member)
1 Mar 201130 Jun 2011

Activity: MembershipMembership in review committee

Københavns Universitet (External organisation)

Henning Christiansen (Member)
1 Apr 20111 Oct 2011

Activity: MembershipMembership in review committee

ICDM 2011

Henning Christiansen (Organizer)
2011

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

Program Committee (External organisation)

Troels Andreasen (Member)
1 May 20111 Dec 2011

Activity: MembershipMembership in committee, council, board

FQAS 2011

Henning Christiansen (Organizer)
2011

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

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

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

International Workshop on Methods for Modalities (External organisation)

Torben Braüner (Member)
10 Nov 201112 Nov 2011

Activity: MembershipMembership in committee, council, board

Reviewer for tidsskrift "Journal of Computer and System Sciences" (Journal)

Henning Christiansen (Peer reviewer)
2011

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

University of Granada (External organisation)

Troels Andreasen (Member)
1 Apr 20111 Jul 2011

Activity: MembershipMembership in review committee

11th Scandinavian Conference on Artificial Intelligence

Henning Christiansen (Organizer)
2011

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

ICLP 2011: 27th International Conference on Logic Programming

Henning Christiansen (Organizer)
2011

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

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Editor)
20112017

Activity: Editorial work and peer reviewEditor of Research journalResearch

Om Brug af LaTeX og BibTeX

Henning Christiansen (Organizer)
6 May 2011

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

Censor for AAlborg Universitet/Esbjerg

Henning Christiansen (Examiner)
17 Jun 2011

Activity: Examination

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

Reviewer for Deutsche Forschungsgemeinschaft

Henning Christiansen (Participant)
1 Jul 201130 Oct 2011

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

Københavns Universitet (External organisation)

Henning Christiansen (Member)
13 Apr 201112 Dec 2011

Activity: MembershipMembership in review committee

Higher-Order and Symbolic Computation (Journal)

John Patrick Gallagher (Editor)
20102011

Activity: Editorial work and peer reviewEditor of Research journalResearch

DANSAS 2010

Mads Rosendahl (Participant)
19 Aug 2010

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

Research Visit at Rovira Virgili University, Department of Romance Philology, Tarragona, Spain, hosted by M. Dolores Jiménez-López

Henning Christiansen (Participant)
30 May 20105 Jun 2010

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

Reasoning and language processing with Constraint Handling Rules

Henning Christiansen (Organizer)
12 Nov 201026 Nov 2010

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

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

Vært for kollega fra EPITECH, planlægning af studenterudveksling under Erasmus: - i samarbejde med RUCs Internationale Afdeling

Henning Christiansen (Participant)
24 Sep 201030 Sep 2010

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

Linköpings universitet (External organisation)

Henning Christiansen (Member)
19 Nov 2010

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

CHR 2010: Seventh International Workshop on Constraint Handling Rules

Henning Christiansen (Participant)
20 Jul 2010

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

Trinity College Dublin (External organisation)

John Patrick Gallagher (Chairman)
20102012

Activity: MembershipMembership in review committee

Lærerudveksling under Erasmus

Henning Christiansen (Participant)
19 Jan 201021 Jan 2010

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

Association for Computing Machinery (External organisation)

John Patrick Gallagher (Member)
20102011

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)
1 Nov 201031 Oct 2011

Activity: MembershipMembership in committee, council, board

Science Research Council Belgium (FUNDP) (External organisation)

John Patrick Gallagher (Member)
2010

Activity: MembershipMembership in review committee

Program Committee (External organisation)

Troels Andreasen (Member)
1 Jul 201030 Jun 2011

Activity: MembershipMembership in committee, council, board

Reviewer for tidsskrift "Knowledge based systems" (Journal)

Henning Christiansen (Peer reviewer)
2010 → …

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Advances in Modal Logic (External organisation)

Torben Braüner (Member)
1 Jan 201031 Dec 2012

Activity: MembershipMembership in committee, council, board

CHR 2010: Seventh International Workshop on Constraint Handling Rules

Henning Christiansen (Organizer)
20 Jul 2010

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

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

Higher Order and Symbolic Computation (Journal)

John Patrick Gallagher (Peer reviewer)
2010

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

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

Association for Logic Programming (External organisation)

John Patrick Gallagher (Chairman)
1 Aug 201010 Jul 2011

Activity: MembershipMembership in committee, council, board

Advances in Modal Logic (External organisation)

Torben Braüner (Member)
25 Aug 201029 Aug 2010

Activity: MembershipMembership in committee, council, board

International Conference on Logic Programming (ICLP’08) (External organisation)

John Patrick Gallagher (Member)
2010 → …

Activity: MembershipMembership in committee, council, board

ICLP 2010, International Conference for Logic Programming

Christian Theil-Have (Other)
16 Jul 201019 Jul 2010

Activity: Talk or presentationLecture and oral contribution

Program Committee (External organisation)

Troels Andreasen (Member)
1 Aug 201031 Jul 2011

Activity: MembershipMembership in committee, council, board

Invited Talk: Descriptive Types and Well-Typings, with an Aside on Model Checking

John Patrick Gallagher (Lecturer)
7 Jul 2010

Activity: Talk or presentationLecture and oral contribution