SSFT15 Schedule
All Classes and Labs are in Brauner Hall
Lectures -
Labs -
Invited Talks
Sun May 17: Speaking Logic: Shankar
| 0900 | Proofs and Things |
| 1000 | Break |
| 1030 | Propositional Logic |
| 1200 | Lunch |
| 1330 | First and Higher-order Logic |
| 1530 | Verification Methods |
| 1700 | Dinner |
| 1800 | Teme Kahsai |
Mon May 18 - Fri May 22
| Mon | Tue | Wed | Thu | Fri |
|---|
| 0830 | Harrison 1 | Larsen 1 | Jacobs 2 | Gurfinkel 2 | Larsen2a/Meadows2b |
| 1000 | Break | Break | Break | Break | Break |
| 1030 | Jacobs 1 | Harrison 2 | Meadows 2 | Larsen 2 | Jacobs2a/Harrison2b |
| 1200 | Lunch | Lunch | Lunch | Lunch | Lunch |
| 1330 | Meadows 1 | Gurfinkel 1 | Jacobs1a/Harrison1b | Meadows1b/Gurfinkel1a | Meadows2a/Gurfinkel2b |
| 1530 | Harrison1a/Jacobs1b | Meadows1a/Larsen1b | Larsen1a/Gurfinkel1b | Harrison2a/Jacobs2b | Gurfinkel2a/Larsen2b |
| 1700 | Dinner | Dinner | Dinner | | |
| 1800 | Dana Scott | Dana Scott | Mariana Raykova | | |
| 1830 | Banquet | |