[PRL] Fwd: [Programming] Fwd: SAT/SMT Summer School 2011

[David Van Horn]

-------- Original Message --------
Subject: [Programming] Fwd: SAT/SMT Summer School 2011
Date: Thu, 30 Sep 2010 14:16:50 -0400
From: Greg Morrisett <greg at eecs.harvard.edu>
To: programming at eecs.harvard.edu, 	Systems Research At Harvard 
<syrah at eecs.harvard.edu>

FYI.

-Greg

-------- Original Message --------
Subject: SAT/SMT Summer School 2011
Date: Thu, 30 Sep 2010 12:38:51 -0400
From: Vijay Ganesh <vganesh at csail.mit.edu>
To: greg at eecs.harvard.edu

Dear Professor,

I am organizing a Boolean SAT/SMT solver summer school @ MIT in June,
2011. The
goal of the summer school is to connect SAT/SMT developers with new (and
current) power users. This will be very useful for graduate students,
faculty
and industrial researchers who want to learn more about SAT/SMT solvers, and
are planning to use them in their research.

The website is:

http://people.csail.mit.edu/vganesh/summerschool

Please do consider attending the summer school (along with your research
group
members). Please advertise this widely.

Thanks,
Vijay Ganesh.

-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: Attached Message Part
Url: http://lists.ccs.neu.edu/pipermail/prl/attachments/20100930/79d42b04/attachment.txt 
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: Attached Message Part
Url: http://lists.ccs.neu.edu/pipermail/prl/attachments/20100930/79d42b04/attachment-0001.txt