Programming, Logic and Intelligent Systems

Activities

Filter
Visiting an external academic institution

É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

ETH Zürich

Henning Christiansen (Visiting researcher)

19 Mar 201021 Mar 2010

Activity: Visiting an external institutionVisiting an external academic institution

Universitat Rovira i Virgili

Henning Christiansen (Visiting researcher)

30 May 20105 Jun 2010

Activity: Visiting an external institutionVisiting an external academic institution

Universitat Rovira i Virgili

Henning Christiansen (Visiting researcher)

7 Nov 201010 Nov 2010

Activity: Visiting an external institutionVisiting an external academic institution

Universitat Rovira i Virgili

Henning Christiansen (Visiting researcher)

15 Apr 200920 Apr 2009

Activity: Visiting an external institutionVisiting an external academic institution

Universitat Rovira i Virgili

Henning Christiansen (Visiting researcher)

15 Oct 200928 Oct 2009

Activity: Visiting an external institutionVisiting an external academic institution

Norges teknisk-naturvitenskapelige universitet

Henning Christiansen (Visiting researcher)

14 Jun 200916 Jun 2009

Activity: Visiting an external institutionVisiting an external academic institution

Universidade NOVA de Lisboa

Henning Christiansen (Visiting researcher)

24 Mar 200828 Mar 2008

Activity: Visiting an external institutionVisiting an external academic institution

Aalborg University

Henning Christiansen (Visiting researcher)

24 Jun 200826 Jun 2008

Activity: Visiting an external institutionVisiting an external academic institution