Lectures Schedule
Legend |
|
|
|
|---|
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 | |||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Sunday 12 | Welcome coffee |
| Coffee break |
| Lunch |
|
| Coffee break |
|
Monday, June 13 to Friday, June 17, regular schedule
Time |
|---|
This is the home of the SAT/SMT Solver Summer School 2011 space.
To help you on your way, we've inserted some of our favourite macros on this home page. As you start creating pages, adding news items and commenting you'll see the macros below fill up with all the activity in your space.
Lecturers
Lectures
Time | Sunday 12 | Monday 13 | Tuesday 14 | Wed. 15 | Thursday 16 | Friday 17 |
|---|---|---|---|---|---|---|
9-10 |
|
|
|
|
|
|
...
Class Website on MIT Stellar Course Site
UCLID's Elements: Term-Level Verification and SMT Solving
| Column | ||
|---|---|---|
| ||
|
...
| width | 5% |
|---|
...
| width | 35% |
|---|
...
Navigate space
...
| Page Tree Search |
|---|
...