| Series | Organized by | Past | Future |
|---|---|---|---|
| All Seminars and Colloquia | Past | Future | |
| Colloquium | Ilias Tagkopoulos | Past | Future |
| Distinguished Lecturer | Ian Davidson | Past | Future |
| Faculty Candidate | Department | Past | Future |
| Networks Research Seminar | An Chan | Past | Future |
| PL/Systems Seminar | Zhendong Su | Past | Future |
| Scientific Computing | Zhaojun Bai | Past | Future |
| Security Research Seminar | Sean Peisert | Past | Future |
Upcoming Talks
Talks and Seminars after June 19, 2013 7:31 am
| Where | Series/Date | Speaker/Title | Host |
|---|---|---|---|
| Colloquium | Hongjin Liang, USTC (China) & Yale | Host: Zhendong Su | Thu Jun 20, 2013 | 15:10 | Modular Verification of Linearizability with Non-Fixed Linearization Points |
Organizers can add or edit seminars.
Administrators can add video
Administrators can add or edit categories.