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

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

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

  2016

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

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

  Järvisalo, M. (Talare: Presentation)

  2016

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

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

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

  2016

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

• 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