[Guest post from Seth Pettie and the SOSA steering committee. --Boaz] Attendees of the SODA’17 business meeting may recall our proposal for an algorithms conference dedicated to simplicity and elegance. We appreciate all the encouragement that we received from the community. Thanks to the support from SIAM, the First Symposium on Simplicity in Algorithms (SOSA) will happen, and will be co-located … Continue reading The 1st Symposium on Simplicity in Algorithms (guest post)
Bitcoin and Theoretical Computer Science (guest post by Eli Ben-Sasson)
[This is a guest post by Eli Ben-Sasson, mentioning only some of the fascinating TCS connections to crypto-currencies. If you're interested in more then you should check out the TheoryFest talks that Eli mentions. --Boaz] What is Bitcoin? Why should TCS care? Eli Ben-Sasson In Crypto We Trust You probably heard of Bitcoin, the crypto-currency … Continue reading Bitcoin and Theoretical Computer Science (guest post by Eli Ben-Sasson)
“TCS: The Next Decade” Panel at STOC 2017
(Guest post by Anna Karlin) As you know there will be a panel on "Theoretical Computer Science: The Next Decade" on Wednesday morning at STOC 2017. The panelists are Andy Yao, Russell Impagliazzo, Cynthia Dwork, Dan Spielman, Tim Roughgarden and Ankur Moitra. As moderator, I'd love to hear any specific questions/topics you'd like to hear … Continue reading “TCS: The Next Decade” Panel at STOC 2017
Two years ahead of schedule?
When I taught my crypto course in the spring of 2016, I motivated the study of lattice-based cryptography by presenting the following spoofed NYTimes headline from four years into the future: It seems like Google is trying to achieve this much earlier: If and when a convincing "quantum supremacy" demonstration emerges, it would be … Continue reading Two years ahead of schedule?
A Social Blogger
Since the close of MSR-SVC, I seem to have lost my taste for blogging. I think I finally know why: For me blogging is a social activity. I loved discussing the posts with my down-the-hall colleagues and friends. So, to regain this wonderful feeling, we (Stanford Theory) are opening a new theory group blog - … Continue reading A Social Blogger
TOCA-SV: May 12
Our second TOCA-SV meeting will take place at Google, Mountain View, on Friday May 12. We had a very good first meeting, and we are hoping to continue the momentum. Please come and register.
TheoryFest update
[Guest post by Sanjeev Arora. Action items: register, book your hotel and flight, and consider submitting a poster.] ACM Symposium on Theory of Computing Is morphing this year into a 5-day Theory Fest, as announced earlier. This is going to be a new and exciting kind of event for the theory community, with talks covering a … Continue reading TheoryFest update
Celebrating TCS at STOC 2017
STOC 2017 is going to be part of an expanded “Theory Festival” which will include not just the paper presentations, but a host of other activities such as plenary talks and tutorials, workshops, and more. One of the components I am most excited about is a sequence of invited plenary short talks where we will … Continue reading Celebrating TCS at STOC 2017
Why I dislike TeX (a pre-deadline rant)
TeX and LaTeX are in many ways, amazing pieces of software. Their contribution to improving and enabling scientific communication cannot be questioned, and I have been a (mostly) grateful user. But sometimes even grateful users have to rant a bit.. My main issue with TeX is that, at its heart, it is a programming language. … Continue reading Why I dislike TeX (a pre-deadline rant)
On “external” definitions for computation
I recently stumbled upon a fascinating talk by the physicist Nima Arkani-Hamed on the The Morality of Fundamental Physics. ("Moral" here is in the sense of "morally correct", as opposed to understanding the impact of science on society. Perhaps "beauty" would have been a better term.) In this talk, Arkani-Hamed describes the quest for finding scientific theories … Continue reading On “external” definitions for computation
Windows On Theory 