Lab for Automated Reasoning and Analysis LARA

Project Presentations: Round 2

Location: BC 355 (3rd floor)

Starting time: 14:05

Present the current results from your project while making it understandable for everyone.

Everyone has 15-20 minute presentation (uninterrupted) + 5 minute questions

SAV09 Projects

 
sav09/exercises_15.txt · Last modified: 2009/05/29 13:18 by vkuncak
 
© EPFL 2018 - Legal notice