All Seminars & Colloquia
Thursday, 2/18/2016, 8:45pm - 11:59pm
Speaker: Alex Iosevich (University of Rochester)
Title: Orthogonal bases and tiling: analysis, number theory and combinatorics
Friday, 2/12/2016, 6:00pm - 11:59pm
Title: Behavior of solutions in the Nonlinear Klein-Gordon Equation
Speaker: Kai Yang
Abstract:
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