Mailing List ArchivesAuthenticated access |
![[Computer Systems Lab]](http://www.cs.wisc.edu/pics/csl_logo.gif){kind=logo}
|
Mailing List ArchivesAuthenticated access |
|
| Date: | Thu, 15 Jun 2017 11:50:19 -0500 |
|---|---|
| From: | Aws Albarghouthi <aws@xxxxxxxxxxx> |
| Subject: | [pl-seminar] Vijay Ganesh visit |
Hello all, Vijay Ganesh (Waterloo) is visiting on Monday the 19th. Please sign up to talk to him; he's done very interesting work in SAT/SMT solving and will be here to explain why SAT solvers happen to work. https://docs.google.com/spreadsheets/d/1SlLeIMJaQ2MYGv59Ou4iRSc8_ooZeUkLiZRRF3J0ooA/edit?usp=sharing -- Aws |
| [← Prev in Thread] | Current Thread | [Next in Thread→] |
|---|---|---|
| ||
| Previous by Date: | [pl-seminar] Reminder: practice talk starting now, Peter Ohmann |
|---|---|
| Next by Date: | [pl-seminar] Talk today: On The Unreasonable Effectiveness of Boolean SAT Solvers, Aws Albarghouthi |
| Previous by Thread: | Re: [pl-seminar] Tomorrow's talk, Qinheping HU |
| Next by Thread: | [pl-seminar] VMCAI practice talk, Tushar Sharma |
| Indexes: | [Date] [Thread] |