Polynomisen hierarkian päätösproseduurit, Boolean optimointi, ja mallien laskenta

Aktiviteter

Aktiviteter per år 2015 2015 2016 2017 2018 2019 2019

• 33 Referentgranskning av manuskript
• 12 Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
• 4 Public Talks
• 4 Handledare eller bihandledare av doktorsavhandling
• 7 Mer
  • 4 Akademiskt besök på HU
  • 1 Handledning av annat kunskapsprov (pro gradu, licentiatavhandling)
  • 1 !!Invited talk
  • 1 Akademisk besök på annan institution

Aktiviteter per år

Sökresultat

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

  Järvisalo, M. (Medlem av vetenskaplig kommitté)

  2015

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

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

  Järvisalo, M. (Talare: Inledningsanförande (keynote))

  2015

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Public Talks

• James Cussens

  Järvisalo, M. (Värd)

  13 apr. 2015 → 17 apr. 2015

  Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU

• Artificial Intelligence (Tidskrift)

  Järvisalo, M. (Referentgranskare)

  2015

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

• Brandon Malone

  Järvisalo, M. (Värd)

  13 apr. 2015 → 17 apr. 2015

  Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU

• PhD Supervisor of Jeremias Berg

  Järvisalo, M. (Handledare)

  2015 → 2018

  Aktivitet: Examinationstyper › Handledare eller bihandledare av doktorsavhandling

• Program Committee Member of 29th AAAI Conference on Artificial Intelligence (AAAI 2015)

  Järvisalo, M. (Medlem av vetenskaplig kommitté)

  2015

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• Journal of Artificial Intelligence Research (Tidskrift)

  Järvisalo, M. (Referentgranskare)

  2015

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

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

  Järvisalo, M. (Medlem av vetenskaplig kommitté)

  2015

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• Journal of Automated Reasoning (Tidskrift)

  Järvisalo, M. (Referentgranskare)

  2015

  Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript