Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Migration of unmigrated content due to installation of a new plugin

...

Lectures

...

Schedule

...

Legend

Background Color
colorblue
Category 1: Foundational Aspects of SAT/SMT

...

Solvers

...

Background Color
coloryellow
Category 2: Description of SAT/SMT

...

Solvers

...

with

...

tight

...

focus

...

on

...

an

...

application

...

Background Color
colororange
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

...

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

Time

Monday 13

Tuesday 14

Wed. 15

Thursday 16

Friday 17

08:30-09:30

...

...

...

Coffee

...

break

...

Coffee

...

break

...

Coffee

...

break

...

Coffee

...

break

...

Coffee

...

break

11:15-12:30

...

...

Lunch

Lunch

Lunch

Lunch

Lunch

14:00-15:00

...

...

Class Website on MIT Stellar Course Site

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