All Seminars & Colloquia
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.
Thursday, 11/12/2015, 11:00pm - Friday, 11/13/2015, 11:59pm
Speaker: Valentina Harizanov, GWU
http://home.gwu.edu/~harizanv/
Title: Coding sets into orders
Abstract: An abelian group is orderable if and only if it is torsion-free. We will show how sets of natural numbers can be coded into orders on computable abelian torsion-free groups.