[Guest post by Sandy Irani; see also the new website http://safetoc.org for more information on this initiative. --Boaz ] Update and follow-up on the Safe ToC initiative: Last year, a group of us served on an ad hoc committee to combat harassment and discrimination in the Theory of Computing community. In our report, we suggested … Continue reading Update on the Safe ToC initiative (guest post by Sandy Irani)
Author: Boaz Barak
Sensitivity conjecture proved!
In a recent breakthrough, Hao Huang gave a 6 page paper proving the longstanding sensitivity conjecture. (Hat tip, Scott Aaronson and Gil Kalai. See this stackexchange post and this paper of Avishai for some links to the literature on this.) The proof is beautiful and simple. I will write a few words here, but it … Continue reading Sensitivity conjecture proved!
TCS Women at STOC (guest post by Virginia Williams)
[Guest post by Virgi Vassilevska Williams on the TCS women program at STOC. In particular the TCS Women Spotlight workshop has a great program and is open to all. --Boaz] Dear all, The TCS Women 2019 program is finalized: https://sigact.org/tcswomen/tcs-women-2019/. Here are some details: On June 23rd, we have our TCS Women Spotlight workshop from 2 … Continue reading TCS Women at STOC (guest post by Virginia Williams)
Highlights beyond EC: Call for nominations
[Guest post by Moshe Babaioff --Boaz] "Highlights Beyond EC" Session at EC 2019: Call for Nominations Committee: Mohammad Akbarpour, Moshe Babaioff, Shengwu Li and Ariel Procaccia Following a new tradition started last year, the 2019 ACM Conference on Economics and Computation (EC’19) will host a special session highlighting some of the best work in economics … Continue reading Highlights beyond EC: Call for nominations
HALG 2019 Call for nominations
[Guest post by Piotr Sankowski --Boaz] Call for Nominations - 4th Highlights of Algorithms conference (HALG 2019) Copenhagen, June 14-16, 2019 http://www.halgdiku.dk/ The HALG 2019 conference seeks high-quality nominations for invited talks that will highlight recent advances in algorithmic research. Similarly to previous years, there are two categories of invited talks: A. survey (60 minutes): a … Continue reading HALG 2019 Call for nominations
Be a program director at NSF!
Guest post by Shuchi Chawla One of the best ways to serve the US-based TCS community is to take up a position at the NSF. Beginning as early as 2019, NSF/CCF is seeking at least one program director for the Algorithmic Foundations core program. This is a rotator position, which is generally two or three years in … Continue reading Be a program director at NSF!
FOCS early registration deadline
[Message from Adi Rosen --Boaz] This is a kind reminder that the deadline for the early rate registration fees for FOCS 2018 is this Sunday, September 9, 2018. =================================== FOCS 2018 - Second Call for Participation =================================== https://www.irif.fr/~focs2018/ The 59th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2018) will take place in Paris, France, … Continue reading FOCS early registration deadline
Black holes, paradoxes, and computational complexity
(Thanks so much to Scott Aaronson for giving me many pointers, insights, explanations, and corrections that greatly improved this post. As I'm a beginner to physics, the standard caveat holds doubly here: Scott is by no means responsible to any of my remaining technical mistakes and philosophical misconceptions.) One of the interesting features of physics … Continue reading Black holes, paradoxes, and computational complexity
Johan Håstad wins Knuth prize
Congratulations to Johan Håstad for winning the 2018 Knuth prize! Johan of course has done groundbreaking works from constructing pseudorandom generators based on one way functions, through his famous switching lemma, to his PCP theorem that continues to this day to be the blueprint for much of the work in hardness of approximation. A most deserving … Continue reading Johan Håstad wins Knuth prize
Book Review: “Factor Man”
At the recommendation of Craig Gentry, I recently read the book "Factor Man" by Matt Ginsberg. This book is about a computer scientist that discovers an efficient algorithm for SAT, which starts off a international game of intrigue involving the FBI, NSA, Chinese spies, Swiss banks, and even some characters we know such as Steven … Continue reading Book Review: “Factor Man”