Aktiviteetteja vuodessa
Aktiviteetit
- 1 - 50 osumaa 60 tuloksesta
Hakutulokset
-
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
-
12th Annual Symposium on Combinatorial Search (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2019Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
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
-
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
-
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
-
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
-
33rd AAAI Conference on Artificial Intelligence (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
-
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
-
10th International Workshop on Pragmatics of SAT (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan puheenjohtaja)
2019Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
Artificial Intelligence (Lehti)
Järvisalo, M. (Arvioitsija (reviewer))
2018Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
32nd AAAI Conference on Artificial Intelligence (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2018Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
PhD Supervisor of Kari Rantanen
Järvisalo, M. (Ohjaaja)
2018 → …Aktiviteetti: Tutkimustyypit › Väitöskirjan ohjaaja tai sivuohjaaja
-
SAT for Argumentation
Järvisalo, M. (Pääpuhuja)
2018Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
-
ACM Symposium On Applied Computing (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2018Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
30th IEEE International Conference on Tools with Artificial Intelligence (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
-
Journal on Satisfiability, Boolean Modeling and Computation (Lehti)
Järvisalo, M. (Toimituskunnan jäsen (member of editorial board))
2018 → …Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
Annals of Mathematics and Artificial Intelligence (Lehti)
Järvisalo, M. (Arvioitsija (reviewer))
2018Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
15th International Conference on Integration of AI and OR Techniques in Constraint Programming (CPAIOR 2018) (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2018Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
32nd Annual Conference on Neural Information Processing Systems (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2018Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
25th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2018Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
8th International Workshop on Pragmatics of SAT (PoS 2018)
Järvisalo, M. (Tieteellisen komitean puheenjohtaja)
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
-
24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2017Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
International Journal of Approximate Reasoning (Lehti)
Järvisalo, M. (Arvioitsija (reviewer))
2017Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
Mario Alviano
Järvisalo, M. (Isäntä)
7 elok. 2017 → 11 elok. 2017Aktiviteetti: Vierailijan isännöinnin tyypit › Isännöity akateeminen vierailu Helsingin yliopistossa
-
Neha Lodha
Järvisalo, M. (Isäntä)
1 maalisk. 2017 → 31 toukok. 2017Aktiviteetti: Vierailijan isännöinnin tyypit › Isännöity akateeminen vierailu Helsingin yliopistossa
-
PhD Supervisor of Andreas Niskanen
Järvisalo, M. (Ohjaaja)
2017 → …Aktiviteetti: Tutkimustyypit › Väitöskirjan ohjaaja tai sivuohjaaja
-
Program Committee Member of 14th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR 2017) (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2017Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
MSc Supervisor of Kari Rantanen
Järvisalo, M. (Ohjaaja)
2017Aktiviteetti: Tutkimustyypit › Muun opinnäytteen ohjaus (pro gradu, lisensiaattityö)
-
Theory and Practice of Logic Programming (Lehti)
Järvisalo, M. (Arvioitsija (reviewer))
2017Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
Program Committee Member of 30th International Conference on Industrial, Engineering, and Other Applications of Applied Intelligent Systems (IEA/AIE 2017), Special Track on Applications of Argumentation (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2017Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
29th IEEE International Conference on Tools with Artificial Intelligence (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2017Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
Program Committee Member of 31st AAAI Conference on Artificial Intelligence (AAAI 2017) (Tapahtuma)
Järvisalo, M. (Ohjelmatoimikunnan jäsen)
2017Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
Journal of Artificial Intelligence Research (Lehti)
Järvisalo, M. (Arvioitsija (reviewer))
2017Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
Tutorial Speaker at 30th AAAI Conference on Artificial Intelligence (AAAI 2016)
Järvisalo, M. (Puhuja: esitelmän pitäjä)
2016Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Public Talks
-
Invited talk at 1st International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016)
Järvisalo, M. (Puhuja: pääpuhuja (keynote))
2016Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Senior Program Committee Member of 25th International Joint Conference on Artificial Intelligence (IJCAI 2016)
Järvisalo, M. (Tieteellisen komitean jäsen)
2016Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Invited Talk at 25th International Joint Conference on Artificial Intelligence (IJCAI 2016): Early Career Spotlight
Järvisalo, M. (Puhuja: pääpuhuja (keynote))
2016Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Public Talks
-
Program Committee Member of 30th AAAI Conference on Artificial Intelligence (AAAI 2016)
Järvisalo, M. (Tieteellisen komitean jäsen)
2016Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Program Committee Member of 22st International Conference on Principles and Practice of Constraint Programming Doctoral Program (CP 2016 DP)
Järvisalo, M. (Tieteellisen komitean jäsen)
2016Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Invited Lecturer at 1st International Summer School on Satisfiability, Satisfiability Modulo Theories, and Automated Reasoning
Järvisalo, M. (Puhuja: pääpuhuja (keynote))
2016Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Public Talks
-
Program Committee Member of 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016)
Järvisalo, M. (Tieteellisen komitean jäsen)
2016Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Program Committee Member of 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) Main Track
Järvisalo, M. (Tieteellisen komitean jäsen)
2015Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Program Committee Member of 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) Machine Learning Track
Järvisalo, M. (Tieteellisen komitean jäsen)
2015Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Information Sciences (Lehti)
Järvisalo, M. (Arvioitsija (reviewer))
2015Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
Program Committee Member of Doctoral Program of the 21st International Conference on Principles and Practice of Constraint Programming (CP 2015)
Järvisalo, M. (Tieteellisen komitean jäsen)
2015Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Linköping University
Järvisalo, M. (Vieraileva tutkija)
2015Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypit › Akateeminen vierailu toiseen organisaatioon
-
MSc Supervisor of Paul Saikko
Järvisalo, M. (Ohjaaja)
2015Aktiviteetti: Tutkimustyypit › Väitöskirjan ohjaaja tai sivuohjaaja