Activities

Activities per year 1993 1999 2002 2005 2006 2010 2018

• 52 Membership of a scientific or program committee of a conference or seminar
• 44 Hosting an academic visitor
• 26 Visiting an external academic institution
• 16 Position of trust in a society or network
• 44 More
  • 13 Chair or participant of a conference, workshop, panel, session, tutorial or event
  • 12 Invited academic talk
  • 6 Conference presentation
  • 5 Statement of assessment of professorship
  • 4 Membership of an editorial board
  • 2 Position of trust in a funding organization
  • 1 Pre-examination of doctoral thesis or acting as opponent to doctoral students or membership of doctoral thesis committee or board
  • 1 Academic qualification (e.g. title of docent)

Activities per year

Search results

• Tuomas Aura

  Ilkka Niemelä (Host)

  2001

  Activity: Hosting a visitor types › Hosting an academic visitor

• Marco Gaus

  Ilkka Niemelä (Host)

  2000

  Activity: Hosting a visitor types › Hosting an academic visitor

• First International Conference on Computational Logic, London, UK, July 24-28, 2000, Iso-Britannia

  Ilkka Niemelä (Speaker)

  2000

  Activity: Talk or presentation types › Invited academic talk

• First International Conference on Computational Logic, London, UK, July 24-28, 2000, Iso-Britannia

  Ilkka Niemelä (Speaker)

  2000

  Activity: Talk or presentation types › Invited academic talk

• Jussi Rintanen

  Ilkka Niemelä (Host)

  2000

  Activity: Hosting a visitor types › Hosting an academic visitor

• Mirek Trusczynski

  Ilkka Niemelä (Host)

  2000

  Activity: Hosting a visitor types › Hosting an academic visitor

• Technische Universität Dresden

  Ilkka Niemelä (Visiting researcher)

  2000

  Activity: Visiting an external institution types › Visiting an external academic institution

• Simon Foley

  Ilkka Niemelä (Host)

  2000

  Activity: Hosting a visitor types › Hosting an academic visitor

• INTERNATIONAL WORKSHOPS ON NONMONOTONIC REASONING

  Ilkka Niemelä (Member)

  2000 → 2008

  Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar

• 17th National Conference on Artificial Intelligence, Austin, Texas, USA, July 30 - August 3, 2000, USA

  Ilkka Niemelä (Speaker)

  2000

  Activity: Talk or presentation types › Invited academic talk

• HeCSE Summer School, Kirkkonummi, Finland, 23.-24.8.1999, Finland

  Ilkka Niemelä (Speaker)

  1999

  Activity: Talk or presentation types › Invited academic talk

• Workshop on Logic-Based Artificial Intelligence, Washington, D.C, USA, 13.-16.6.1999, USA

  Ilkka Niemelä (Speaker)

  1999

  Activity: Talk or presentation types › Invited academic talk

• AT&T

  Ilkka Niemelä (Visiting researcher)

  1999

  Activity: Visiting an external institution types › Visiting an external academic institution

• European Science Foundation (External organisation)

  Ilkka Niemelä (Reviewer)

  1999 → 2000

  Activity: Memberships (typically long-term positions of trust) › Position of trust in a society or network

• The 11th European Summer School in Logic, Language and Information, Utrecht University, Utrecht, The Netherlands, 16.-20.8.1999, Netherlands

  Ilkka Niemelä (Speaker)

  1999

  Activity: Talk or presentation types › Invited academic talk

• University of Kentucky

  Ilkka Niemelä (Visiting researcher)

  1999

  Activity: Visiting an external institution types › Visiting an external academic institution

• Cornell University

  Ilkka Niemelä (Visiting researcher)

  1999

  Activity: Visiting an external institution types › Visiting an external academic institution

• Representaatio-symposio, Helsingin yliopisto, 17.12.1999, Finland

  Ilkka Niemelä (Speaker)

  1999

  Activity: Talk or presentation types › Invited academic talk

• Ludwig-Maximilians-Universität München

  Ilkka Niemelä (Visiting researcher)

  1999

  Activity: Visiting an external institution types › Visiting an external academic institution

• Chitta Baral

  Ilkka Niemelä (Host)

  1999

  Activity: Hosting a visitor types › Hosting an academic visitor

• Jia-Huai You

  Ilkka Niemelä (Host)

  1999

  Activity: Hosting a visitor types › Hosting an academic visitor

• The Fourth Dutch-German Workshop on Nonmonotonic Reasoning Techniques and their Applications, Amsterdam, Hollanti, 25-27.3.1999, Netherlands

  Ilkka Niemelä (Speaker)

  1999

  Activity: Talk or presentation types › Invited academic talk

• Fabio Massacci

  Ilkka Niemelä (Host)

  1999

  Activity: Hosting a visitor types › Hosting an academic visitor

• 4th International Conference on Logic Programming and Non-Monotonic Reasoning, Schloss Dagstuhl 1997, Germany

  Ilkka Niemelä (Speaker)

  1997

  Activity: Talk or presentation types › Invited academic talk

• Albert-Ludwigs-Universität Freiburg

  Ilkka Niemelä (Visiting researcher)

  1997

  Activity: Visiting an external institution types › Visiting an external academic institution

• Computing Forum, Helsinki University of Technology 1997, Finland

  Ilkka Niemelä (Speaker)

  1997

  Activity: Talk or presentation types › Invited academic talk

• Docent in Logic and its applications in computer science and engineering

  Ilkka Niemelä (Docent)

  1996 → …

  Activity: Other activity types › Academic qualification (e.g. title of docent)

• Efficient Implementation of the Well-founded and Stable Model Semantics

  Ilkka Niemelä (Speaker)

  1996

  Activity: Talk or presentation types › Conference presentation

• Towards Implementing DLPs using Hyper Tableaux

  Ilkka Niemelä (Speaker)

  1996

  Activity: Talk or presentation types › Conference presentation

• University of Bern

  Ilkka Niemelä (Visiting researcher)

  1996

  Activity: Visiting an external institution types › Visiting an external academic institution

• University of Koblenz-Landau

  Ilkka Niemelä (Visiting researcher)

  1995 → 1996

  Activity: Visiting an external institution types › Visiting an external academic institution

• SRI International

  Ilkka Niemelä (Visiting researcher)

  1993

  Activity: Visiting an external institution types › Visiting an external academic institution