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
    • 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
    • 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
Satisfiability_hi-res-logo

ToniCS: Celebrating the Contributions and Influence of Toniann Pitassi

Program
Extended Reunion: Satisfiability
Location

All events take place in the Calvin Lab auditorium.

Date
Monday, Mar. 27 – Wednesday, Mar. 29, 2023
Back to calendar

Breadcrumb

  1. Home
  2. Workshop & Symposia
  3. Videos

Secondary tabs

  • The Workshop
  • Schedule
  • Videos
Remote video URL

In Search of the Ideal: Toni Pitassi and her work on Algebraic Proof Systems

Visit talk page
Remote video URL

Toni Counts, Continually!

Visit talk page
Remote video URL

Extension-Based Proofs

Visit talk page
Remote video URL

Theory and Practice: Some Things I Learned About Computation and Life From Toni Pitassi

Visit talk page
Remote video URL

How to Solve Math Problems Without Talent

Visit talk page
Remote video URL

On Extended Frege Proofs

Visit talk page
Remote video URL

Working with Toni in Algebraic Proof Complexity

Visit talk page
Remote video URL

Open Problems that Baffled Toni (so far)

Visit talk page
Remote video URL

My Collaborations with Toni Pitassi

Visit talk page
Remote video URL

Inspiration

Visit talk page

Pagination

  • Current page 1
  • Page 2
  • Next page Next
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
  • Accessibility

Footer social media

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

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
    • 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