Lectures Schedule
Legend |
Unknown macro: {bgcolor} Category 1: Foundational Aspects of SAT/SMT Solvers |
Unknown macro: {bgcolor} Category 2: Description of SAT/SMT Solvers with tight focus on an application |
Unknown macro: {bgcolor} 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 |
Unknown macro: {bgcolor} Introduction to Satisfiability Solving with Practical Applications (Niklas Een) |
Coffee break |
Unknown macro: {bgcolor} |
Lunch |
Unknown macro: {bgcolor} |
Unknown macro: {bgcolor} |
Coffee break |
Unknown macro: {bgcolor} Constraint Solving Challenges in Dynamic Symbolic Execution (Cristian Cadar) |
