You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 70 Next »

First International SAT/SMT Summer School 2011">Welcome to the First International SAT/SMT Summer School 2011

Lectures Schedule

Time

08:30-08:45

08-45:09:45

09:45-10:15

10:15-11:15

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

Opening (Vijay Ganesh)

Coffee break

Lunch

Unknown macro: {bgcolor}

SMT-LIB Initiative (Cesare Tinelli)

Coffee break

Time

Monday 13

Tuesday 14

Wed. 15

Thursday 16

Friday 17

08:30-09:30

Unknown macro: {bgcolor}

TBA (Sharad Malik)

Unknown macro: {bgcolor}

Complexity Theoretic Aspects of the Boolean SAT Problem

Unknown macro: {bgcolor}

SAT solving in AI (Henry Kautz)

Unknown macro: {bgcolor}

Proof Complexity and Complexity of SAT Solvers

09:30-10:00

Coffee break

Coffee break

Coffee break

Coffee break

Coffee break

10:00-11:00

Unknown macro: {bgcolor}

BitBlaze & WebBlaze: Tools for computer security using SMT Solvers (Dawn Song & Prateek Saxena)

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}

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

14:00-15:00

Unknown macro: {bgcolor}

SAT-based Model-Checking (Armin Biere)

Unknown macro: {bgcolor}

Liquid Types: SMT Solver-based Types

Unknown macro: {bgcolor}

Empirical Complexity (Holger Hoos)


15:15-16:15

Unknown macro: {bgcolor}

CVC3 and Applications (Clark Barrett)

Unknown macro: {bgcolor}

UCLID and Applications

16:15-16:45

Coffee break

Coffee break

Coffee break

Coffee break

Coffee break

16:45-17:45

Unknown macro: {bgcolor}

[Parallelized Software Testing at Scale using SMT Solvers]

Class Website on MIT Stellar Course Site">Class Website on MIT Stellar Course Site

  • No labels