Programming, Logic and Intelligent Systems

Activities 1999 2019

11th Scandinavian Conference on Artificial Intelligence (External organisation)

John Patrick Gallagher (Member)
2011 → …

Activity: MembershipMembership in committee, council, board

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Editor)
15 Jan 201110 Jul 2011

Activity: Editorial work and peer reviewEditor of Research journalResearch

International Workshop on Methods for Modalities (External organisation)

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

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

Om Brug af LaTeX og BibTeX

Henning Christiansen (Organizer)
6 May 2011

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

22nd International Conference on Database and Expert Systems Applications

Henning Christiansen (Organizer)
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

Trinity College Dublin (External organisation)

John Patrick Gallagher (Chairman)
20102012

Activity: MembershipMembership in review committee

LoSt project workshop

Christian Theil-Have (Other)
28 Sep 201029 Sep 2010

Activity: Talk or presentationLecture and oral contribution

DANSAS 2010

Mads Rosendahl (Participant)
19 Aug 2010

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

Higher-Order and Symbolic Computation (Journal)

John Patrick Gallagher (Editor)
20102011

Activity: Editorial work and peer reviewEditor of Research journalResearch

Abstract interpretation of temporal logic: abstract model checking revisited

John Patrick Gallagher (Lecturer)
19 Aug 2010

Activity: Talk or presentationLecture and oral contribution

File

Workshop on Hybrid Logic (External organisation)

Torben Braüner (Member)
10 Jul 2010

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)
1 Jul 201030 Jun 2011

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

Censor for IMADA, Syddansk Universitet: skriftlig eksamen

Henning Christiansen (Participant)
Jan 2010

Activity: OtherOther (prizes, external teaching and other activities) - External teaching and subject coordination

Lærerudveksling under Erasmus

Henning Christiansen (Participant)
19 Jan 201021 Jan 2010

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

Research Visit at Rovira Virgili University, Department of Romance Philology, Tarragona, hosted by Veronica Dahl

Henning Christiansen (Participant)
7 Nov 201010 Nov 2010

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

Linköpings universitet (External organisation)

Henning Christiansen (Member)
1 Sep 201019 Nov 2010

Activity: MembershipMembership in review committee

Program Committee (External organisation)

Troels Andreasen (Member)
1 Nov 201031 Oct 2011

Activity: MembershipMembership in committee, council, board

ICLP 2010, International Conference for Logic Programming

Henning Christiansen (Participant)
16 Jul 201019 Jul 2010

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

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

Censor for Inst for Datalogi, Aalborg Universitet: Mundtlig eksamen

Henning Christiansen (Participant)
12 Jan 2010

Activity: OtherOther (prizes, external teaching and other activities) - External teaching and subject coordination

First International Summer School on Constraint Handling Rules

Henning Christiansen (Speaker)
30 Aug 20103 Sep 2010

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

CHR 2010: Seventh International Workshop on Constraint Handling Rules

Christian Theil-Have (Participant)
20 Jul 2010

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

ICLP 2010, International Conference for Logic Programming

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

Activity: Talk or presentationLecture and oral contribution

Association for Computing Machinery (External organisation)

John Patrick Gallagher (Member)
20102011

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

European Summer School in Logic, Language and Information

Christian Theil-Have (Participant)
9 Aug 201019 Aug 2010

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

Tenth International Symposium on Functional and Logic Programming (FLOPS 2010) (External organisation)

John Patrick Gallagher (Member)
2010 → …

Activity: MembershipMembership in committee, council, board

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

Science Research Council Belgium (FUNDP) (External organisation)

John Patrick Gallagher (Member)
2010

Activity: MembershipMembership in review committee

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

John Patrick Gallagher (Member)
2010 → …

Activity: MembershipMembership in committee, council, board

Miniworkshop in the LoSt rojekt

Christian Theil-Have (Other)
4 Mar 2010

Activity: Talk or presentationLecture and oral contribution

Association for Logic Programming (External organisation)

John Patrick Gallagher (Chairman)
1 Aug 201010 Jul 2011

Activity: MembershipMembership in committee, council, board

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

Vært for gæster fra Veliko Turnovo University, Bulgarien; ERASMUS: Lærerudveksling, planlægning af studenterudvekslinger

Henning Christiansen (Participant)
9 May 201014 May 2010

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

Industrial Conference on Data Mining

Henning Christiansen (Organizer)
12 Jul 201014 Jul 2010

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

Linköpings universitet (External organisation)

Henning Christiansen (Member)
19 Nov 2010

Activity: MembershipMembership in review committee

Spring Workshop on Mining and Learning 2010

Henning Christiansen (Participant)
17 Mar 201019 Mar 2010

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

Aalborg University (External organisation)

Troels Andreasen (Member)
1 Apr 201030 Jun 2010

Activity: MembershipMembership in review committee

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

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

Program Committee (External organisation)

Troels Andreasen (Member)
1 Nov 201031 Oct 2011

Activity: MembershipMembership in committee, council, board

Theory and Practice of Logic Programming (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

Higher Order and Symbolic Computation (Journal)

John Patrick Gallagher (Peer reviewer)
2010

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

International Symposium on Logic-based Program Synthesis and Transformation (External organisation)

John Patrick Gallagher (Member)
2010 → …

Activity: MembershipMembership in committee, council, board