Lab for Automated Reasoning and Analysis LARA

Lecture 27: Project presentations

See and update SAV07 Projects page.

Presentations will start promptly at 14:15. Please come a few minutes earlier to prepare.

Each talk will be 15 minutes, followed by 5 minute questions and break. Times will be strictly enforced, so make sure your presentations finishes in 15 minutes.

sav07_lecture_27.txt · Last modified: 2007/06/15 12:24 by vkuncak
© EPFL 2018 - Legal notice