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

Compare with Current View Page History

« Previous Version 96 Next »

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

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 for single speaker, and one hour fifteen minutes for two speakers.

Sunday, May 12, specific 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

May 13-17, regular schedule

Time

Monday 13

Tuesday 14

Wed. 15

Thursday 16

Friday 17

08:30-09:30

Unknown macro: {bgcolor}

TBA (Sharad Malik)

Unknown macro: {bgcolor}

SAT solving in AI (Henry Kautz)

09:30-10:00

Coffee break

Coffee break

Coffee break

Coffee break

Coffee break

10:00-11:00

Unknown macro: {bgcolor}

Yices and Applications (Bruno Dutertre)

11:15-12:15/12:30

12:15/12-30-14:00

Lunch

Lunch

Lunch

Lunch

Lunch

14:00-15:00

Unknown macro: {bgcolor}

SAT-based Model-Checking (Armin Biere)

Unknown macro: {bgcolor}

Empirical Complexity (Holger Hoos)

15:15-16:15

Unknown macro: {bgcolor}

CVC3 and Applications (Clark Barrett)

16:15-16:45

Coffee break

Coffee break

Coffee break

Coffee break

Coffee break

16:45-17h45/18:00

Unknown macro: {bgcolor}

[Parallelized Software Testing at Scale using SMT Solvers (Stefan Bucur & George Candea)]


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

  • No labels