Activities

Activities per year 1996 2015 2016 2017 2018 2018

• 17 Visit abroad
• 15 Membership of a scientific or program committee of a conference or seminar
• 12 Hosting a visitor
• 7 Pre-examination of dissertation or acting as opponent to doctoral students
• 12 More
  • 6 Reviewer of scientific journal
  • 2 Editorship of a book or a special issue of a journal
  • 2 Public or invited talk
  • 1 Organization of a workshop, panel, session or tutorial
  • 1 Conference presentation

Activities per year

Search results

• Practical Session on SAT/SMT

  Tomi Janhunen (Speaker)

  1 Aug 2017

  Activity: Talk or presentation types › Public or invited talk

• Nonmonotonic Reasoning, Answer Set Programming and Constraints, Schloss Dagstuhl, Wadern, Germany, 24-29.4.2005, Germany

  Tomi Janhunen (Speaker)

  2005

  Activity: Talk or presentation types › Public or invited talk