Contact
To contact the SAT Challenge 2012 organizers please send an email to .
Organizing Committee
- Adrian Balint (University of Ulm, Germany)
- Anton Belov (University College Dublin, Ireland)
- Matti Järvisalo (University of Helsinki, Finland)
- Carsten Sinz (Karlsruhe Institute of Technology, Germany)
Technical Assistants
- Daniel Diepold (University of Ulm, Germany)
- Simon Gerber (University of Ulm, Germany)