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
Accessibility
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)
Video
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)
Video
12
–
12:30 p.m.
Pseudorandom Generators from Polarizing Random Walks
Kaave Hosseini (UC San Diego)
Video
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)
Video
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)
Video
4:30
–
5 p.m.
Static Data Structure Lower Bounds Imply Rigidity
Sasha Golovnev (Columbia University)
Video
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)
Video
11
–
11:30 a.m.
Break
11:30 a.m.
–
12 p.m.
Algorithmic Polynomials
Sasha Sherstov (UCLA)
Video
12
–
12:30 p.m.
Approximate Degree and Quantum Query Lower Bounds via Dual Polynomials
Mark Bun (Princeton University)
Video
12:30
–
2:30 p.m.
Lunch
2:30
–
3:30 p.m.
BPP Lifting and Its Applications
Toni Pitassi (University of Toronto)
Video
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)
Video
4:30
–
5 p.m.
Locating Linear Decision Lists within TC^0
Meena Mahajan (Institute of Mathematical Sciences)
Video
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)
Video
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)
Video
12
–
12:45 p.m.
Fooling Polytopes
Li-Yang Tan (Stanford University)
Video
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)
Video
11
–
11:30 a.m.
Break
11:30 a.m.
–
12 p.m.
Hardness Magnification
Igor Carboni Oliveira (University of Warwick)
Video
12
–
12:30 p.m.
Natural Properties, MCSP, and Proving Circuit Lower Bounds
Valentine Kabanets (Simon Fraser University)
Video
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)
Video
3
–
3:30 p.m.
Recent Structure Lemmas for Depth-two Threshold Circuits
Lijie Chen (UC Berkeley)
Video
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)
Video
4:30
–
5 p.m.
Boolean Matrix Multiplication Lower Bounds
Michal Koucky (Charles University)
Video
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)
Video
10:30
–
11 a.m.
Distribution-Free Junta Testing
Rocco Servedio (Columbia University)
Video
11
–
11:30 a.m.
Break
11:30 a.m.
–
12:30 p.m.
The Complexity of Distributions
Emanuele Viola (Northeastern University)
Video
12:30
–
2:30 p.m.
Lunch
2:30
–
3 p.m.
Does Looking Inside a Circuit Help?
Antonina Kolokolova (Memorial University of Newfoundland)
Video
3
–
3:30 p.m.
The Coin Problem and AC^0[parity]
Srikanth Srinivasan (Indian Institute of Technology Bombay)
Video
3:30
–
4 p.m.
A Short List of Equalities Has Large Sign Rank
Arkadev Chattopadhyay (Tata Institute of Fundamental Research)
Video
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
Accessibility
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