• Start Date: July 19, 2019
  • End Date: July 21, 2019
  • Event Start Time: 8:30 AM
  • Event End Time: 5:35 PM
  • Organizers: Swastik Kopparty | Tamra Carpenter | Shubhangi Saraf | Eric Allender | Periklis Papakonstantinou | Mike Saks
  • Location: Rutgers Academic Building, Room 2225 | Rutgers University | College Avenue Campus
  • Link to the CCC'19 main page: http://computationalcomplexity.org/

    Scope
    CCC aims to foster research in all areas of computational complexity theory, studying the absolute and relative power of computational models under resource constraints. Typical models include deterministic, nondeterministic, randomized, and quantum models; uniform and nonuniform models; Boolean, algebraic, and continuous models. Typical resource constraints involve time, space, randomness, program size, input queries, communication, and entanglement; worst-case as well as average case. Other, more specific, topics include: probabilistic and interactive proof systems, inapproximability, proof complexity, descriptive complexity, and complexity-theoretic aspects of cryptography and machine learning. The conference also encourages results from other areas of computer science and mathematics motivated by computational complexity theory.

    History
    In 1986 the first Structure in Complexity Theory Conference was organized with the support of the US National Science Foundation. As indicated in the call for papers, the conference focused on the global aspects of computational complexity theory and the structural properties of both complexity classes and complexity-bounded reducibilities, and became known as Structures. From 1987 through 2014 the conference was sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing. In 1996 the conference broadened its scope to the current one, and accordingly changed its name to Annual IEEE Conference on Computational Complexity, abbreviated as CCC. In 2014, after a community-wide discussion and a strong movement towards independence based on a desire for open access to the proceedings, the Computational Complexity Foundation Inc. was established. Starting from 2015 the Foundation organizes the conference independently under the name Computational Complexity Conference, maintaining the acronym CCC.

    The list of future and past conferences contains links to the websites for the individual years. Past programs and call for papers (going back to 1997) are also available there.

    CCC'19 Program

    CCC'19 Proceedings

    Videos of CCC'19 invited talks: Ran Raz     Dor Minzer

  • To register please visit the main CCC'19 page: http://computationalcomplexity.org/

    The DIMACS Day of Complexity Tutorials will be held the day before (July 17, 2019) the start of the Conference.
    This event is hosted by the Rutgers University Computer Science Department, Rutgers University Computer Science Department Theory of Computing along with DIMACS.


    Hotel Information

    A block of rooms has been set aside at the Hyatt Regency in New Brunswick at a special rate of $149.  (Note: Hotel parking is extra.) To make your reservations, please click here: Hyatt Booking Reservations. If you need additional assistance, please contact the Hyatt at 877-803-7534.
    *There is no affiliation or financial interest recommending this hotel and the participants are responsible on their own for finding places according to their liking.

    Travel Information

    Travel, Directions, Parking and Maps to Rutgers University

    Directions, Parking and Map to Hyatt Regency, New Brunswick

  • Thursday, July 18, 2019

    Workshop Talks

    8:30 AM – 9:00 AM

    Registration and Breakfast

    9:00 AM – 9:30 AM

    Limits on the Universal Method for Matrix Multiplication

    Josh Alman - Massachusetts Institute of Technology

    9:30 AM – 10:00 AM

    Barriers for Fast Matrix Multiplication from Irreversibility

    Jeroen Zuiddan - Institute for Advanced Study , Péter Vrana - Budapest University of Technology and Economics , Matthias Christandl - University of Bath

    10:00 AM – 10:30 AM

    Break

    10:30 AM – 11:00 AM

    Fourier and Circulant Matrices are Not Rigid

    Allen Liu - University of Michigan , Zeev Dvir - Princeton University

    11:00 AM – 11:30 AM

    Typically-Correct Derandomization for Small Time and Space

    William Hoza - University of Texas, Austin

    11:30 AM – 12:00 PM

    A Time-Distance Trade-Off for GDD with Preprocessing---Instantiating the DLW Heuristic

    Noah Stephens-Davidowitz - New York University (NYU)

    12:00 PM – 12:30 PM

    Almost Optimal Distribution-Free Junta Testing

    Nader Bshouty - Technion

    12:30 PM – 2:00 PM

    Lunch

    2:00 PM – 2:30 PM

    Average-Case Quantum Advantage with Shallow Circuits

    François Le Gall - Kyoto University

    2:30 PM – 3:00 PM

    Universality of EPR Pairs in Entanglement-Assisted Communication Complexity, and the Communication Cost of State Conversion

    Aram Harrow - Massachusetts Institute of Technology , Matthew Coudron - Massachusetts Institute of Technology

    3:00 PM – 3:30 PM

    Complexity Lower Bounds for Computing the Approximately-Commuting Operator Value of Non-Local Games to High Precision

    William Slofstra - University of Waterloo , Matthew Coudron - Massachusetts Institute of Technology

    3:30 PM – 4:00 PM

    Break

    4:00 PM – 4:30 PM

    Equality Alone Does not Simulate Randomness

    Marc Vinyals - Tata Institute of Fundamental Research , Shachar Lovett - University of California, San Diego , Arkadev Chattopadhyay - Tata Institute of Fundamental Research

    4:30 PM – 5:00 PM

    Optimality of Linear Sketching under Modular Updates

    Grigory Yaroslavtsev - University of Pennsylvania , Shachar Lovett - University of California, San Diego , Kaave Hosseini - University of California, San Diego

    5:00 PM – 5:30 PM

    Optimal Separation and Strong Direct Sum for Randomized Query Complexity

    Joshua Brody - Swarthmore College , Eric Blais - Carnegie Mellon University

    5:30 PM – 5:45 PM

    Short Break

    5:45 PM – 6:00 PM

    Business Meeting

    Friday, July 19, 2019

    Workshop Talks

    8:30 AM – 9:00 AM

    Registration and Breakfast

    9:00 AM – 10:00 AM

    Learning Fast Requires Good Memory: Time-Space Tradeoff Lower Bounds for Learning

    Ran Raz - Princeton University

    10:00 AM – 10:30 AM

    Break

    10:30 AM – 11:00 AM

    Near-Optimal Pseudorandom Generators for Constant-Depth Read-Once Formulas

    William Hoza - University of Texas, Austin , Pooya Hatami - University of Chicago , Dean Doron - Tel-Aviv University

    11:00 AM – 11:30 AM

    Non-Malleable Extractors and Non-Malleable Codes: Partially Optimal Constructions

    Xin Li - Duke University

    11:30 AM – 12:00 PM

    Fourier Bounds and Pseudorandom Generators for Product Tests

    Chin Ho Lee - Northeastern University

    12:00 PM – 12:30 PM

    Simple and Efficient Pseudorandom Generators from Gaussian Processes

    Rocco Servedio - Columbia University , Anindya De - Northwestern University , Eshan Chattopadhyay - Institute for Advanced Study

    12:30 PM – 2:00 PM

    Lunch

    2:00 PM – 2:30 PM

    Time-Space Lower Bounds for Two-Pass Learning

    Avishay Tal - Ben Gurion University , Ran Raz - Princeton University , Sumegha Garg - Princeton University

    2:30 PM – 3:00 PM

    A Fine-Grained Analogue of Schaefer’s Theorem in P: Dichotomy of Existsk-Forall-Quantified First-Order Graph Properties

    Marvin Künnemann - Max Planck Institute for Informatics , Nick Fischer - Lawrence Livermore National Laboratory , Karl Bringmann - Max Planck Institute for Informatics

    3:00 PM – 3:30 PM

    Counting Basic-Irreducible Factors Mod pk in deterministic poly-time and p-adic applications

    Nitin Saxena - Indian Institute of Technology , Rajat Mittal - Johns Hopkins University , Ashish Dwived - Indian Institute of Technology

    3:30 PM – 4:00 PM

    Break

    4:00 PM – 4:30 PM

    Stronger Connections Between Circuit Analysis and Circuit Lower Bounds, via PCPs of Proximity

    Ryan Williams - Massachusetts Institute of Technology , Lijie Chen - Massachusetts Institute of Technology

    4:30 PM – 5:00 PM

    Relations and Equivalences Between Circuit Lower Bounds and Karp-Lipton Theorems

    Ryan Williams - Massachusetts Institute of Technology , Cody Murray - Massachusetts Institute of Technology , Dylan McKay - Massachusetts Institute of Technology , Lijie Chen - Massachusetts Institute of Technology

    5:00 PM – 5:30 PM

    Hardness Magnification Near State-of-the-Art Lower Bounds

    Rahul Santhanam - University of Oxford , Jan Pich - University of Oxford , Igor Carboni Oliveira - University of Oxford

    5:30 PM – 5:45 PM

    Short Break

    5:45 PM – 6:00 PM

    Rump Session

    Saturday, July 20, 2019

    Workshop Talks

    8:30 AM – 9:00 AM

    Registration and Breakfast

    9:00 AM – 10:00 AM

    Invited Talk: On the NP-Hardness of 2-to-2 Games and Hypercontractivity

    Dor Minzer - Institute for Advanced Study

    10:00 AM – 10:30 AM

    Break

    10:30 AM – 11:00 AM

    Sherali-Adams Strikes Back

    Tselil Schramm - Massachusetts Institute of Technology , Ryan O'Donnell - Carnegie Mellon University

    11:00 AM – 11:30 AM

    Size-Degree Trade-Offs for Sums-of-Squares and Positivstellensatz Proofs

    Tuomas Hakoniemi - Universitat Politècnica de Catalunya , Albert Atserias - Universitat Politècnica de Catalunya

    11:30 AM – 12:00 PM

    Resolution and the Binary Encoding of Combinatorial Principles

    Barnaby Martin - Durham University , Nicola Galesi - Sapienza University of Rome , Stefan Dantchev - Durham University

    12:00 PM – 12:30 PM

    Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling

    Robert Robere - DIMACS , Jakob Nordström - KTH Royal Institute of Technology , Or Meir - University of Haifa , Susanna F. de Rezende - KTH Royal Institute of Technology

    12:30 PM – 2:00 PM

    Lunch

    2:00 PM – 2:30 PM

    UG-hardness to NP-hardness by Losing Half

    Subhash Khot - New York University (NYU) , Amey Bhangale - Weizmann Institute of Science

    2:30 PM – 3:00 PM

    Imperfect Gaps in Gap-ETH and PCPs

    Nikhil Vyas - Massachusetts Institute of Technology , Mitali Bafna - Harvard University

    3:00 PM – 3:30 PM

    Optimal Short-Circuit Resilient Formulas

    Michael Yitayew - McGill University , Ran Gelles - Bar-Ilan University , Klim Efremenko - University of California, Berkeley , Mark Braverman - Princeton University

    3:30 PM – 4:00 PM

    Break

    4:00 PM – 4:30 PM

    From DNF Compression to Sunflower Theorems via Regularity

    Jiapeng Zhang - University of California, San Diego , Noam Solomon - Massachusetts Institute of Technology , Shachar Lovett - University of California, San Diego

    4:30 PM – 5:00 PM

    Criticality of Regular Formulas

    Benjamin Rossman - University of Toronto

    5:00 PM – 5:30 PM

    Parity Helps to Compute Majority

    Srikanth Srinivasan - Indian Institute of Technology , Rahul Santhanam - University of Oxford , Igor Carboni Oliveira - University of Oxford

    5:30 PM – 5:35 PM

    End of the Conference

  • Sponsors: Computational Complexity Foundation || Rutgers University Department of Computer Science
  • Audiences: General Research