(Tentative) Schedule
The full schedule will be released soon
Day 1 (Wednesday, August 6) - SAT
| Time |
Location |
Speaker |
Lecture |
| 08:50-09:00 |
Physics & Astronomy: Lecture Theatre B |
TBD |
TBD |
| 09:00-10:45 |
Physics & Astronomy: Lecture Theatre B |
TBD |
TBD |
| 10:45-11:15 |
(coffee break) |
|
|
| 11:15-13:00 |
Physics & Astronomy: Lecture Theatre B |
TBD |
TBD |
| 13:00-14:30 |
(lunch) |
|
|
| 14:30-16:15 |
Physics & Astronomy: Lecture Theatre B |
TBD |
TBD |
| 16:15-16:45 |
(coffee break) |
|
|
| 16:45-18:30 |
Physics & Astronomy: Lecture Theatre B |
TBD |
TBD |
Day 2 (Thursday, August 7) - SMT
| Time |
Location |
Speaker |
Lecture |
| 09:00-10:45 |
Physics & Astronomy: Lecture Theatre B |
TBD |
TBD |
| 10:45-11:15 |
(coffee break) |
|
|
| 11:15-13:00 |
Physics & Astronomy: Lecture Theatre B |
TBD |
TBD |
| 13:00-14:30 |
(lunch) |
|
|
| 14:30-16:15 |
Physics & Astronomy: Lecture Theatre B |
TBD |
TBD |
| 16:15-16:45 |
(coffee break) |
|
|
| 16:45-18:30 |
Physics & Astronomy: Lecture Theatre B |
TBD |
TBD |
Day 3 (Friday, August 8) - Automated Reasoning
| Time |
Location |
Speaker |
Lecture |
| 09:00-10:45 |
Physics & Astronomy: Lecture Theatre B |
TBD |
TBD |
| 10:45-11:15 |
(coffee break) |
|
|
| 11:15-13:00 |
Physics & Astronomy: Lecture Theatre B |
TBD |
TBD |
| 13:00-14:30 |
(lunch) |
|
|
| 14:30-16:15 |
Physics & Astronomy: Lecture Theatre B |
TBD |
TBD |
| 16:15-16:45 |
(coffee break) |
|
|
| 16:45-18:30 |
Physics & Astronomy: Lecture Theatre B |
TBD |
TBD |