First International SAT/SMT Summer School 2011
">Welcome to the First International SAT/SMT Summer School 2011
Lectures Schedule
Time |
Sunday 12 |
Monday 13 |
Tuesday 14 |
Wed. 15 |
Thursday 16 |
Friday 17 |
|---|---|---|---|---|---|---|
08:30-09:30 |
Unknown macro: {bgcolor} The P vs. NP Question and Gödel's Lost Letter (Richard Lipton) |
Unknown macro: {bgcolor} Independence Results for the P vs. NP Question (Shai Ben David) |
Unknown macro: {bgcolor} TBA (Sharad Malik) |
Unknown macro: {bgcolor} Complexity Theoretic Aspects of the Boolean SAT Problem |
SAT solving in AI (Henry Kautz) |
Unknown macro: {bgcolor} Proof Complexity and Complexity of SAT Solvers |
09:30-10h00 |
Coffee break |
Coffee break |
Coffee break |
Coffee break |
Coffee break |
Coffee break |
10:00-11:00 |
Unknown macro: {bgcolor} Foundations of Modern CDCL SAT Solver Implementation (Niklas Een) |
Unknown macro: {bgcolor} Modern SMT Solver Implementation (Leonardo De Moura& Nikolaj Bjorner) |
Unknown macro: {bgcolor} BitBlaze & WebBlaze: Tools for computer security using SMT Solvers (Dawn Song & Prateek Saxena) |
Unknown macro: {bgcolor} Approaches to Parallel SAT Solving (Youssef Hamadi) |
Unknown macro: {bgcolor} HAVOC: SMT solvers for precise and scalable reasoning of programs |
Unknown macro: {bgcolor} Harnessing SMT power using the verification engine Boogie |
11:15-12:15 |
Unknown macro: {bgcolor} Klee: An SMT Solver-based Dynamic Symbolic Testing Tool (Cristian Cadar) |
Unknown macro: {bgcolor} |
Unknown macro: {bgcolor} Yices and Applications |
Unknown macro: {bgcolor} Alloy/Kodkod and Applications (Emina Torlak) |
Unknown macro: {bgcolor} OpenSMT and Applications |
Unknown macro: {bgcolor} MathSAT and Applications |
12:15-14:00 |
Lunch |
Lunch |
Lunch |
Lunch |
Lunch |
Lunch |
14:00-15:00 |
Unknown macro: {bgcolor} |
Unknown macro: {bgcolor} Calculus of Data Structures for Verification and Synthesis (Viktor Kuncak) |
SAT-based Model-Checking (Armin Biere) |
Liquid Types: SMT Solver-based Types |
Empirical Complexity (Holger Hoos) |
|
15:15-16:15 |
Unknown macro: {bgcolor} |
Unknown macro: {bgcolor} |
SAT4J: pseudo-boolean optimization & dependency management problems |
|||
16:15-16:45 |
Coffee break |
Coffee break |
Coffee break |
Coffee break |
Coffee break |
Coffee break |
16:45-17:45 |
Unknown macro: {bgcolor} |
Unknown macro: {bgcolor} CEGAR+SMT: Formal Verification of Control Logic in the Reveal System (Karem Sakallah) |
[Parallelized Software Testing at Scale using SMT Solvers] |
Sketching: Program Synthesis using SAT Solvers (Armando Solar-Lezama) |