1. 2018
  2. 2017
  3. 28th International Conference on Database and Expert Systems Applications - DEXA 2017

    Christiansen, H. (Organizer)
    2017

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

  4. ICAART 2017 - International Conference on Agents and Artificial Intelligence

    Christiansen, H. (Organizer)
    2017

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

  5. International Workshop Modelling and Reasoning in Context

    Christiansen, H. (Organizer)
    2017

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

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

    Christiansen, H. (Organizer)
    2017

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

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

    Braüner, T. (Member)
    25 Sep 201728 Sep 2017

    Activity: MembershipMembership in committee, council, board

  8. Ninth Methods for Modality Workshop - 2017 (Event)

    Braüner, T. (Member)
    8 Jan 20179 Jan 2017

    Activity: MembershipMembership in committee, council, board

  9. 2016
  10. 1st International Workshop on AI aspects of Reasoning, Information, and Memory (AIRIM’16)

    Christiansen, H. (Organizer)
    2016

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

  11. 27th International Conference on Database and Expert Systems Applications

    Christiansen, H. (Organizer)
    2016

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

Previous 1 2 3 4 5 6 7 8 ...32 Next