Name	Affiliation	Webpage
Dr. Vijay Ganesh (Main Organizer)	Massachusetts Institute of Technology, Cambridge, USA	http://people.csail.mit.edu/vganesh
Dr. Nikolaj Bjorner	Microsoft Research, Redmond, USA	http://research.microsoft.com/en-us/people/nbjorner/
Prof. Cesare Tinelli	University of Iowa, Iowa City, USA	http://www.cs.uiowa.edu/~tinelli/
Prof. Armin Biere	Johannes Kepler University, Linz, Austria	http://fmv.jku.at/biere/
Prof. Daniel LeBerre	Université d'Artois, Arras, France	http://www.cril.univ-artois.fr/~leberre/
Prof. Armando Solar-Lezama	Massachusetts Institute of Technology, Cambridge, USA	http://people.csail.mit.edu/asolar/
Prof. Robert Nieuwenhuis	Technical University of Catalonia, Barcelona, Spain	http://www.lsi.upc.edu/~roberto/
Prof. Martin Rinard	Massachusetts Institute of Technology, Cambridge, USA	http://people.csail.mit.edu/rinard

Contact Information