Wrestling Complexity Workshop
Program Schedule
Friday, May 12, 2023
in CSE 1202 except as noted
in CSE 1202 except as noted
Click on talk titles to view videos (when available).
Click on author names to see abstracts.
8:30am
Continental Breakfast
Continental Breakfast
Abstract: I will describe some insights in Russell's early papers, which became essential to our understanding of (many aspects of) computational complexity.
9:30 - 10:00am
Leonid Levin, Boston University (via Zoom)
Title: How do we succeed in tasks like proving Fermat's Theorem or predicting the Higgs boson?
Leonid Levin, Boston University (via Zoom)
Title: How do we succeed in tasks like proving Fermat's Theorem or predicting the Higgs boson?
Abstract: I discuss issues of inverting feasibly computable functions, optimal discovery algorithms, and the constant overheads in their performance.
10:00 - 10:30am
BREAK
BREAK
10:30 - 11:30am
Lenore & Manuel Blum, CMU & UC Berkeley (hybrid)
Title: Consciousness through a Theoretical Computer Science Lens
Lenore & Manuel Blum, CMU & UC Berkeley (hybrid)
Title: Consciousness through a Theoretical Computer Science Lens
Abstract: The Conscious Turing Machine (CTM) is a simple formal TCS model sufficiently powerful to explain, at a high level, many phenomena generally associated with consciousness. Explanations derived from the model draw confirmation from consistencies at a high level (well above the level of neurons) with the cognitive neuroscience literature.
The CTM provides a natural framework for Artificial General Intelligence (AGI).
Our talk will describe the CTM, give the rationale for several of its design choices, and give a taste for how the TCS perspective provides insight.
11:30 - 1:00pm
LUNCH
Front of CSE Building
LUNCH
Front of CSE Building
1:00 - 1:45pm
Ryan Williams, MIT
Title: Wrasslin' with Fine-Grained Complexity
Ryan Williams, MIT
Title: Wrasslin' with Fine-Grained Complexity
Abstract: TBA
1:45 - 2:30pm
Paul Beame, Univ. of Washington
Title: The Shift: Reflections on research with Russell
Paul Beame, Univ. of Washington
Title: The Shift: Reflections on research with Russell
Abstract: TBA
2:30 - 3:00pm
BREAK
BREAK
Abstract: In this talk, we will explore several problems related to card guessing. In particular, how much memory is required in order to: (i) guess cards as well as the best player, (ii) play the Mirror Game and (ii) to generate a hard to guess permutation.
3:45 - 4:15pm
BREAK
BREAK
4:15 - 5:00pm
Marco Carmosino, IBM
Title: A Personal View Of A Personal View Of Average-Case Complexity
Marco Carmosino, IBM
Title: A Personal View Of A Personal View Of Average-Case Complexity
Abstract: Russell's "five worlds" framed my research on computational learning theory, but were never mentioned explicitly in any of our joint papers. I will explain the "five worlds" perspective on learning, describe working with Russell, and give a brief status update regarding each world.
5:00 - 6:00pm
RECEPTION
CSE Courtyard
RECEPTION
CSE Courtyard
6:00pm - 7:00pm
Russell Impagliazzo and Desiree Blue, featuring Larry Carter as ChatGPT
IMPROV on Stage - CSE 1202
Russell Impagliazzo and Desiree Blue, featuring Larry Carter as ChatGPT
IMPROV on Stage - CSE 1202