Programming, Logic and Intelligent Systems

Activities

4th Workshop on Reversible Computation

Mads Rosendahl (Participant)

2 Jul 20123 Jul 2012

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

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

MRC 2008, Fifth International Workshop Modeling and Reasoning in Context

Henning Christiansen (Organizer)

9 Jun 200812 Jun 2008

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

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

Flexible Query Answering Systems (External organisation)

Troels Andreasen (Chairman)

1 Dec 200830 Nov 2009

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)

1 Jul 201030 Jun 2011

Activity: MembershipMembership in committee, council, board

Seminar on Virtual Archaeology

John Patrick Gallagher (Organizer)

14 May 2009

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

Preprocessing for Optimization of Probabilistic-Logic Models for Biological Sequence Analysis

Henning Christiansen (Lecturer)

25 Jun 2008

Activity: Talk or presentationLecture and oral contribution

Invited talk: Arthur Prior's temporal logic and the origin of contemporary hybrid logic

Torben Braüner (Lecturer)

4 Dec 20086 Dec 2008

Activity: Talk or presentationLecture and oral contribution

Workshop “Logic and Ontology”

Sine Zambach (Lecturer)

24 Nov 2009

Activity: Talk or presentationLecture and oral contribution

The 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Event)

Torben Braüner (Member)

25 Sep 201728 Sep 2017

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)

1 Sep 200731 Jul 2008

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

Hvordan virker en rejseplanner?: Del af NATDAG, arrangement for gymnasieelever

Henning Christiansen (Lecturer)

4 Mar 2009

Activity: Talk or presentationLecture and oral contribution

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

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Peer reviewer)

20082010

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

DanSAS 2012

Mads Rosendahl (Participant)

24 Aug 2012

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

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

Invited lecture: The application of hybrid logic within cognitive psychology

Torben Braüner (Speaker)

15 Dec 2017

Activity: Talk or presentationLecture and oral contribution

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

Theory and Practice of Logic Programming (Journal)

Henning Christiansen (Peer reviewer)

2010

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

International Workshop Modelling and Reasoning in Context

Henning Christiansen (Organizer)

2017

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

Censor, 2 specialer

Henning Christiansen (Examiner)

26 Jun 2008

Activity: Examination

Universidad Politecnica de Madrid (External organisation)

John Patrick Gallagher (Member)

Oct 2009

Activity: MembershipMembership in review committee

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

CHR 2012 Ninth International Workshop on Constraint Handling Rules

Henning Christiansen (Speaker)

4 Sep 2012

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

Censor, kursus i databaser

Henning Christiansen (Examiner)

29 Oct 2008

Activity: Examination

8th Scandinavian Logic Symposium (External organisation)

Torben Braüner (Member)

20 Aug 201221 Aug 2012

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

PLP 2018, The 5th Workshop on Probabilistic Logic Programming

Henning Christiansen (Organizer)

1 Sep 2018

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

Frontiers of Combining Systems (FroCoS 2009) (External organisation)

Torben Braüner (Member)

16 Sep 200918 Sep 2009

Activity: MembershipMembership in committee, council, board

8th Industrial Conference on Data Mining ICDM´2008 : Member of program committee

Henning Christiansen (Organizer)

16 Jul 200818 Jul 2008

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

Program Analysis With Regular Tree Languages

John Patrick Gallagher (Lecturer)

19 Jul 2011

Activity: Talk or presentationLecture and oral contribution

File

IEEE Systems Man and Cybernetics Society (External organisation)

Troels Andreasen (Member)

1 Jan 200131 Jan 2012

Activity: MembershipMembership in committee, council, board

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

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Editor)

20072011

Activity: Editorial work and peer reviewEditor of Research journalResearch

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

Henning Christiansen (Peer reviewer)

2011

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Invited mini-course on hybrid logic

Torben Braüner (Speaker)

11 Dec 201713 Dec 2017

Activity: Talk or presentationLecture and oral contribution

Invited talk: Hybrid logic and its Proof-Theory

Torben Braüner (Speaker)

27 Nov 2019

Activity: Talk or presentationLecture and oral contribution

China-Denmark Graduate Course Cross-Disciplinary Nano-Bio-IT Research

Christian Theil-Have (Participant)

6 Jun 200911 Jun 2009

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

Invited speaker, PROLE'2007, Zaragoza, Spain

John Patrick Gallagher (Lecturer)

14 Sep 2007

Activity: Talk or presentationLecture and oral contribution

Hvordan virker en rejseplanner?: Som led i NatDag på RUC; arrangementer for gymnasieelever

Henning Christiansen (Lecturer)

23 Sep 2009

Activity: Talk or presentationLecture and oral contribution

Ph.d. bedømmelsesudvalg (External organisation)

Mads Rosendahl (Member)

28 Feb 2012

Activity: MembershipMembership in review committee

Poster Presentation: The Sounds of Techno-genesis

Maja Fagerberg Ranten (Speaker), , David Kadish (Speaker), & Megan Hines (Speaker)

20 Sep 201923 Sep 2019

Activity: Talk or presentationLecture and oral contribution

Program Committee (External organisation)

Troels Andreasen (Member)

1 Jul 200930 Jun 2010

Activity: MembershipMembership in committee, council, board

Invited talk: Arthur Prior's temporal logic and contemporary hybrid logic

Torben Braüner (Lecturer)

27 Sep 201129 Sep 2011

Activity: Talk or presentationLecture and oral contribution

International Workshop on Hybrid Logic (External organisation)

Torben Braüner (Member)

15 Jul 200917 Jul 2009

Activity: MembershipMembership in committee, council, board