Lectures Schedule

Legend

Category 1: Foundational Aspects of SAT/SMT Solvers

Category 2: Description of SAT/SMT Solvers with tight focus on an application

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

Monday, June 13 to Friday, June 17, regular schedule

Time

Monday 13

Tuesday 14

Wed. 15

Thursday 16

Friday 17

08:30-09:30

09:45-10:45

10:45-11:15

Coffee break

Coffee break

Coffee break

Coffee break

Coffee break

11:15-12:30

12-30-14:00

Lunch

Lunch

Lunch

Lunch

Lunch

14:00-15:00

14:00-15:15

15:15-16:15

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:00-18:00

Class Website on MIT Stellar Course Site

UCLID's Elements: Term-Level Verification and SMT Solving

  • No labels