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

• Mario Alviano

  Järvisalo, M. (Värd)

  7 aug. 2017 → 11 aug. 2017

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

• Neha Lodha

  Järvisalo, M. (Värd)

  1 mars 2017 → 31 maj 2017

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

• 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

• 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