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

  Niemelä, I. (Host)

  2001

  Activity: Hosting a visitor types › Hosting an academic visitor

• Mirek Trusczynski

  Niemelä, I. (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

  Niemelä, I. (Speaker)

  2000

  Activity: Talk or presentation types › Invited academic talk

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

  Niemelä, I. (Speaker)

  2000

  Activity: Talk or presentation types › Invited academic talk

• INTERNATIONAL WORKSHOPS ON NONMONOTONIC REASONING

  Niemelä, I. (Member)

  2000 → 2008

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

• Marco Gaus

  Niemelä, I. (Host)

  2000

  Activity: Hosting a visitor types › Hosting an academic visitor

• Technische Universität Dresden

  Niemelä, I. (Visiting researcher)

  2000

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

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

  Niemelä, I. (Speaker)

  2000

  Activity: Talk or presentation types › Invited academic talk

• Jussi Rintanen

  Niemelä, I. (Host)

  2000

  Activity: Hosting a visitor types › Hosting an academic visitor

• Simon Foley

  Niemelä, I. (Host)

  2000

  Activity: Hosting a visitor types › Hosting an academic visitor

• AT&T

  Niemelä, I. (Visiting researcher)

  1999

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

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

  Niemelä, I. (Speaker)

  1999

  Activity: Talk or presentation types › Invited academic talk

• Fabio Massacci

  Niemelä, I. (Host)

  1999

  Activity: Hosting a visitor types › Hosting an academic visitor

• Jia-Huai You

  Niemelä, I. (Host)

  1999

  Activity: Hosting a visitor types › Hosting an academic visitor

• European Science Foundation (External organisation)

  Niemelä, I. (Reviewer)

  1999 → 2000

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

• Ludwig-Maximilians-Universität München

  Niemelä, I. (Visiting researcher)

  1999

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

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

  Niemelä, I. (Speaker)

  1999

  Activity: Talk or presentation types › Invited academic talk

• Chitta Baral

  Niemelä, I. (Host)

  1999

  Activity: Hosting a visitor types › Hosting an academic visitor

• Representaatio-symposio, Helsingin yliopisto, 17.12.1999, Finland

  Niemelä, I. (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

  Niemelä, I. (Speaker)

  1999

  Activity: Talk or presentation types › Invited academic talk

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

  Niemelä, I. (Speaker)

  1999

  Activity: Talk or presentation types › Invited academic talk

• University of Kentucky

  Niemelä, I. (Visiting researcher)

  1999

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

• Cornell University

  Niemelä, I. (Visiting researcher)

  1999

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

• Computing Forum, Helsinki University of Technology 1997, Finland

  Niemelä, I. (Speaker)

  1997

  Activity: Talk or presentation types › Invited academic talk

• Albert-Ludwigs-Universität Freiburg

  Niemelä, I. (Visiting researcher)

  1997

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

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

  Niemelä, I. (Speaker)

  1997

  Activity: Talk or presentation types › Invited academic talk

• Towards Implementing DLPs using Hyper Tableaux

  Niemelä, I. (Speaker)

  1996

  Activity: Talk or presentation types › Conference presentation

• University of Bern

  Niemelä, I. (Visiting researcher)

  1996

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

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

  Niemelä, I. (Docent)

  1996 → …

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

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

  Niemelä, I. (Speaker)

  1996

  Activity: Talk or presentation types › Conference presentation

• University of Koblenz-Landau

  Niemelä, I. (Visiting researcher)

  1995 → 1996

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

• SRI International

  Niemelä, I. (Visiting researcher)

  1993

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