| Date |
Paper |
Presenter |
| 14-Jan |
Planning |
vv-lab |
| 21-Jan |
Determining Interleavings |
Jordan Pomeroy |
| 28-Jan |
Model checking a security protocol |
Peter Lamborn |
| 04-Feb |
Discretized Analysis |
Xuan Wang |
| 11-Feb |
Modeling Biological Systems |
Tonglaga Bao |
| 18-Feb |
Doesn't Know |
Micah Lewis |
| 25-Feb |
TACAS 2004 - FMCAD 2000 |
Terry Wilcox |
| 04-Mar |
NASA Practice |
Neha Rungta |
| 11-Mar |
Looking for one |
Joel Self |
| 18-Mar |
TBA |
Rahul Kumar |
| 25-Mar |
Something Cool |
Eric Mercer |
| 1-Apr |
TACAS Practice |
Mike Jones |
| 8-Apr |
Open |
vv-lab |
| 15-Apr |
Finals |
vv-lab |
