Lectures Schedule
Legend | | Background Color |
|---|
| | Category 1: Foundational Aspects of SAT/SMT Solvers |
| | Background Color |
|---|
| | Category 2: Description of SAT/SMT Solvers with tight focus on an application |
| | Background Color |
|---|
| | Category 3: Description of tools using SAT/SMT Solvers |
|
|---|
Each lecture lasts one hour (1:00) for single speaker, and one hour fifteen minutes (1:15) for dual speakers.
Sunday, June 12, special schedule
Time | 08:30-09:30 | 09:30-10:00 | 10:00-11:00 | 11:00-11:30 | 11:30-12:30 | 12:30-14:00 | 14:00-15:00 | 15:15-16:15 | 16:15-16:45 | 16:45-17:45 |
|---|
Sunday 12 | Welcome coffee | Opening Remarks by Vijay Ganesh | | Coffee break | | Lunch | | | Coffee break | |
|---|
Monday, June 13 to Friday, June 17, regular schedule
Lecturers
Lecture Schedule
Time | Sunday 12 | Monday 13 | Tuesday 14 | Wed. 15 | Thursday 16 | Friday 17 |
|---|
08:30-09:30 | The P vs. NP Question and Gödel's Lost Letter (Richard Lipton) | | | | | |
|---|
09:30-10h00 | Coffee break |
| | | |
09:45-10:45 | | | | | |
|---|
10:45-11:15 | Coffee break | Coffee break | Coffee break | Coffee break | Coffee break |
|---|
11:15-12:30 | | 10:00-11:00 | Foundations of Modern CDCL SAT Solver Implementation (Niklas Een) DeMoura Nikolaj | | | | | 11:15-12:15 | Sketching: Program Synthesis using SAT Solvers (Armando Solar-Lezama) | | | | | | | | | |
|---|
12-30-14:00 | Lunch | Lunch | Lunch | Lunch | Lunch |
|---|
14:00-15:00 | 14:00-15:15 | SAT Solvers for Formal Verification (Ed Clarke) | | | | | | | | | |
|---|
15:15-16:15 | SMT-LIB Initiative (Cesare Tinelli) | | | | | 15:30-16:30 | | | | |
|---|
16:15-16:45 | 16:30-17:00
Coffee break | Coffee break | Coffee break | Coffee break | Coffee break |
|---|
16:45-17h45/18:00 | 17:45 | SMT Theory and DPLL(T) (Albert Oliveras) | | | | | |
|---|
...
UCLID's Elements: Term-Level Verification and SMT Solving
...
...
...
Navigate space
...
...