Room Events
Date |
Time | Room | Tilte |
|---|---|---|---|
|
2/7/2013 |
8:00 am - 5:00 pm |
Room: GDC 7.808 | Press/Sawyer meeting |
|
2/12/2013 |
3:00 pm - 4:00 pm |
Room: GDC 7.808 | PhD Proposal for Ben Delaware: "Feature Modularity in Mechanized Reasoning" |
|
2/12/2013 |
4:00 pm - 6:00 pm |
Room: GDC 7.808 | ACL2 Seminar |
