[Theory] UC Theory Seminar

Tue Nov 4 09:09:03 CST 2025

Marco Carmosino
International Business Machines (IBM)
 

  
Tuesday, November 11, 2025, at 3:30pm
Kent Chemical Laboratory, Room 102
 
 
 
Title: Constructive Complexity Theory
 
 
Abstract: Why do the main questions of complexity theory remain open after decades of intensive research?  This talk surveys exciting new results and tools that are beginning to explain the inherent difficulty of open questions in complexity theory.  We formulate complexity theory as a collection of computational problems, and explore the inherent difficulty of designing efficient algorithms to solve these problems.  Surprisingly, "algorithmic" solutions to major open problems in complexity (including P vs. NP) are necessarily algorithmic.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.cs.uchicago.edu/pipermail/theory/attachments/20251104/6fc36fc0/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image001.png
Type: image/png
Size: 1948989 bytes
Desc: not available
URL: <http://mailman.cs.uchicago.edu/pipermail/theory/attachments/20251104/6fc36fc0/attachment-0001.png>