LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
formal [2013/05/09 22:55]
vkuncak
formal [2014/11/04 11:50]
vkuncak
Line 1: Line 1:
 ====== Formal Methods @ EPFL ====== ====== Formal Methods @ EPFL ======
- 
-Upcoming conferences:​ 
-  * [[http://​www.cs.utexas.edu/​~hunt/​FMCAD/​FMCAD13/​|Formal Methods in Computer-Aided Design 2013]] with MEMOCODE 2013, 18-23 October 2013 
-  * Formal Methods in Computer-Aided Design 2014, 21-24 October 2014 
  
 EPFL conducts research in formal methods, focusing on **tools** and **algorithms** for **construction** of reliable and efficient software and hardware: EPFL conducts research in formal methods, focusing on **tools** and **algorithms** for **construction** of reliable and efficient software and hardware: