Program Committee Member of 18th International Conference on Theory and Applications of Satisfiability Testing (SAT 2015)
- Järvisalo, M. (Scientific Committee Member)
Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars