Skip to main content
Search
Utility navigation
Calendar
Contact
Login
MAKE A GIFT
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
Extended Reunion: Satisfiability
Monday, Mar. 13
–
Friday, May 12, 2023
Breadcrumb
Home
Programs & Events
Workshops
Secondary tabs
About
Workshops
ToniCS: Celebrating the Contributions and Influence of Toniann Pitassi
Monday, Mar. 27
–
Wednesday, Mar. 29, 2023
ToniCS: Celebrating the Contributions and Influence of Toniann Pitassi
Image
Antonina Kolokolova
(Memorial University of Newfoundland; chair)
Image
Paul Beame
(University of Washington)
Image
Jeff Edmonds
(York University)
Image
Ian Mertz
(University of Toronto)
Image
Robert Robere
(McGill University)
Satisfiability: Theory, Practice, and Beyond
Monday, Apr. 17
–
Friday, Apr. 21, 2023
Satisfiability: Theory, Practice, and Beyond
Image
Jakob Nordström
(University of Copenhagen & Lund University; chair)
Image
Ciaran McCreesh
(University of Glasgow)
Image
Kuldeep S. Meel
(University of Toronto)
Image
Martina Seidl
(Johannes Kepler University Linz)
Share this page
Copy URL of this page
link to homepage
Close
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
Close
Search
