Decision Procedures for the Polynomial Hierarchy, Boolean Optimization, and Model Counting

Activities

Activities per year 2015 2015 2016 2017 2018 2019 2019

• 33 Peer review of manuscripts
• 12 Organisation and participation in conferences, workshops, courses, seminars
• 4 Public Talks
• 4 Supervisor or co-supervisor of doctoral thesis
• 7 More
  • 4 Academic visit at UH
  • 1 Supervision of other thesis (Master's, Licentiate)
  • 1 Invited talk
  • 1 Academic visit to other institution

Activities per year

Search results

• 34th ACM/SIGAPP Symposium on Applied Computing (Event)

  Järvisalo, M. (Programme Committee Member)

  2019

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• 33rd AAAI Conference on Artificial Intelligence (Event)

  Järvisalo, M. (Programme Committee Member)

  2019

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• 35th Conference on Uncertainty in Artificial Intelligence (Event)

  Järvisalo, M. (Programme Committee Member)

  2019

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• 36th International Conference on Machine Learning (ICML 2019) (Event)

  Järvisalo, M. (Programme Committee Member)

  2019

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

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

  Järvisalo, M. (Programme Committee Member)

  2019

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• 16th International Conference on Integration of AI and OR Techniques in Constraint Programming (CPAIOR 2019) (Event)

  Järvisalo, M. (Programme Committee Member)

  2019

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• 12th Annual Symposium on Combinatorial Search (Event)

  Järvisalo, M. (Programme Committee Member)

  2019

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• 10th International Workshop on Pragmatics of SAT (Event)

  Järvisalo, M. (Programme Committee Chair)

  2019

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• 22nd International Conference on Theory and Applications of Satisfiability Testing (Event)

  Järvisalo, M. (Programme Committee Member)

  2019

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• 33rd Annual Conference on Neural Information Processing Systems (Event)

  Järvisalo, M. (Programme Committee Member)

  2019

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• 25th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (Event)

  Järvisalo, M. (Programme Committee Member)

  2018

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• 8th International Workshop on Pragmatics of SAT (PoS 2018)

  Järvisalo, M. (Scientific Committee Chair)

  2018

  Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars

• Annals of Mathematics and Artificial Intelligence (Journal)

  Järvisalo, M. (Reviewer)

  2018

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• ACM Symposium On Applied Computing (Event)

  Järvisalo, M. (Programme Committee Member)

  2018

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• Journal on Satisfiability, Boolean Modeling and Computation (Journal)

  Järvisalo, M. (Member of editorial board)

  2018 → …

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018) (Event)

  Järvisalo, M. (Programme Committee Member)

  2018

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• Artificial Intelligence (Journal)

  Järvisalo, M. (Reviewer)

  2018

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• 21st International Conference on Theory and Applications of Satisfiability Testing (SAT 2018) (Event)

  Järvisalo, M. (Programme Committee Member)

  2018

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• SAT for Argumentation

  Järvisalo, M. (Keynote speaker)

  2018

  Activity: Talk or presentation types › Invited talk

• 30th IEEE International Conference on Tools with Artificial Intelligence (Event)

  Järvisalo, M. (Programme Committee Member)

  2018

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• PhD Supervisor of Kari Rantanen

  Järvisalo, M. (Supervisor)

  2018 → …

  Activity: Examination types › Supervisor or co-supervisor of doctoral thesis

• 15th International Conference on Integration of AI and OR Techniques in Constraint Programming (CPAIOR 2018) (Event)

  Järvisalo, M. (Programme Committee Member)

  2018

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• 32nd Annual Conference on Neural Information Processing Systems (Event)

  Järvisalo, M. (Programme Committee Member)

  2018

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• 32nd AAAI Conference on Artificial Intelligence (Event)

  Järvisalo, M. (Programme Committee Member)

  2018

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• Journal of Artificial Intelligence Research (Journal)

  Järvisalo, M. (Reviewer)

  2017

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• Program Committee Member of 14th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR 2017) (Event)

  Järvisalo, M. (Programme Committee Member)

  2017

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• Mario Alviano

  Järvisalo, M. (Host)

  7 Aug 2017 → 11 Aug 2017

  Activity: Hosting a visitor types › Academic visit at UH

• Neha Lodha

  Järvisalo, M. (Host)

  1 Mar 2017 → 31 May 2017

  Activity: Hosting a visitor types › Academic visit at UH

• 29th IEEE International Conference on Tools with Artificial Intelligence (Event)

  Järvisalo, M. (Programme Committee Member)

  2017

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• Theory and Practice of Logic Programming (Journal)

  Järvisalo, M. (Reviewer)

  2017

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• MSc Supervisor of Kari Rantanen

  Järvisalo, M. (Supervisor)

  2017

  Activity: Examination types › Supervision of other thesis (Master's, Licentiate)

• 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 (Event)

  Järvisalo, M. (Programme Committee Member)

  2017

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• Program Committee Member of 31st AAAI Conference on Artificial Intelligence (AAAI 2017) (Event)

  Järvisalo, M. (Programme Committee Member)

  2017

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• PhD Supervisor of Andreas Niskanen

  Järvisalo, M. (Supervisor)

  2017 → …

  Activity: Examination types › Supervisor or co-supervisor of doctoral thesis

• 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (Event)

  Järvisalo, M. (Programme Committee Member)

  2017

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• International Journal of Approximate Reasoning (Journal)

  Järvisalo, M. (Reviewer)

  2017

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• Tutorial Speaker at 30th AAAI Conference on Artificial Intelligence (AAAI 2016)

  Järvisalo, M. (Speaker: Presenter)

  2016

  Activity: Participating in or organising an event types › Public Talks

• Invited talk at 1st International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016)

  Järvisalo, M. (Speaker: Keynote)

  2016

  Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars

• Invited Talk at 25th International Joint Conference on Artificial Intelligence (IJCAI 2016): Early Career Spotlight

  Järvisalo, M. (Speaker: Keynote)

  2016

  Activity: Participating in or organising an event types › Public Talks

• Senior Program Committee Member of 25th International Joint Conference on Artificial Intelligence (IJCAI 2016)

  Järvisalo, M. (Scientific Committee Member)

  2016

  Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars

• Invited Lecturer at 1st International Summer School on Satisfiability, Satisfiability Modulo Theories, and Automated Reasoning

  Järvisalo, M. (Speaker: Keynote)

  2016

  Activity: Participating in or organising an event types › Public Talks

• Program Committee Member of 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016)

  Järvisalo, M. (Scientific Committee Member)

  2016

  Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars

• Program Committee Member of 22st International Conference on Principles and Practice of Constraint Programming Doctoral Program (CP 2016 DP)

  Järvisalo, M. (Scientific Committee Member)

  2016

  Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars

• Program Committee Member of 30th AAAI Conference on Artificial Intelligence (AAAI 2016)

  Järvisalo, M. (Scientific Committee Member)

  2016

  Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars

• Program Committee Member of 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2015)

  Järvisalo, M. (Scientific Committee Member)

  2015

  Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars

• Linköping University

  Järvisalo, M. (Visiting researcher)

  2015

  Activity: Visiting an external institution types › Academic visit to other institution

• Program Committee Member of Doctoral Program of the 21st International Conference on Principles and Practice of Constraint Programming (CP 2015)

  Järvisalo, M. (Scientific Committee Member)

  2015

  Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars

• Invited Talk at IDA Machine Learning Seminar, Linköping University

  Järvisalo, M. (Speaker: Keynote)

  2015

  Activity: Participating in or organising an event types › Public Talks

• James Cussens

  Järvisalo, M. (Host)

  13 Apr 2015 → 17 Apr 2015

  Activity: Hosting a visitor types › Academic visit at UH

• MSc Supervisor of Paul Saikko

  Järvisalo, M. (Supervisor)

  2015

  Activity: Examination types › Supervisor or co-supervisor of doctoral thesis