All Seminars & Colloquia
Thursday, 1/28/2016, 8:00pm - 11:59pm
Graduate Student Seminar
Title: How Complicated are Orderings on Computable Structures?
Speaker: Trang Ha
Colloquium: On the Nature of Mathematical Proofs: A Cryptographic Perspective
Friday, 1/22/2016, 6:00pm - 11:59pm
Speaker: Jonathan Katz (UMD)
Title: On the Nature of Mathematical Proofs: A Cryptographic Perspective
Abstract:
Beginning in the mid-'80s, complexity theorists began radically
revising the notion of what (mathematical) proof might entail,
introducing and extending the ideas of using both randomness and
interaction as part of the proof-verification process. Cryptographers
took this one step further with the idea of *zero-knowledge proofs*,
which are supposed to reveal "no information" beyond the validity of
the theorem being proven.
Thursday, 1/21/2016, 8:00pm - 11:59pm
Monday, 12/7/2015, 4:00pm - 11:59pm
Wednesday, 12/2/2015, 10:30pm - 11:59pm
Speaker: Tslil Clingman, GWU
Title: An exploration of the category of relations
Friday, 11/20/2015, 6:00pm - 11:59pm
Title: GTA Meeting
Speaker: Hakim Walker, George Washington University
Note: The Graduate Student Seminar is mandatory for ALL graduate **TAs**! Attendance will be taken.