Aktiviteetit

International Joint Conference on Artificial Intelligence

Michail Sioutis (Member)

2020

Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

European Conference on Artificial Intelligence

Michail Sioutis (Member)

2020

Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

AAAI Conference on Artificial Intelligence

Michail Sioutis (Member)

2020

Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

Quality of Interaction in Socially Assistive Robots

Michail Sioutis (Member)

2019

Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

CS Research Day

Michail Sioutis (Member)

2019

Aktiviteetti: Participant of a conference, workshop, session or tutorial

International Symposium on Temporal Representation and Reasoning

Michail Sioutis (Puheenjohtaja)

2019

Aktiviteetti: Konferenssin, workshopin tai session puheenjohtajana toimiminen

Journal of Artificial Intelligence Research (Lehti)

Michail Sioutis (Vertaisarvioija)

2019

Aktiviteetti: Tieteellisen lehden refereenä toimiminen

Meeting of Young Researchers in Artificial Intelligence

Michail Sioutis (Member)

2019

Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

International Joint Conference on Artificial Intelligence

Michail Sioutis (Member)

2019

Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

Francois Bry

Antonius Weinzierl (Host)

12 maaliskuuta 201815 maaliskuuta 2018

Aktiviteetti: Hosting a visitor

17th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING

Tomi Janhunen (Member)

2018

Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

The 16th International Conference on Principles of Knowledge Representation and Reasoning

Tomi Janhunen (Member)

2018

Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

Exploiting Justifications for Lazy Grounding of Answer Set Programs

Antonius Weinzierl (Puhuja)

18 heinäkuuta 2018

Aktiviteetti: Konferenssiesitelmä

AAAI Conference on Artificial Intelligence

Jussi Rintanen (Member)

2018 → …

Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

Theoretical Computer Science (Lehti)

Michail Sioutis (Vertaisarvioija)

20182019

Aktiviteetti: Tieteellisen lehden refereenä toimiminen

Annals of Mathematics and Artificial Intelligence (Lehti)

Tomi Janhunen (Vertaisarvioija)

2018

Aktiviteetti: Tieteellisen lehden refereenä toimiminen

Artificial Intelligence (Lehti)

Tomi Janhunen (Vertaisarvioija)

2018

Aktiviteetti: Tieteellisen lehden refereenä toimiminen

The 34th International Conference on Logic Programming

Tomi Janhunen (Member)

2018

Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract)

Antonius Weinzierl (Puhuja)

18 heinäkuuta 2018

Aktiviteetti: Konferenssiesitelmä

International Joint Conference on Artificial Intelligence

Jussi Rintanen (Member)

2018 → …

Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

Universität Potsdam

Tomi Janhunen (Visiting researcher)

6 marraskuuta 201810 marraskuuta 2018

Aktiviteetti: Vierailu ulkomaille

KUENSTLICHE INTELLIGENZ (Lehti)

Tomi Janhunen (Vertaisarvioija)

2018

Aktiviteetti: Tieteellisen lehden refereenä toimiminen

The 11th International Workshop on Answer Set Programming and Other Computing Paradigms

Tomi Janhunen (Member)

2018

Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

Theory and Practice of Logic Programming (Lehti)

Tomi Janhunen (Vertaisarvioija)

2018

Aktiviteetti: Tieteellisen lehden refereenä toimiminen

Thomas Krennwallner (Technische Universität Wien) Austria

Tomi Janhunen (Examiner)

26 syyskuuta 2018

Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

Thomas Krennwallner (Technische Universität Wien) Austria

Tomi Janhunen (Examiner)

5 lokakuuta 2018

Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

International Joint Conference on Artificial Intelligence

Jussi Rintanen (Member)

2017

Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

AAAI Conference on Artificial Intelligence

Tommi Junttila (Member)

2017

Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

Workshop on Answer Set Programming and Other Computing Paradigms

Tomi Janhunen (Member)

2017

Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

SC2 Summer School

Keijo Heljanko (Järjestäjä), , Tomi Janhunen (Järjestäjä), & Tommi Junttila (Järjestäjä)

31 heinäkuuta 20174 elokuuta 2017

Aktiviteetti: Työpajan, paneelin, session tai tutoriaalin järjestäminen

Max Ostrowski (Unversity of Potsdam) Germany

Tomi Janhunen (Examiner)

15 marraskuuta 2017

Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

Australasian Joint Conference on Artificial Intelligence

Jussi Rintanen (Member)

2017

Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

Techniques for Efficient Lazy-Grounding ASP Solving

Antonius Weinzierl (Puhuja)

19 syyskuuta 2017

Aktiviteetti: Konferenssiesitelmä

University Potsdam

Tomi Janhunen (Visiting researcher)

30 toukokuuta 20171 kesäkuuta 2017

Aktiviteetti: Vierailu ulkomaille

CSC - IT Center for Science Ltd. (Ulkoinen yksikkö)

Ilkka Niemelä (Jäsen)

20172018

Aktiviteetti: Luottamustehtävä seurassa tai verkostossa

Max Ostrowski (University of Potsdam) Germany

Tomi Janhunen (Examiner)

8 joulukuuta 2017

Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

Practical Session on SAT/SMT

Tomi Janhunen (Puhuja)

1 elokuuta 2017

Aktiviteetti: Julkinen esitelmä

INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING

Tomi Janhunen (Member)

2017

Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

International Conference on Logic Programming and Nonmonotonic Reasoning (Tapahtuma)

Tomi Janhunen (Vertaisarvioija)

2017

Aktiviteetti: Kokoomateoksen tai lehden erikoisnumeron toimittajuus

International Workshop on Logic and Search

Tomi Janhunen (Member)

28 elokuuta 2017

Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

International Conference on Logic Programming and Nonmonotonic Reasoning

Tomi Janhunen (Member)

3 heinäkuuta 20176 heinäkuuta 2017

Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

AAAI Conference on Artificial Intelligence

Jussi Rintanen (Member)

2017

Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

European Conference on Logics in Artificial Intelligence

Tomi Janhunen (Member)

2016

Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

AAAI Conference on Artificial Intelligence

Jussi Rintanen (Member)

2016

Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

International Workshop on Nonmonotonic Reasoning

Tomi Janhunen (Member)

2016

Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

Theory and Practice of Logic Programming (Lehti)

Tommi Junttila (Vertaisarvioija)

20162017

Aktiviteetti: Tieteellisen lehden refereenä toimiminen

Global Conference on Artificial Intelligence

Tomi Janhunen (Member)

2016

Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

European Conference on Logics in Artificial Intelligence

Tommi Junttila (Member)

2016

Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

International Joint Conference on Artificial Intelligence

Jussi Rintanen (Member)

2016

Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

Joachim Jansen (KU Leuven) Belgium

Tomi Janhunen (Examiner)

27 lokakuuta 2016

Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen