Aktiviteetteja vuodessa
Aktiviteetit
- 1 - 50 osumaa 133 tuloksesta
Hakutulokset
-
Väitöskirjan sivuohjaaja
Berg, J. (Sivuohjaaja)
1 tammik. 2023 → 31 jouluk. 2027Aktiviteetti: Tutkimustyypit › Väitöskirjan ohjaaja tai sivuohjaaja
-
Simons Institute (UC Berkeley)
Berg, J. (Vieraileva tutkija)
20 maalisk. 2023 → 10 toukok. 2023Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypit › Akateeminen vierailu toiseen organisaatioon
-
Väitöskirjan sivuohjaaja
Berg, J. (Sivuohjaaja)
1 tammik. 2023 → 31 jouluk. 2027Aktiviteetti: Tutkimustyypit › Väitöskirjan ohjaaja tai sivuohjaaja
-
University of Oxford
Niskanen, A. (Vieraileva tutkija)
6 marrask. 2023 → 10 marrask. 2023Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypit › Akateeminen vierailu toiseen organisaatioon
-
University of Amsterdam
Niskanen, A. (Vieraileva tutkija)
27 marrask. 2023 → 1 jouluk. 2023Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypit › Akateeminen vierailu toiseen organisaatioon
-
Vrije Universiteit Brussel
Berg, J. (Vieraileva tutkija)
9 toukok. 2022 → 22 toukok. 2022Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypit › Akateeminen vierailu toiseen organisaatioon
-
Expressiveness versus Efficiency Workshop, part of the Satisfiability: Theory, Practice, and Beyond Program
Järvisalo, M. (Järjestäjätoimikunnan jäsen)
2021Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
PhD Grading Committee Member for Janne Leppä-Aho
Järvisalo, M. (Jäsenyys seurantaryhmässä)
2020Aktiviteetti: Tutkimustyypit › Väitöskirjatyön seurantaryhmän jäsen
-
34th AAAI Conference on Artificial Intelligence (AAAI-20) (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2020Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
3rd International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2020) (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2020Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2020) (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2020Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020) (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2020Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
11th International Workshop on Pragmatics of SAT (PoS 2020) (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan puheenjohtaja)
2020Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
11th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2020) (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2020Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
24th European Conference on Artificial Intelligence (ECAI 2020) (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2020Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
MSc Supervisor of Esa Kemppainen
Järvisalo, M. (Ohjaaja)
2020Aktiviteetti: Tutkimustyypit › Muun opinnäytteen ohjaus (pro gradu, lisensiaattityö)
-
The 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT 2020) (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2020Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
IJCAI-PRICAI 2020 Demonstrations Track (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan puheenjohtaja)
2020Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
13th Annual Symposium on Combinatorial Search (SoCS 2020) (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2020Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
MSc Supervisor of Jarkko Savela
Järvisalo, M. (Ohjaaja)
2020Aktiviteetti: Tutkimustyypit › Muun opinnäytteen ohjaus (pro gradu, lisensiaattityö)
-
PhD Supervisor of Tuomo Lehtonen
Järvisalo, M. (Ohjaaja)
2020 → …Aktiviteetti: Tutkimustyypit › Väitöskirjan ohjaaja tai sivuohjaaja
-
MSc Supervisor of Tuukka Korhonen
Järvisalo, M. (Ohjaaja)
2020Aktiviteetti: Tutkimustyypit › Muun opinnäytteen ohjaus (pro gradu, lisensiaattityö)
-
PhD Committee Member of Massimo Equi
Järvisalo, M. (Jäsenyys seurantaryhmässä)
2019 → …Aktiviteetti: Tutkimustyypit › Väitöskirjatyön seurantaryhmän jäsen
-
10th International Workshop on Pragmatics of SAT (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan puheenjohtaja)
2019Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
12th Annual Symposium on Combinatorial Search (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2019Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
35th Conference on Uncertainty in Artificial Intelligence (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2019Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
16th International Conference on Integration of AI and OR Techniques in Constraint Programming (CPAIOR 2019) (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2019Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
Heinrich-Heine-Universität Düsseldorf
Niskanen, A. (Vieraileva tutkija)
10 kesäk. 2019 → 14 kesäk. 2019Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypit › Akateeminen vierailu toiseen organisaatioon
-
22nd International Conference on Theory and Applications of Satisfiability Testing (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2019Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
Invited Talk at AI Day 2019
Järvisalo, M. (Pääpuhuja)
2019Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
-
34th ACM/SIGAPP Symposium on Applied Computing (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2019Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
SAT Race 2019
Järvisalo, M. (Järjestäjätoimikunnan jäsen)
2019Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
33rd AAAI Conference on Artificial Intelligence (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2019Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
MSc Supervisor of Tuomo Lehtonen
Järvisalo, M. (Ohjaaja)
2019Aktiviteetti: Tutkimustyypit › Muun opinnäytteen ohjaus (pro gradu, lisensiaattityö)
-
University of Toronto
Berg, J. (Vieraileva tutkija)
31 tammik. 2019 → 30 huhtik. 2019Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypit › Akateeminen vierailu toiseen organisaatioon
-
31st International Conference on Tools with Artificial Intelligence (ICTAI 2019) (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2019Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
MaxSAT Evaluation 2019
Järvisalo, M. (Järjestäjätoimikunnan jäsen)
2019Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
PhD Grading Committee Member for Topi Talvitie
Järvisalo, M. (Jäsenyys seurantaryhmässä)
2019Aktiviteetti: Tutkimustyypit › Väitöskirjatyön seurantaryhmän jäsen
-
36th International Conference on Machine Learning (ICML 2019) (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2019Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
Invited Talk at White Rose FGAA Workshop
Järvisalo, M. (Kutsuttu puhuja)
2019Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
-
Invited Talk on 2019 IJCAI-JAIR Best Paper Prize
Järvisalo, M. (Kutsuttu puhuja)
2019Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
-
33rd Annual Conference on Neural Information Processing Systems (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2019Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
PhD Jury Member for Miguel Terra-Neves
Järvisalo, M. (Vastaväittäjä)
2019Aktiviteetti: Tutkimustyypit › Vastaväittäjä
-
28th International Joint Conference on Artificial Intelligence (IJCAI 2019) (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2019Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
Journal of Universal Computer Science (Lehti)
Järvisalo, M. (Arvioitsija (reviewer))
2019Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
Journal of Artificial Intelligence Research (Lehti)
Järvisalo, M. (Arvioitsija (reviewer))
2019Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
SAT Competition 2018
Järvisalo, M. (Järjestäjätoimikunnan jäsen)
2018Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
21st International Conference on Theory and Applications of Satisfiability Testing (SAT 2018) (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2018Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018) (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2018Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
SAT/SMT/AR Summer School 2018
Saikko, P. (Osallistuja)
3 heinäk. 2018 → 6 heinäk. 2018Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen