MIT




Sunday, June 12- Friday, June 17, 2011

MIT, CAMBRIDGE, USA

 




Summer School Organizers


Name Affiliation Webpage

Vijay Ganesh
Dr. Vijay Ganesh

(Main Organizer)
Massachusetts Institute of Technology, Cambridge, USA
http://people.csail.mit.edu/vganesh

Nikolaj Bjorner
Dr. Nikolaj Bjorner
Microsoft Research, Redmond, USA
http://research.microsoft.com/en-us/people/nbjorner/

Cesare Tinelli
Prof. Cesare Tinelli
University of Iowa, Iowa City, USA
http://www.cs.uiowa.edu/~tinelli/

Armin Biere
Prof. Armin Biere
Johannes Kepler University, Linz, Austria
http://fmv.jku.at/biere/

Daniel LeBerre
Prof. Daniel LeBerre
Université d'Artois, Arras, France
http://www.cril.univ-artois.fr/~leberre/

Armando Solar-Lezama
Prof. Armando Solar-Lezama
Massachusetts Institute of Technology, Cambridge, USA
http://people.csail.mit.edu/asolar/

Robert Nieuwenhuis
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

For Questions and other Information send emails to hellovijay 'at' gmail.com