Program Committee Member of 18th International Conference on Theory and Applications of Satisfiability Testing (SAT 2015)
- 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