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
Accessibility
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: Theory, Practice, and Beyond Boot Camp
Program
Satisfiability: Theory, Practice, and Beyond
Location
Zoom
Date
Monday, Feb. 1
–
Friday, Feb. 5, 2021
Back to calendar
Breadcrumb
Home
Workshop & Symposia
Schedule
Secondary tabs
The Workshop
Schedule
Videos
All times are listed in PST.
Monday, Feb. 1, 2021
8:20
–
8:30 a.m.
Introductions
8:30
–
10:30 a.m.
SAT-Centered Complexity Theory
Valentine Kabanets (Simon Fraser University)
Video
8:30
–
10:30 a.m.
SAT-Centered Complexity Theory
Valentine Kabanets (Simon Fraser University)
Video
8:30
–
10:30 a.m.
SAT-Centered Complexity Theory
Valentine Kabanets (Simon Fraser University)
Video
8:30
–
10:30 a.m.
SAT-Centered Complexity Theory
Valentine Kabanets (Simon Fraser University)
Video
8:30
–
10:30 a.m.
SAT-Centered Complexity Theory
Valentine Kabanets (Simon Fraser University)
Video
8:30
–
10:30 a.m.
SAT-Centered Complexity Theory
Valentine Kabanets (Simon Fraser University)
Video
8:30
–
10:30 a.m.
SAT-Centered Complexity Theory
Valentine Kabanets (Simon Fraser University)
Video
Tuesday, Feb. 2, 2021
8:30
–
10:30 a.m.
SAT-Solving
Armin Biere (Johannes Kepler University)
Video
8:30
–
10:30 a.m.
SAT-Solving
Armin Biere (Johannes Kepler University)
Video
Wednesday, Feb. 3, 2021
8:30
–
10:30 a.m.
Proof Complexity
Sam Buss (UC San Diego)
Video
8:30
–
10:30 a.m.
Proof Complexity
Sam Buss (UC San Diego)
Video
8:30
–
10:30 a.m.
Proof Complexity
Sam Buss (UC San Diego)
Video
8:30
–
10:30 a.m.
Proof Complexity
Sam Buss (UC San Diego)
Video
8:30
–
10:30 a.m.
Proof Complexity
Sam Buss (UC San Diego)
Video
Thursday, Feb. 4, 2021
8:30
–
10:30 a.m.
Pseudo-Boolean Solving and Optimization
Jakob Nordström (University of Copenhagen & Lund University)
Video
8:30
–
10:30 a.m.
Pseudo-Boolean Solving and Optimization
Jakob Nordström (University of Copenhagen & Lund University)
Video
8:30
–
10:30 a.m.
Pseudo-Boolean Solving and Optimization
Jakob Nordström (University of Copenhagen & Lund University)
Video
8:30
–
10:30 a.m.
Pseudo-Boolean Solving and Optimization
Jakob Nordström (University of Copenhagen & Lund University)
Video
8:30
–
10:30 a.m.
Pseudo-Boolean Solving and Optimization
Jakob Nordström (University of Copenhagen & Lund University)
Video
Friday, Feb. 5, 2021
8:30
–
9:30 a.m.
Approximate Counting and Sampling
Kuldeep Meel (National University of Singapore)
Video
9:30
–
10:30 a.m.
Programming Z3
Nikolaj Björner (Microsoft Research)
Video
10:30
–
11:30 a.m.
Using SAT Solvers to Prevent Causal Failures in the Cloud
Ruzica Piskac (Yale University)
Video
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
Accessibility
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
