RANDOM & APPROX 2023
Guest post by the 2023 Program Committee Chairs: Nicole Megow (APPROX) and Adam Smith (RANDOM) The 27th International Workshop on Randomization and Computation (RANDOM 2023) and the 26th...
View ArticleClik here to view.
DNF Minimization, Part I
Given a dataset consisting of input/output pairs, how do you find a small DNF consistent with the data? This problem is known as DNF minimization and has appeared in various forms throughout the...
View ArticleClik here to view.
DNF Minimization, Part II
In the last post, I discussed the complexity of DNF minimization given a dataset. Specifically, given a dataset of input/output pairs, how hard is it to compute the smallest DNF consistent with ? In...
View ArticleClik here to view.
Optimal Metric Distortion for Voting — A Proof from the Book
In this post, we’ll revisit the (deterministic) metric distortion conjecture in voting theory, which was recently proved by Gkatzelis, Halpern, and Shah [GHS20], and elegantly re-proved by Kempe and...
View Article2024 Motwani Postdoc Announced
The theory group at Stanford invites applications for the Motwani postdoctoral fellowship in theoretical computer science. Information and application instructions below. Applications will be accepted...
View ArticleFORC 2024 – CFP
The 5th annual Symposium on Foundations of Responsible Computing (FORC) will be held on June 12-14, 2024, at Harvard University in Cambridge, MA. Call for papers is out. Please send your strong papers...
View ArticleITC 2024 at Stanford! Early-Bird Registration Deadline August 1
The conference Information-Theoretic Cryptography (ITC) is happening at Stanford, August 14-16, conveniently just before CRYPTO in Santa Barbara! There’s a fantastic line-up of talks and speakers,...
View ArticleFORC 2026 – CFP
The 6th annual Symposium on Foundations of Responsible Computing (FORC) will be held on June 4-6, 2025 at Stanford University, CA, USA. Call for papers is out. There are several changes this year (see...
View ArticleClik here to view.
Four Views of Data Deletion
Where’s the theory on datasets? The canonical model of splitting a dataset into train and test data allows statistical validity for the evaluation of model performance. However, in the real world,...
View ArticleFOCS 2025 CfP is Out
The 66th Annual Symposium on Foundations of Computer Science (FOCS 2025), sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, will be held in Sydney,...
View Article