Programming, Logic and Intelligent Systems

Activities

Lecture Notes in Computer Science (Journal)

Henning Christiansen (Editor)

1 Jan 2008

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Lecture Notes in Computer Science (Journal)

Mads Rosendahl (Editor)

1 Jan 2007

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

LID 2008, Logic in Databases

Henning Christiansen (Participant)

19 May 200820 May 2008

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

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

Mads Rosendahl (Lecturer)

7 Mar 2007

Activity: Talk or presentationLecture and oral contribution

Linköpings universitet (External organisation)

Henning Christiansen (Member)

9 Oct 2012

Activity: MembershipMembership in review committee

Linköpings universitet (External organisation)

John Patrick Gallagher (Member)

Feb 2008

Activity: MembershipMembership in review committee

Linköpings universitet (External organisation)

Henning Christiansen (Member)

19 Nov 2010

Activity: MembershipMembership in review committee

Linköpings universitet (External organisation)

Henning Christiansen (Member)

1 Sep 201019 Nov 2010

Activity: MembershipMembership in review committee

Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009 : Workshop participation; with presentation

Henning Christiansen (Participant)

21 Jun 200924 Jun 2009

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

Logical proofs: From mathematics to psychology

Torben Braüner (Speaker)

30 Oct 2019

Activity: Talk or presentationLecture and oral contribution

Logic and Cognition Pre-Conference Workshop

Torben Braüner (Organizer), & Sujata Ghosh (Organizer)

2 Mar 2019

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

Logic in Databases (LID'08) workshop : Member of steering committee

Henning Christiansen (Organizer)

19 May 200820 May 2008

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

Logic in Databases workshop, LID 2009 : program co-chair; member of steering committee; local organizer

Henning Christiansen (Organizer)

20 Oct 2009

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

Logic in progress talk

Torben Braüner (Speaker)

23 May 2018

Activity: Talk or presentationLecture and oral contribution

Logic Programming, 25th International Conference, ICLP 2009 : Conference participation with presentations

Christian Theil-Have (Participant)

14 Jul 200917 Jul 2009

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

Logic Programming, 25th International Conference, ICLP 2009 : Conference participation with presentations

Henning Christiansen (Participant)

14 Jul 2009

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

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

LOPSTR 2017 - International Symposium on Logic-Based Program Synthesis and Transformation

Henning Christiansen (Organizer)

2017

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

LOPSTR 2017 - International Symposium on Logic-Based Program Synthesis and Transformation (Event)

John Patrick Gallagher (Editor)

2017

Activity: Editorial work and peer reviewEditor of Research journalResearch

LOPSTR 2018 -28th International Symposium on Logic-Based Program Synthesis and Transformation

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

4 Sep 20186 Sep 2018

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

LoSt project workshop

Henning Christiansen (Organizer)

28 Sep 200929 Sep 2009

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

Methods for Modalities (External organisation)

John Patrick Gallagher (Member)

2009 → …

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

On Browsing Domain Ontologies for Information Base Content

Henrik Bulskov (Speaker)

18 Jun 200721 Jun 2007

Activity: Talk or presentationLecture and oral contribution

On Browsing Domain Ontologies for Information Base Content

Troels Andreasen (Speaker)

18 Jun 200721 Jun 2007

Activity: Talk or presentationLecture and oral contribution

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

MRC 2018

Henning Christiansen (Organizer)

9 Jul 201819 Jul 2018

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

Ninth Methods for Modality Workshop - 2017 (Event)

Torben Braüner (Member)

8 Jan 20179 Jan 2017

Activity: MembershipMembership in committee, council, board

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

NORDIC ERC WORKSHOP : How can we further improve our participation in ERCs calls?

Henning Christiansen (Participant)

2 Dec 2008

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

Norges Forskningsråd (External organisation)

Troels Andreasen (Member)

1 Nov 20071 May 2008

Activity: MembershipMembership in review committee

Norges teknisk-naturvitenskapelige universitet

Henning Christiansen (Visiting researcher)

14 Jun 200916 Jun 2009

Activity: Visiting an external institutionVisiting an external academic institution

Præsentation: Danser med robotter

Henning Christiansen (Speaker)

5 Sep 2019

Activity: Talk or presentationLecture and oral contribution

Præsentation på IDA Universe – Driving IT: Dances with robots

Henning Christiansen (Speaker)

2 Nov 2018

Activity: Talk or presentationLecture and oral contribution

Om Brug af LaTeX og BibTeX

Henning Christiansen (Organizer)

6 May 2011

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

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

Mads Rosendahl (Lecturer)

3 Oct 2007

Activity: Talk or presentationLecture and oral contribution

Partial Evaluation and Program Manipulation' 08 (External organisation)

Mads Rosendahl (Member)

7 Jan 20088 Jan 2008

Activity: MembershipMembership in review committee

Recent Advances in Natural Language Processing 2009

Christian Theil-Have (Other)

14 Sep 200916 Sep 2009

Activity: Talk or presentationLecture and oral contribution

Reviewer for Deutsche Forschungsgemeinschaft

Henning Christiansen (Participant)

1 Jul 201130 Oct 2011

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

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

Ph.d. bedømmelsesudvalg (External organisation)

Mads Rosendahl (Member)

28 Feb 2012

Activity: MembershipMembership in review committee

Ph.d. bedømmelsesudvalg (External organisation)

Torben Braüner (Chairman)

31 Oct 2013

Activity: MembershipMembership in review committee

Ph.d bedømmelsesudvalg (External organisation)

Henning Christiansen (Member)

1 May 20093 Sep 2009

Activity: MembershipMembership in review committee

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

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

Henning Christiansen (Lecturer)

25 Jun 2008

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

Prioritized Abduction with CHR

Henning Christiansen (Lecturer)

14 Jul 2008

Activity: Talk or presentationLecture and oral contribution

Probabilistic Abductive Logic Programming implemented with Constraint Handling Rules

Henning Christiansen (Lecturer)

27 Mar 2008

Activity: Talk or presentationLecture and oral contribution