Forskningsinstitutet för informationsteknologi

  • Finland

Aktiviteter

Expressiveness versus Efficiency Workshop, part of the Satisfiability: Theory, Practice, and Beyond Program

Matti Järvisalo (Medlem i organisationskommitté)
2021

Aktivitet: Typer för deltagande i eller organisering av evenemangArrangemang av och deltagande i konferens/workshop/kurs/seminarium

Algorithms (Tidskrift)

Veli Mäkinen (Referentgranskare)
apr 2020

Aktivitet: Typer för peer review av output och redaktionsarbeteReferentgranskning av manuskript

13th Annual Symposium on Combinatorial Search (SoCS 2020) (Evenemang)

Matti Järvisalo (Medlem av programkommitté)
2020

Aktivitet: Typer för peer review av output och redaktionsarbeteReferentgranskning av manuskript

29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020) (Evenemang)

Matti Järvisalo (Medlem av programkommitté)
2020

Aktivitet: Typer för peer review av output och redaktionsarbeteReferentgranskning av manuskript

MSc Supervisor of Jarkko Savela

Matti Järvisalo (Handledare)
2020

Aktivitet: ExaminationstyperHandledning av annat kunskapsprov (pro gradu, licentiatavhandling)

11th International Workshop on Pragmatics of SAT (PoS 2020) (Evenemang)

Matti Järvisalo (Ordförande för programkommitté)
2020

Aktivitet: Typer för peer review av output och redaktionsarbeteReferentgranskning av manuskript

Brendan Mumey

Veli Mäkinen (Värd)
jan 2020jun 2020

Aktivitet: Typer för att vara värd för en besökareAkademiskt besök på HU

PhD Grading Committee Member for Janne Leppä-Aho

Matti Järvisalo (Medlem i avhandlingskommitté)
2020

Aktivitet: ExaminationstyperMedlem i doktorsavhandlingskommitté

3rd International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2020) (Evenemang)

Matti Järvisalo (Medlem av programkommitté)
2020

Aktivitet: Typer för peer review av output och redaktionsarbeteReferentgranskning av manuskript

The 42nd Annual Meeting of the Cognitive Science Society (CogSci) (Evenemang)

Hannu Toivonen (Medlem av programkommitté)
29 jul 20201 aug 2020

Aktivitet: Typer för peer review av output och redaktionsarbeteReferentgranskning av manuskript

11th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2020) (Evenemang)

Matti Järvisalo (Medlem av programkommitté)
2020

Aktivitet: Typer för peer review av output och redaktionsarbeteReferentgranskning av manuskript

17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2020) (Evenemang)

Matti Järvisalo (Medlem av programkommitté)
2020

Aktivitet: Typer för peer review av output och redaktionsarbeteReferentgranskning av manuskript

7th Computational Creativity Symposium at AISB 2020 (Evenemang)

Hannu Toivonen (Medlem av programkommitté)
6 apr 20209 apr 2020

Aktivitet: Typer för peer review av output och redaktionsarbeteReferentgranskning av manuskript

Eighteenth International Symposium on Intelligent Data Analysis (IDA 2020) (Evenemang)

Hannu Toivonen (Viceordförande för programkommitté)
27 apr 202029 apr 2020

Aktivitet: Typer för peer review av output och redaktionsarbeteRedaktör för forskningsantologi/samlingsverk/konferenspublikation

The International Conference on Computational Creativity (ICCC) (Evenemang)

Hannu Toivonen (Viceordförande för programkommitté)
29 jun 20203 jul 2020

Aktivitet: Typer för peer review av output och redaktionsarbeteRedaktör för forskningsantologi/samlingsverk/konferenspublikation

ISMB 2020 (Evenemang)

Veli Mäkinen (Referentgranskare)
feb 2020

Aktivitet: Typer för peer review av output och redaktionsarbeteReferentgranskning av manuskript

The 34th AAAI Conference on Artificial Intelligence (Evenemang)

Hannu Toivonen (Medlem av programkommitté)
7 feb 202012 feb 2020

Aktivitet: Typer för peer review av output och redaktionsarbeteRedaktör för forskningsantologi/samlingsverk/konferenspublikation

The 29th International Joint Conference on Artificial Intelligence (Evenemang)

Hannu Toivonen (Medlem av programkommitté)
11 jul 202017 jul 2020

Aktivitet: Typer för peer review av output och redaktionsarbeteRedaktör för forskningsantologi/samlingsverk/konferenspublikation

PhD Supervisor of Tuomo Lehtonen

Matti Järvisalo (Handledare)
2020 → …

Aktivitet: ExaminationstyperHandledare eller bihandledare av doktorsavhandling

The 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT 2020) (Evenemang)

Matti Järvisalo (Medlem av programkommitté)
2020

Aktivitet: Typer för peer review av output och redaktionsarbeteReferentgranskning av manuskript

34th AAAI Conference on Artificial Intelligence (AAAI-20) (Evenemang)

Matti Järvisalo (Medlem av programkommitté)
2020

Aktivitet: Typer för peer review av output och redaktionsarbeteReferentgranskning av manuskript

IJCAI-PRICAI 2020 Demonstrations Track (Evenemang)

Matti Järvisalo (Ordförande för programkommitté)
2020

Aktivitet: Typer för peer review av output och redaktionsarbeteReferentgranskning av manuskript

24th European Conference on Artificial Intelligence (ECAI 2020) (Evenemang)

Matti Järvisalo (Medlem av programkommitté)
2020

Aktivitet: Typer för peer review av output och redaktionsarbeteReferentgranskning av manuskript

MSc Supervisor of Tuukka Korhonen

Matti Järvisalo (Handledare)
2020

Aktivitet: ExaminationstyperHandledning av annat kunskapsprov (pro gradu, licentiatavhandling)

MSc Supervisor of Esa Kemppainen

Matti Järvisalo (Handledare)
2020

Aktivitet: ExaminationstyperHandledning av annat kunskapsprov (pro gradu, licentiatavhandling)

Nokia Foundation (Extern organisation)

Petri Myllymäki (Styrelsemedlem)
2019 → …

Aktivitet: MedlemskapstyperMedlemskap eller annan role i inhemsk/internationell kommitté, råd, styrelse

Gender challenges in digitalization, artificial intelligence and robotics

Petri Myllymäki (!!Invited speaker)
24 okt 2019

Aktivitet: Typer för tal eller presentation!!Invited talk

Artificial Intelligence: where is it now, and where is it going?

Petri Myllymäki (!!Invited speaker)
21 nov 2019

Aktivitet: Typer för tal eller presentation!!Invited talk

Annual Symposium on Combinatorial Pattern Matching

Veli Mäkinen (Medlem av vetenskaplig kommitté)
feb 2019

Aktivitet: Typer för deltagande i eller organisering av evenemangArrangemang av och deltagande i konferens/workshop/kurs/seminarium

When Stringology Meets Graphs

Veli Mäkinen (!!Invited speaker)
8 okt 2019

Aktivitet: Typer för tal eller presentation!!Oral presentation

European Symposium on Algorithms (Evenemang)

Veli Mäkinen (Referentgranskare)
maj 2019

Aktivitet: Typer för peer review av output och redaktionsarbeteReferentgranskning av manuskript

Finnish Bioinformatics Day 2019

Veli Mäkinen (Ordförande)
maj 2019

Aktivitet: Typer för deltagande i eller organisering av evenemangArrangemang av och deltagande i konferens/workshop/kurs/seminarium

FONDECYT (Extern organisation)

Veli Mäkinen (Assessment)
sep 2019

Aktivitet: MedlemskapstyperMedlemskap eller annan role i inhemsk/internationell kommitté, råd, styrelse

Real AI for Real People in the Real World

Petri Myllymäki (!!Speaker)
28 maj 2019

Aktivitet: Typer för tal eller presentation!!Invited talk

Rohkea tekoäly

Petri Myllymäki (!!Invited speaker)
9 jan 2019

Aktivitet: Typer för tal eller presentation!!Invited talk

Artificial Intelligence in Education and Training – State of Play

Petri Myllymäki (!!Invited speaker)
12 dec 2019

Aktivitet: Typer för tal eller presentation!!Invited talk

AI Education in Finland

Petri Myllymäki (!!Invited speaker)
11 jun 2019

Aktivitet: Typer för tal eller presentation!!Invited talk

MaxSAT Evaluation 2019

Matti Järvisalo (Medlem i organisationskommitté)
2019

Aktivitet: Typer för deltagande i eller organisering av evenemangArrangemang av och deltagande i konferens/workshop/kurs/seminarium

33rd Annual Conference on Neural Information Processing Systems (Evenemang)

Matti Järvisalo (Medlem av programkommitté)
2019

Aktivitet: Typer för peer review av output och redaktionsarbeteReferentgranskning av manuskript

Journal of Universal Computer Science (Tidskrift)

Matti Järvisalo (Referentgranskare)
2019

Aktivitet: Typer för peer review av output och redaktionsarbeteReferentgranskning av manuskript

28th International Joint Conference on Artificial Intelligence (IJCAI 2019) (Evenemang)

Matti Järvisalo (Medlem av programkommitté)
2019

Aktivitet: Typer för peer review av output och redaktionsarbeteReferentgranskning av manuskript

Bioinformatics (Tidskrift)

Veli Mäkinen (Referentgranskare)
jan 2019

Aktivitet: Typer för peer review av output och redaktionsarbeteReferentgranskning av manuskript

Nature Communications (Tidskrift)

Veli Mäkinen (Referentgranskare)
maj 2019

Aktivitet: Typer för peer review av output och redaktionsarbeteReferentgranskning av manuskript

Sparse Dynamic Programming on Variation Graphs

Veli Mäkinen (!!Speaker)
30 sep 2019

Aktivitet: Typer för tal eller presentation!!Oral presentation

Building the Future: Artificial Intelligence for Europe

Patrik Floréen (!!Speaker)
19 nov 2019

Aktivitet: Typer för tal eller presentation!!Invited talk

Selection Committee for HiLIFE Research Trainee Scholarship (Extern organisation)

Veli Mäkinen (Medlem)
feb 2019

Aktivitet: MedlemskapstyperMedlemskap eller annan roll i granskningskommitté

University of Melbourne

Simon Puglisi (Besökande forskare)
25 nov 201922 dec 2019

Aktivitet: Typer för besök till extern institutionAkademisk besök på annan institution

ProbAI - Nordic Probabilistic AI school

Arto Klami (!!Speaker)
3 jun 20197 jun 2019

Aktivitet: Typer för tal eller presentation!!Invited talk

Correction of third generation sequencing reads through read-to-graph alignment

Leena Salmela (Opponent)
25 jun 2019

Aktivitet: ExaminationstyperOpponent i doktorsavhandling

Artificial Intelligence and IPR

Leo Leppänen (!!Invited speaker), Juha Vesala (!!Invited speaker)
2 jun 2019

Aktivitet: Typer för tal eller presentation!!Invited talk