Skip to main content

Utility navigation

  • Calendar
  • Contact
  • Login
  • Make a Gift
Berkeley University of California
Home Home

Main navigation

  • Home
  • Programs & Events
    • Research Programs
    • Research Pods
    • Workshops & Symposia
    • Public Lectures
    • Internal Program Activities
  • 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
    • Ways to Participate
    • Plan Your Visit
    • Location & Directions
    • Postdoctoral Research Fellowships
    • Law and Society Fellowships
    • Science Communicator in Residence Program
  • Support
    • Annual Fund
    • Funders
    • Industrial Partnerships
    • Academic Partnerships
  • News & Videos
    • News
    • Videos
  • About
Homepage lighter banner test 4

Simons Institute for the Theory of Computing

Richard M Karp_ Floris Geerts_Lecture Banner

The Power of Graph Learning

Richard M. Karp Distinguished Lecture
Floris Geerts (University of Antwerp)
Tuesday, October 3
3:30 – 4:30 p.m. PT

Details
Vijay V. Vazirani Lecture Graphic

A Theory of Alternating Paths and Blossoms, from...

Vijay Vazirani (University of California, Irvine)
Wednesday, October 4
2 – 4:30 p.m. PT

Details
Leonardo de Moura_Web Banner

Machine-Checked Proofs and the Rise of Formal...

Theoretically Speaking
Leonardo de Moura (AWS)
Thursday, October 5
5:30 – 7 p.m. PT

Details

Upcoming events alert bar

Next:
Oct. 2, 2023 | 11 a.m. – 12:30 p.m.

Calvin Lab CR116

Weekly Seminar: Logic and Algorithms in Database...

View

Upcoming Events

Workshops & Symposia Internal Program Activities Public Lectures
All Workshops & Symposia
Workshops & Symposia
Sketching and Algorithm Design
Oct. 9 – 13, 2023
Sketching and Algorithm Design
Program
Data Structures and Optimization for Fast Algorithms
Details of Sketching and Algorithm Design View Schedule
Probabilistic Circuits and Logic
Oct. 16 – 20, 2023
Probabilistic Circuits and Logic
Program
Logic and Algorithms in Database Theory and AI
Details of Probabilistic Circuits and Logic View Schedule
Online and Matching-Based Market Design
Oct. 26 – 27, 2023
Online and Matching-Based Market Design
Details of Online and Matching-Based Market Design
All Internal Program Activities
Other Events
Weekly Seminar: Logic and Algorithms in Database Theory and AI program
Monday, Oct. 2, 2023 | 11 a.m. – 12:30 p.m.
Weekly Seminar: Logic and Algorithms in Database Theory and AI program
Program
Logic and Algorithms in Database Theory and AI
Details of Weekly Seminar: Logic and Algorithms in Database Theory and AI program
Informal Blackboard Talk
Monday, Oct. 2, 2023 | 1 – 3 p.m.
Informal Blackboard Talk
Program
Data Structures and Optimization for Fast Algorithms
Details of Informal Blackboard Talk
Weekly Open Problem Session
Monday, Oct. 2, 2023 | 3 – 4 p.m.
Weekly Open Problem Session
Program
Data Structures and Optimization for Fast Algorithms
Details of Weekly Open Problem Session
All Public Lectures
The Power of Graph Learning | Richard M. Karp Distinguished Lecture Richard M Karp_ Floris Geerts_Lecture Banner
Tuesday, Oct. 3, 2023 | 3:30 – 4:30 p.m.
The Power of Graph Learning | Richard M. Karp Distinguished Lecture
Speaker: Floris Geerts (University of Antwerp)
Details of The Power of Graph Learning | Richard M. Karp Distinguished Lecture
A Theory of Alternating Paths and Blossoms, from the Perspective of Minimum Length Vijay V. Vazirani Lecture_Medium Resolution
Wednesday, Oct. 4, 2023 | 2 – 4:30 p.m.
A Theory of Alternating Paths and Blossoms, from the Perspective of Minimum Length
Speaker: Vijay V. Vazirani (University of California, Irvine)
Details of A Theory of Alternating Paths and Blossoms, from the Perspective of Minimum Length
Machine-Checked Proofs and the Rise of Formal Methods in Mathematics | Theoretically Speaking Leonardo de Moura_Web Banner
Thursday, Oct. 5, 2023 | 5:30 – 7 p.m.
Machine-Checked Proofs and the Rise of Formal Methods in Mathematics | Theoretically Speaking
Speaker: Leonardo de Moura (AWS)
Details of Machine-Checked Proofs and the Rise of Formal Methods in Mathematics | Theoretically Speaking
News
All News
Can we talk to Whales?
Can we talk to Whales?

Researchers believe that artificial intelligence may allow us to speak to other species (The New Yorker).

Read Can we talk to Whales?
Sept. 4, 2023
Theory at the Institute and Beyond, July 2023
Two hands typing at laptop computer whose screen shows a polytope with a point inside it. Beside the laptop is a book with "Polynomial-Time Pseudodeterministic Construction of Primes" on its cover.
Theory at the Institute and Beyond, July 2023
One might recall that one of the inaugural programs hosted by the Simons Institute, back in Fall 2013, was Real...
Read about Theory at the Institute and Beyond, July 2023
July 25, 2023
Letter from the Director, July 2023
Letter from the Director, July 2023

Greetings from Berkeley! Summer programs are in full swing at the Simons Institute and it’s been great to see and...

Read about Letter from the Director, July 2023
July 24, 2023
Current Programs
All programs
Logic and Algorithms in Database Theory and AI
Aug. 16 – Dec. 15, 2023

Logic and Algorithms in Database Theory and AI

Explore about Logic and Algorithms in Database Theory and AI
Organizers
+2
Hung Ngo, Sudeepa Roy and 3 more
Explore about Logic and Algorithms in Database Theory and AI
Aug. 16 – Dec. 15, 2023
Data Structures and Optimization for Fast Algorithms
Aug. 16 – Dec. 15, 2023

Data Structures and Optimization for Fast Algorithms

Explore about Data Structures and Optimization for Fast Algorithms
Organizers
Monika Henzinger
+2
Alina Ene, Monika Henzinger and 3 more
Explore about Data Structures and Optimization for Fast Algorithms
Aug. 16 – Dec. 15, 2023
Research Pods

Machine Learning Research Pod

Machine Learning Research Pod

Learn more about

Machine Learning Research Pod

Researchers
+8
Yuval Dagan, Keaton Ellis and 9 more
Learn more about

Machine Learning Research Pod

Quantum Research Pod

Quantum Research Pod

Learn more about

Quantum Research Pod

Researchers
+3
Nilin Abrahamsen, Uma Girish and 4 more
Learn more about

Quantum Research Pod

Future Programs

Error-Correcting Codes: Theory and Practice

Error-Correcting Codes: Theory and Practice Logo
Jan. 9 – May 10, 2024

Error-Correcting Codes: Theory and Practice

Quantum Algorithms, Complexity, and Fault Tolerance

Error-Correcting Codes: Theory and Practice Logo
Jan. 9 – May 10, 2024

Quantum Algorithms, Complexity, and Fault Tolerance

Sublinear Algorithms

May 20 – Aug. 9, 2024

Sublinear Algorithms

Extended Reunion: Theoretical Foundations of Computer...

July 1 – Aug. 9, 2024

Extended Reunion: Theoretical Foundations of Computer...

Modern Paradigms in Generalization

Aug. 26 – Dec. 13, 2024

Modern Paradigms in Generalization

SimonsTV
All Videos

Music Generation via Masked Acoustic Token Modeling

Watch Music Generation via Masked Acoustic Token Modeling Opens in a new tab

Parallel Discrete Sampling via Continuous Walks

Watch Parallel Discrete Sampling via Continuous Walks Opens in a new tab

PCPs and Global Hyper-contractivity 2

Watch PCPs and Global Hyper-contractivity 2 Opens in a new tab

Multigroup Fairness | Polylogues

Watch Multigroup Fairness | Polylogues Opens in a new tab
Other announcements
COVID-19 Update

You should not come to campus if you have had any new and unusual symptoms of COVID-19 (not attributed to a previously known medical condition) in the last 24 hours. When on campus, masks are strongly recommended. Visitors are required to acquire masks for their daily use. A limited supply of masks is available at the institute for those who forget to bring a mask. 

If you test positive, follow the campus procedures described here. Note that visiting researchers should follow staff guidelines.

Visitors are responsible for acquiring COVID tests for their personal use. 

Participate

We are now accepting applications for Simons Quantum Postdoctoral Fellowships.

More information on how to participate in the life of the Institute. 

 

 

Related UC Berkeley Courses, Fall 2023

Topics in Database Theory (CS294-248)
Dan Suciu, Chancellor's Professor
Tuesday/Thursday, 11 a.m., Soda 606

Partition Functions: Algorithms & Complexity (CS294-180)
Alistair Sinclair
Tuesday/Thursday, 9:30 a.m., Soda 405

COVID-19 Update

You should not come to campus if you have had any new and unusual symptoms of COVID-19 (not attributed to a previously known medical condition) in the last 24 hours. When on campus, masks are strongly recommended. Visitors are required to acquire masks for their daily use. A limited supply of masks is available at the institute for those who forget to bring a mask. 

If you test positive, follow the campus procedures described here. Note that visiting researchers should follow staff guidelines.

Visitors are responsible for acquiring COVID tests for their personal use. 

Participate

We are now accepting applications for Simons Quantum Postdoctoral Fellowships.

More information on how to participate in the life of the Institute. 

 

 

Related UC Berkeley Courses, Fall 2023

Topics in Database Theory (CS294-248)
Dan Suciu, Chancellor's Professor
Tuesday/Thursday, 11 a.m., Soda 606

Partition Functions: Algorithms & Complexity (CS294-180)
Alistair Sinclair
Tuesday/Thursday, 9:30 a.m., Soda 405

Subscribe

Simons Institute news and events
Home
The Simons Institute for the Theory of Computing is the world's leading venue for collaborative research in theoretical computer science.

Footer

  • Programs & Events
  • About
  • Participate
  • Workshops & Symposia
  • Contact Us
  • Calendar

Footer social media

  • Twitter
  • Facebook
  • Youtube
© 2013–2023 Simons Institute for the Theory of Computing. All Rights Reserved.
link to homepage

Main navigation

  • Home
  • Programs & Events
    • Research Programs
    • Research Pods
    • Workshops & Symposia
    • Public Lectures
    • Internal Program Activities
  • 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
    • Ways to Participate
    • Plan Your Visit
    • Location & Directions
    • Postdoctoral Research Fellowships
    • Law and Society Fellowships
    • Science Communicator in Residence Program
  • Support
    • Annual Fund
    • Funders
    • Industrial Partnerships
    • Academic Partnerships
  • News & Videos
    • News
    • Videos
  • About

Utility navigation

  • Calendar
  • Contact
  • Login
  • Make a Gift
link to homepage