Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

sav08:homework07 [2008/04/10 19:29]
vkuncak
sav08:homework07 [2008/04/11 09:58] (current)
vkuncak
Line 7: Line 7:
 You may use current implementation homeworks as the starting point. You may use current implementation homeworks as the starting point.
  
-list of possible [[project suggestions]] ​will appear here soon, but you are free to choose your own.+Here is a list of possible [[project suggestions]],​ but you are free to choose your own.
  
 Submit a project proposal of length 200-1000 words. ​ Summarize project goal, why it is interesting,​ how you plan to solve it, and the difficulties you expect to encounter. Submit a project proposal of length 200-1000 words. ​ Summarize project goal, why it is interesting,​ how you plan to solve it, and the difficulties you expect to encounter.
 
sav08/homework07.txt · Last modified: 2008/04/11 09:58 by vkuncak
 
© EPFL 2018 - Legal notice