FOCS 2024

Foundations of Computer Science 2024 is coming this fall: October 27-30, 2024 at Wolf Point Plaza, Chicago.

A Bit of History

The cover of the FOCS proceedings is:

It was designed by Alvy Ray Smith—many years ago.

See his comments here.

I was asked by my colleagues at the IBM Watson Research Center to design the cover of the 14th annual Switching and Automata Theory Symposium (SWAT), held in 1973. I did so one miserable night to escape the depression of an automobile failure in the worst part of the Bronx, in a rundown Esso station, in a snow storm. This design came to me, all at once, from thinking on the themes “cellular automata as models of living things”, “artificial intelligence”, and “self-reproducing machines”. However, it took me a month to execute the design, with Rapidograph, triangle, French curves, Exacto knife, and ellipse templates, in drafting ink on vellum – obviously before I discovered computer graphics.

FOCS 2024

The chair of the this FOCS is Santosh Vempala of Georgia Institute of Technology and the Program Committee is:

Daniel Alabi Nima Anari Maryam Aliakbarpour Xiaotie Deng Jelena Diakonikolas Alina Ene Funda Ergun Vipul Goyal Sean Hallgren Russell Impagliazzo Varun Kanade Ravi Kannan Bhavana Kanukurthi Chi Lau Le Gall Nagoya Andrea Yang P. Liu Daniel Lokshtanov Meena Mahajan Yury Makarychev Tal Malkin Dana Moshkovitz Anand Natarajan Alantha Newman Noam Nisan Huy Nguyen Rafail Ostrovsky Ioannis Panageas Will Perkins Prasad Raghavendra Victor Reis Rahul Santhanam Mohit Singh Daniel Stefankovic David Steurer Xiaorui Sun Ewin Tang Kavitha Telikepalli Vera Traub Chris Umans Vinod Vaikuntanathan Adrian Vetta Yusu Wang Andre Wibisono Mihalis Yannakakis Huacheng Yu

Papers

Here are all the FOCS 2024 Accepted Papers. Below are just those accepted papers that are directly connected to Tech.

8. Online Combinatorial Allocations and Auctions with Few Samples by Paul Duetting (Google); Thomas Kesselheim (University of Bonn); Brendan Lucier (Microsoft Research); Rebecca Reiffenhauser (University of Amsterdam); Sahil Singla (Georgia Tech)

12. First-Order Model Checking on Monadically Stable Graph Classes by Jan Dreier (TU Wien); Ioannis Eleftheriadis (University of Cambridge); Nikolas Mahlmann (University of Bremen); Rose McCarty (Georgia Tech); Micha Pilipczuk, Szymon Toruczyk (University of Warsaw)

15. Almost-Linear Time Algorithms for Decremental Graphs: Min-Cost Flow and More via Duality by Jan van den Brand (Georgia Tech); Li Chen (Carnegie Mellon University); Rasmus Kyng (ETH Zurich); Yang P. Liu (Institute for Advanced Study); Simon Meierhans (ETH Zurich); Maximilian Probst Gutenberg (ETH Zurich); Sushant Sachdeva (University of Toronto / Google)

48. Semi-Bandit Learning for Monotone Stochastic Optimization} by Arpit Agarwal (Columbia University); Rohan Ghuge (Georgia Tech); Viswanath Nagarajan (University of Michigan)

81. Sampling, counting, and large deviations for triangle-free graphs near the critical density by Matthew Jenssen (King’s College London); Will Perkins (Georgia Tech); Aditya Potukuchi (York University); Michael Simkin (MIT)

90. Online Submodular Assignment Problem by Sherry Sarkar, Daniel Hathcock, Mik Zlatin (Carnegie Mellon University); Billy Jin (Cornell University); Kalen Patton (Georgia Tech)

Open Problems

Hope to see you all there. The conference should be wonderful as always.