Program Committee Member of 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016)
- Järvisalo, M. (Medlem av vetenskaplig kommitté)
Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium