Aktiviteter per år
Aktiviteter
- 1 - 50 av 60 resultat
Sökresultat
-
10th International Workshop on Pragmatics of SAT (Evenemang)
Järvisalo, M. (Ordförande för programkommitté)
2019Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
12th Annual Symposium on Combinatorial Search (Evenemang)
Järvisalo, M. (Medlem av programkommitté)
2019Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
16th International Conference on Integration of AI and OR Techniques in Constraint Programming (CPAIOR 2019) (Evenemang)
Järvisalo, M. (Medlem av programkommitté)
2019Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
22nd International Conference on Theory and Applications of Satisfiability Testing (Evenemang)
Järvisalo, M. (Medlem av programkommitté)
2019Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
35th Conference on Uncertainty in Artificial Intelligence (Evenemang)
Järvisalo, M. (Medlem av programkommitté)
2019Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
34th ACM/SIGAPP Symposium on Applied Computing (Evenemang)
Järvisalo, M. (Medlem av programkommitté)
2019Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
33rd AAAI Conference on Artificial Intelligence (Evenemang)
Järvisalo, M. (Medlem av programkommitté)
2019Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
36th International Conference on Machine Learning (ICML 2019) (Evenemang)
Järvisalo, M. (Medlem av programkommitté)
2019Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
33rd Annual Conference on Neural Information Processing Systems (Evenemang)
Järvisalo, M. (Medlem av programkommitté)
2019Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
28th International Joint Conference on Artificial Intelligence (IJCAI 2019) (Evenemang)
Järvisalo, M. (Medlem av programkommitté)
2019Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
21st International Conference on Theory and Applications of Satisfiability Testing (SAT 2018) (Evenemang)
Järvisalo, M. (Medlem av programkommitté)
2018Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018) (Evenemang)
Järvisalo, M. (Medlem av programkommitté)
2018Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
25th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (Evenemang)
Järvisalo, M. (Medlem av programkommitté)
2018Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
32nd AAAI Conference on Artificial Intelligence (Evenemang)
Järvisalo, M. (Medlem av programkommitté)
2018Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
32nd Annual Conference on Neural Information Processing Systems (Evenemang)
Järvisalo, M. (Medlem av programkommitté)
2018Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
SAT for Argumentation
Järvisalo, M. (!!Keynote speaker)
2018Aktivitet: Typer för tal eller presentation › !!Invited talk
-
PhD Supervisor of Kari Rantanen
Järvisalo, M. (Handledare)
2018 → …Aktivitet: Examinationstyper › Handledare eller bihandledare av doktorsavhandling
-
Journal on Satisfiability, Boolean Modeling and Computation (Tidskrift)
Järvisalo, M. (Medlem i redaktionell ledning)
2018 → …Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
ACM Symposium On Applied Computing (Evenemang)
Järvisalo, M. (Medlem av programkommitté)
2018Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
8th International Workshop on Pragmatics of SAT (PoS 2018)
Järvisalo, M. (Ordförande för vetenskaplig kommitté)
2018Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
30th IEEE International Conference on Tools with Artificial Intelligence (Evenemang)
Järvisalo, M. (Medlem av programkommitté)
2018Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
15th International Conference on Integration of AI and OR Techniques in Constraint Programming (CPAIOR 2018) (Evenemang)
Järvisalo, M. (Medlem av programkommitté)
2018Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
Annals of Mathematics and Artificial Intelligence (Tidskrift)
Järvisalo, M. (Referentgranskare)
2018Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
Artificial Intelligence (Tidskrift)
Järvisalo, M. (Referentgranskare)
2018Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
29th IEEE International Conference on Tools with Artificial Intelligence (Evenemang)
Järvisalo, M. (Medlem av programkommitté)
2017Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
MSc Supervisor of Kari Rantanen
Järvisalo, M. (Handledare)
2017Aktivitet: Examinationstyper › Handledning av annat kunskapsprov (pro gradu, licentiatavhandling)
-
Program Committee Member of 14th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR 2017) (Evenemang)
Järvisalo, M. (Medlem av programkommitté)
2017Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
Mario Alviano
Järvisalo, M. (Värd)
7 aug. 2017 → 11 aug. 2017Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Program Committee Member of 31st AAAI Conference on Artificial Intelligence (AAAI 2017) (Evenemang)
Järvisalo, M. (Medlem av programkommitté)
2017Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (Evenemang)
Järvisalo, M. (Medlem av programkommitté)
2017Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
International Journal of Approximate Reasoning (Tidskrift)
Järvisalo, M. (Referentgranskare)
2017Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
Theory and Practice of Logic Programming (Tidskrift)
Järvisalo, M. (Referentgranskare)
2017Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
PhD Supervisor of Andreas Niskanen
Järvisalo, M. (Handledare)
2017 → …Aktivitet: Examinationstyper › Handledare eller bihandledare av doktorsavhandling
-
Neha Lodha
Järvisalo, M. (Värd)
1 mars 2017 → 31 maj 2017Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
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 (Evenemang)
Järvisalo, M. (Medlem av programkommitté)
2017Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
Journal of Artificial Intelligence Research (Tidskrift)
Järvisalo, M. (Referentgranskare)
2017Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
Invited Lecturer at 1st International Summer School on Satisfiability, Satisfiability Modulo Theories, and Automated Reasoning
Järvisalo, M. (Talare: Inledningsanförande (keynote))
2016Aktivitet: Typer för deltagande i eller organisering av evenemang › Public Talks
-
Program Committee Member of 30th AAAI Conference on Artificial Intelligence (AAAI 2016)
Järvisalo, M. (Medlem av vetenskaplig kommitté)
2016Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Program Committee Member of 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016)
Järvisalo, M. (Medlem av vetenskaplig kommitté)
2016Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Tutorial Speaker at 30th AAAI Conference on Artificial Intelligence (AAAI 2016)
Järvisalo, M. (Talare: Presentation)
2016Aktivitet: Typer för deltagande i eller organisering av evenemang › Public Talks
-
Invited talk at 1st International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016)
Järvisalo, M. (Talare: Inledningsanförande (keynote))
2016Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Invited Talk at 25th International Joint Conference on Artificial Intelligence (IJCAI 2016): Early Career Spotlight
Järvisalo, M. (Talare: Inledningsanförande (keynote))
2016Aktivitet: Typer för deltagande i eller organisering av evenemang › Public Talks
-
Program Committee Member of 22st International Conference on Principles and Practice of Constraint Programming Doctoral Program (CP 2016 DP)
Järvisalo, M. (Medlem av vetenskaplig kommitté)
2016Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Senior Program Committee Member of 25th International Joint Conference on Artificial Intelligence (IJCAI 2016)
Järvisalo, M. (Medlem av vetenskaplig kommitté)
2016Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Program Committee Member of Doctoral Program of the 21st International Conference on Principles and Practice of Constraint Programming (CP 2015)
Järvisalo, M. (Medlem av vetenskaplig kommitté)
2015Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Program Committee Member of 18th International Conference on Theory and Applications of Satisfiability Testing (SAT 2015)
Järvisalo, M. (Medlem av vetenskaplig kommitté)
2015Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Linköping University
Järvisalo, M. (Besökande forskare)
2015Aktivitet: Typer för besök till extern institution › Akademisk besök på annan institution
-
Information Sciences (Tidskrift)
Järvisalo, M. (Referentgranskare)
2015Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
Program Committee Member of 29th AAAI Conference on Artificial Intelligence (AAAI 2015)
Järvisalo, M. (Medlem av vetenskaplig kommitté)
2015Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Program Committee Member of 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) Main Track
Järvisalo, M. (Medlem av vetenskaplig kommitté)
2015Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium