Programming, Logic and Intelligent Systems

Activities

École pour l'informatique et les nouvelles technologies

Henning Christiansen (Visiting lecturer)

19 Jan 201021 Jan 2010

Activity: Visiting an external institutionVisiting an external academic institution

Autonome robotter - beyond Roomba

Mads Rosendahl (Lecturer)

20 Apr 2012

Activity: Talk or presentationLecture and oral contribution

FQAS 2009 : Flexible Query and answering systems

Sine Zambach (Organizer)

26 Oct 200928 Oct 2009

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

22nd International Symposium on Logic-Based Program Synthesis and Transformation

Henning Christiansen (Organizer)

18 Sep 201220 Sep 2012

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

Confluence in Constraint Handling Rules (Invited talk)

Maja Hanne Kirkeby (Speaker)

7 Jul 2018

Activity: Talk or presentationLecture and oral contribution

File

Proceedinds of The 15th International Static Analysis Symposium, SAS 2008 (Journal)

Henning Christiansen (Editor)

1 Jan 2008

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

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

International Workshop on Hybrid Logic (External organisation)

Torben Braüner (Member)

10 Jul 2010

Activity: MembershipMembership in committee, council, board

27th IEEE International Symposium on Robot and Human Interactive Communication

Henning Christiansen (Speaker)

27 Aug 201831 Aug 2018

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

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

Invited Talk: Scalable Static Analysis based on Regular Types

John Patrick Gallagher (Lecturer)

Oct 2008

Activity: Talk or presentationLecture and oral contribution

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

Linköpings universitet (External organisation)

Henning Christiansen (Member)

9 Oct 2012

Activity: MembershipMembership in review committee

27th International Conference on Database and Expert Systems Applications

Henning Christiansen (Organizer)

2016

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

CSLP 2012

Henning Christiansen (Organizer)

13 Sep 201214 Sep 2012

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

Mathematical Programming Computation (Journal)

Keld Helsgaun (Editor)

24 Aug 2008 → …

Activity: Editorial work and peer reviewEditor of Research journalCommunication

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

Henning Christiansen (Organizer)

4 Mar 2009

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

DEXA '12

Henning Christiansen (Organizer)

3 Sep 20126 Sep 2012

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

ECML/PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology

Henning Christiansen (Organizer)

29 Sep 2012

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

Spring Course on Rule-based Programming

Christian Theil-Have (Participant)

18 May 200922 May 2009

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

Association for Computing Machinery (External organisation)

John Patrick Gallagher (Member)

20102011

Activity: MembershipMembership in committee, council, board

Keynote talk: Hybrid-Logical Proof-Theory: With an Application to False-Belief Tests

Torben Braüner (Speaker)

8 May 201712 May 2017

Activity: Talk or presentationLecture and oral contribution

Scandinavian Conference on Artificial Intelligence (External organisation)

John Patrick Gallagher (Member)

2008

Activity: MembershipMembership in committee, council, board

CSCLP 2008, Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming

Henning Christiansen (Participant)

18 Jun 200820 Jun 2008

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

  IT og naturvidenskab - et fornuftsægteskab?

Sine Zambach (Lecturer)

5 Mar 2009

Activity: Talk or presentationLecture and oral contribution

Præsentation: Danser med robotter

Henning Christiansen (Speaker)

5 Sep 2019

Activity: Talk or presentationLecture and oral contribution

Princples of Programming Languages

Mads Rosendahl (Participant)

10 Jan 200812 Jan 2008

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

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

Mads Rosendahl (Lecturer)

7 Mar 2007

Activity: Talk or presentationLecture and oral contribution

Semantics Based Cost Analysis

Mads Rosendahl (Lecturer)

19 Oct 2012

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

Censor, speciale

Henning Christiansen (Examiner)

26 Aug 2008

Activity: Examination

7th International Workshop on Confluence

Henning Christiansen (Speaker)

7 Jul 2018

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

22nd International Conference on Database and Expert Systems Applications

Henning Christiansen (Organizer)

2011

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

The 26th International Workshop on Functional and Logic Programming

Henning Christiansen (Speaker), & Maja Hanne Kirkeby (Speaker)

6 Sep 2018

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

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

The First LoSt Workshop, Logic-statistic analysis of biological sequence data

Henning Christiansen (Organizer)

5 Feb 20086 Feb 2008

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

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

Eighth International Workshop Modelling and Reasoning in Context

Henning Christiansen (Organizer)

2016

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

IEEE Computational Intelligence Society (External organisation)

Troels Andreasen (Member)

1 Jan 200531 Dec 2012

Activity: MembershipMembership in review committee

Universitat Rovira i Virgili

Henning Christiansen (Visiting researcher)

15 Apr 200920 Apr 2009

Activity: Visiting an external institutionVisiting an external academic institution

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Editor)

1 Jan 201231 Dec 2016

Activity: Editorial work and peer reviewEditor of Research journalResearch

The 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009) (External organisation)

John Patrick Gallagher (Chairman)

1 Mar 200914 Jul 2009

Activity: MembershipMembership in committee, council, board