...
Welcome to the First International SAT/SMT
...
Summer School 2011
...
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
...
Lecturers
Lecture Schedule
Time | Sunday 12 | Monday 13 | Tuesday 14 | Wed. 15 | Thursday 16 | Friday 17 |
|---|---|---|---|---|---|---|
08:30-09:30 |
|
|
|
|
|
|
09:30-10h00 | Coffee break | |||||
10:00-11:00 |
|
|
|
|
|
|
11:15-12:15 |
|
|
|
|
|
|
14:00-15:00 |
|
|
|
|
|
|
15:15-16:15 |
|
|
|
|
|
|
16:15-16:45 | Coffee break | |||||
16:45-17:45 |
|
|
|
|
|
|
...