Hi everyone,
This week we will have Faith Ellen from the University of Toronto giving a talk in our CS theory seminar. We will also have cookies!
Details: 2-3pm, Nov 8 in CS 3310
Title: Why Extension-Based Proofs Fail
Abstract: A valency argument is an elegant and well-known technique for proving impossibility results in distributed computing. It is an example of an extension-based proof, which is modelled as an interaction between a prover and a protocol. I will discuss
some impossibility results in distributed computing and explain why they cannot be obtained using extension-based proofs.
Bio: Faith Ellen earned her Ph.D. in computer science at Berkeley in 1982, under the direction of Richard Karp. After three years on the faculty at the University of Washington, she moved to the University of Toronto in 1986, where she is now Professor of
Computer
Science. She became a Fellow of the ACM 2014. Her research interests span the theory of distributed computing, complexity theory and data structures.
If you would like to meet Faith, please sign up here:
https://urldefense.com/v3/__https://docs.google.com/spreadsheets/d/1UaAOY-LURk4imSTQlvVJwrLKvBDcrTrHq8wHw4-BUkE/edit?usp=sharing__;!!Mak6IKo!ILpUCJQ9bBvc1xCMhM2pGWmV-nBZC-u0X13ceqAaiOs_pdZPqQntySOVHo8hy8TvycwEZpGmvfG64OIDdAhe17KkY41xRQ$
Best,
Sandeep
-------------------------------------------------------------------------------
This message was sent to the mailing list for the theory faculty at the
Computer Sciences Department of the University of Wisconsin in Madison.
![[Computer Systems Lab]](http://www.cs.wisc.edu/pics/csl_logo.gif){kind=logo}