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
    • Postdoctoral Research Fellowships
    • Law and Society Fellowships
    • Science Communicator in Residence Program
    • Plan Your Visit
  • Support
    • Annual Fund
    • Funders
    • Industrial Partnerships
    • Academic Partnerships
  • News & Videos
    • News
    • Videos
  • About
Satisfiability_hi-res-logo

Extended Reunion: Satisfiability

Monday, Mar. 13 – Friday, May 12, 2023

Breadcrumb

  1. Home
  2. Programs & Events
  3. Extended Reunion: Satisfiability

Secondary tabs

  • The Program
  • Workshops(active tab)
ToniCS: Celebrating the Contributions and Influence of Toniann Pitassi
Mar. 27 – 29, 2023
ToniCS: Celebrating the Contributions and Influence of Toniann Pitassi
Antonina Kolokolova (Memorial University of Newfoundland; chair)
Paul Beame (University of Washington)
Jeff Edmonds (York University)
Ian Mertz (University of Toronto)
Robert Robere (McGill University)
Details of ToniCS: Celebrating the Contributions and Influence of Toniann Pitassi Register
Satisfiability: Theory, Practice, and Beyond
Apr. 17 – 21, 2023
Satisfiability: Theory, Practice, and Beyond
Ciaran McCreesh (University of Glasgow; co-chair)
Kuldeep Singh Meel (National University of Singapore; co-chair)
Jakob Nordström (University of Copenhagen & Lund University; co-chair)
Martina Seidl (Johannes Kepler University Linz; co-chair)
Details of Satisfiability: Theory, Practice, and Beyond Register
Share this page
Copy URL of this page
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
    • Postdoctoral Research Fellowships
    • Law and Society Fellowships
    • Science Communicator in Residence Program
    • Plan Your Visit
  • Support
    • Annual Fund
    • Funders
    • Industrial Partnerships
    • Academic Partnerships
  • News & Videos
    • News
    • Videos
  • About

Utility navigation

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