Skip to main content
Search
Utility navigation
Calendar
Contact
Login
MAKE A GIFT
Main navigation
Home
Programs & Events
Research Programs
Workshops & Symposia
Public Lectures
Research Pods
Internal Program Activities
Algorithms, Society, and the Law
People
Scientific Leadership
Staff
Current Long-Term Visitors
Research Fellows
Postdoctoral Researchers
Scientific Advisory Board
Governance Board
Industry Advisory Council
Affiliated Faculty
Science Communicators in Residence
Law and Society Fellows
Participate
Apply to Participate
Plan Your Visit
Location & Directions
Postdoctoral Research Fellowships
Law and Society Fellowships
Science Communicator in Residence Program
Circles
Breakthroughs Workshops and Goldwasser Exploratory Workshops
Support
Annual Fund
Funders
Industrial Partnerships
News & Videos
News
Videos
About
Image
Boolean Devices
Program
Lower Bounds in Computational Complexity
Location
Calvin Lab Auditorium
Date
Monday, Sept. 10
–
Friday, Sept. 14, 2018
Back to calendar
Breadcrumb
Home
Workshop & Symposia
Schedule
Secondary tabs
The Workshop
Schedule
Videos
Click on the titles of individual talks for abstract, slides and archived video.
Monday, Sept. 10, 2018
9:30
–
9:50 a.m.
Coffee and Check-In
9:50
–
10 a.m.
Opening Remarks
10
–
11 a.m.
Circuit Lower Bounds (and More) via the Fusion Method
Avi Wigderson (Institute for Advanced Study, Princeton)
11
–
11:30 a.m.
Break
11:30 a.m.
–
12 p.m.
The KRW Conjecture: Results and Open Problems
Or Meir (University of Haifa)
12
–
12:30 p.m.
Pseudorandom Generators from Polarizing Random Walks
Kaave Hosseini (UC San Diego)
12:30
–
2:30 p.m.
Lunch
2:30
–
3:30 p.m.
Oracle Separation of BQP and the Polynomial Hierarchy
Avishay Tal (UC Berkeley)
3:30
–
4 p.m.
Break
4
–
4:30 p.m.
Lower Bounds for Unrestricted Boolean Circuits: Open Problems
Sasha Kulikov (St. Petersburg Department of Steklov Institute of Mathematics)
4:30
–
5 p.m.
Static Data Structure Lower Bounds Imply Rigidity
Sasha Golovnev (Columbia University)
Tuesday, Sept. 11, 2018
9:30
–
10 a.m.
Coffee and Check-In
10
–
11 a.m.
Lifting Nullstellensatz Degree to Monotone Span Program Size
Robert Robere (McGill University)
11
–
11:30 a.m.
Break
11:30 a.m.
–
12 p.m.
Algorithmic Polynomials
Sasha Sherstov (UCLA)
12
–
12:30 p.m.
Approximate Degree and Quantum Query Lower Bounds via Dual Polynomials
Mark Bun (Princeton University)
12:30
–
2:30 p.m.
Lunch
2:30
–
3:30 p.m.
BPP Lifting and Its Applications
Toni Pitassi (University of Toronto)
3:30
–
4 p.m.
Break
4
–
4:30 p.m.
Monotone Circuit Lower Bounds from Resolution (Now with Applications!)
Mika Göös (Harvard University)
,
Mika Göös (Harvard University)
4:30
–
5 p.m.
Locating Linear Decision Lists within TC^0
Meena Mahajan (Institute of Mathematical Sciences)
5
–
6 p.m.
Reception
Wednesday, Sept. 12, 2018
9:30
–
10 a.m.
Coffee and Check-In
10
–
10:45 a.m.
An Overview of Quantified Derandomization
Roei Tell (Weizmann Institute)
10:45
–
11:15 a.m.
Break
11:15 a.m.
–
12 p.m.
Clique Is Hard on Average for Regular Resolution
Susanna de Rezende (Czech Academy of Sciences)
12
–
12:45 p.m.
Fooling Polytopes
Li-Yang Tan (Stanford University)
12:45
–
2:30 p.m.
Lunch
2:30
–
3:30 p.m.
Short Communications
2:35
–
2:40 p.m.
Pseudorandom Generators from the Second Fourier Level (Pooya Hatami)
2:40
–
2:45 p.m.
On Reducing Weight in Threshold Gates (Amir Yehudayoff)
2:45
–
2:50 p.m.
The Complexity of Hazard-Free Circuits (Christian Ikenmeyer)
2:50
–
2:55 p.m.
The Non-hardness of Approximating Circuit Size (Eric Allender)
3:30
–
4 p.m.
Break
4
–
5 p.m.
Open Problem Session
Thursday, Sept. 13, 2018
9:30
–
10 a.m.
Coffee and Check-In
10
–
11 a.m.
A Survey on MCSP
Rahul Santhanam (University of Oxford)
11
–
11:30 a.m.
Break
11:30 a.m.
–
12 p.m.
Hardness Magnification
Igor Carboni Oliveira (University of Warwick)
12
–
12:30 p.m.
Natural Properties, MCSP, and Proving Circuit Lower Bounds
Valentine Kabanets (Simon Fraser University)
12:30
–
2:30 p.m.
Lunch
2:30
–
3 p.m.
A Review of Some Recent Lower Bounds Against Low-Depth Threshold Circuits
Ryan Williams (Massachusetts Institute of Technology)
3
–
3:30 p.m.
Recent Structure Lemmas for Depth-two Threshold Circuits
Lijie Chen (UC Berkeley)
3:30
–
4 p.m.
Break
4
–
4:30 p.m.
New Lower Bounds Through an Improved Easy WItness Lemma
Cody Murray (Massachusetts Institute of Technology)
4:30
–
5 p.m.
Boolean Matrix Multiplication Lower Bounds
Michal Koucky (Charles University)
Friday, Sept. 14, 2018
9:30
–
10 a.m.
Coffee and Check-In
10
–
10:30 a.m.
The Pathset Approach to Formula Lower Bounds
Benjamin Rossman (University of Toronto)
10:30
–
11 a.m.
Distribution-Free Junta Testing
Rocco Servedio (Columbia University)
11
–
11:30 a.m.
Break
11:30 a.m.
–
12:30 p.m.
The Complexity of Distributions
Emanuele Viola (Northeastern University)
12:30
–
2:30 p.m.
Lunch
2:30
–
3 p.m.
Does Looking Inside a Circuit Help?
Antonina Kolokolova (Memorial University of Newfoundland)
3
–
3:30 p.m.
The Coin Problem and AC^0[parity]
Srikanth Srinivasan (Indian Institute of Technology Bombay)
3:30
–
4 p.m.
A Short List of Equalities Has Large Sign Rank
Arkadev Chattopadhyay (Tata Institute of Fundamental Research)
Share this page
Copy URL of this page
link to homepage
Close
Main navigation
Home
Programs & Events
Research Programs
Workshops & Symposia
Public Lectures
Research Pods
Internal Program Activities
Algorithms, Society, and the Law
People
Scientific Leadership
Staff
Current Long-Term Visitors
Research Fellows
Postdoctoral Researchers
Scientific Advisory Board
Governance Board
Industry Advisory Council
Affiliated Faculty
Science Communicators in Residence
Law and Society Fellows
Participate
Apply to Participate
Plan Your Visit
Location & Directions
Postdoctoral Research Fellowships
Law and Society Fellowships
Science Communicator in Residence Program
Circles
Breakthroughs Workshops and Goldwasser Exploratory Workshops
Support
Annual Fund
Funders
Industrial Partnerships
News & Videos
News
Videos
About
Utility navigation
Calendar
Contact
Login
MAKE A GIFT
link to homepage
Close
Search