[FM-India] International SAT/SMT Solver Summer School

Supratik Chakraborty supratik at cse.iitb.ac.in
Sat Mar 19 12:07:03 IST 2011

Apologies for cross-postings.
This is a follow-up of my earlier posting regarding the first SAT/SMT 
solver summer school.  The list of speakers and topics appears very 

For additional details, including possibilities of travel support, 
please see



More information about the FMIndia mailing list