Organization

Chairs

Armin Biere (Johannes Kepler University, Linz, Austria)
Koen Lindström Claessen (Chalmers University, Gothenburg, Sweden)