Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

cc18:labs_07 [2018/12/16 15:55]
georg.schmid
cc18:labs_07 [2018/12/16 15:56] (current)
georg.schmid
Line 24: Line 24:
  
 ===== Project Proposal ===== ===== Project Proposal =====
- 
-**Deadline: Sunday, Dec 16th 2018, 23h59** 
  
 When the bidding phase is over and a project has been assigned to your group, you should prepare an 8-10 minutes presentation containing: When the bidding phase is over and a project has been assigned to your group, you should prepare an 8-10 minutes presentation containing:
 
cc18/labs_07.txt · Last modified: 2018/12/16 15:56 by georg.schmid
 
© EPFL 2018 - Legal notice