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