Skip to main content
Search
Utility navigation
Calendar
Contact
Login
MAKE A GIFT
Main navigation
Programs & Events
Research Programs
Workshops & Symposia
Public Lectures
Research Pods
Internal Program Activities
Algorithms, Society, and the Law
Participate
Apply to Participate
Propose a Program
Postdoctoral Research Fellowships
Law and Society Fellowships
Science Communicator in Residence Program
Circles
Breakthroughs Workshops and Goldwasser Exploratory Workshops
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
News & Videos
News
Videos
Support for the Institute
Annual Fund
All Funders
Institutional Partnerships
For Visitors
Visitor Guide
Plan Your Visit
Location & Directions
Accessibility
Building Access
IT Guide
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 | Satisfiability: Theory, Practice, and Beyond Boot Camp
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
Programs & Events
Research Programs
Workshops & Symposia
Public Lectures
Research Pods
Internal Program Activities
Algorithms, Society, and the Law
Participate
Apply to Participate
Propose a Program
Postdoctoral Research Fellowships
Law and Society Fellowships
Science Communicator in Residence Program
Circles
Breakthroughs Workshops and Goldwasser Exploratory Workshops
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
News & Videos
News
Videos
Support for the Institute
Annual Fund
All Funders
Institutional Partnerships
For Visitors
Visitor Guide
Plan Your Visit
Location & Directions
Accessibility
Building Access
IT Guide
About
Utility navigation
Calendar
Contact
Login
MAKE A GIFT
link to homepage
Close
Search
