| 08:45 - 09:00 | Welcoming Remarks |
| 09:00 - 10:00 | Andrew Appel - Keynote Address |
| 10:00 - 10:30 | Break |
| 10:30 - 11:00 | Amal Ahmed |
| 11:00 - 11:30 | Ricardo Medel |
| 11:30 - 12:00 | Dachuan Yu |
| 12:00 - 13:30 | Lunch |
| 13:30 - 14:30 | Poster Session |
| 14:30 - 15:30 | Ian Stark - Keynote Address |
| 15:30 - 16:00 | Break |
| 16:00 - 16:30 | Gilles Barthe |
| 16:30 - 17:00 | Zhong Shao |