Aktiviteetteja vuodessa
Aktiviteetit
- 4 tulosta
Hakutulokset
-
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
-
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 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
-
Invited Talk at IDA Machine Learning Seminar, Linköping University
Järvisalo, M. (Puhuja: pääpuhuja (keynote))
2015Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Public Talks