Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
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