CS Dept
Stanford University
Combination of Decision Procedures
Spill-Over Session
| Home |
| Goals |
| Call for Participation |
| Program |
| Abstracts |
| Spill-Over Session (Thu, Aug 12) |
| Speakers |
| Registration |
| Logistics |
| Location |
| Directions |
| Contact Info |
| Sponsors: |
 |
| Intel Corporation |
| Acknowledgements |
| August 12, 2004 |
| Gates bldg, room 104 |
| Stanford University |
| Stanford, CA 94305 |
| U.S.A. |
| Time | Speaker | Topic |
|---|---|---|
| 10:00-11:30 | Marco Maratea, University of Genova, Italy | TSAT++ theorem prover |
| 11:30-1:00 | Lunch break | |
| 1:00-1:30 | Byron Cook, Microsoft Research | Zapato/ZAP theorem provers |
| 1:45-3:00 | Sumit Gulwani, UC Berkeley | Randomized join algorithms for linear arithmetic and uninterpreted functions. |