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
formal [2013/11/29 22:24]
vkuncak
formal [2014/11/04 11:50] (current)
vkuncak
Line 1: Line 1:
 ====== Formal Methods @ EPFL ====== ====== Formal Methods @ EPFL ======
- 
-Upcoming conferences:​ 
-  * [[http://​www.cs.utexas.edu/​users/​hunt/​FMCAD/​FMCAD14/​index.shtml|Formal Methods in Computer-Aided Design 2014, 21-24 October 2014]] 
-    * collocated with MEMOCODE 2014, 19-21 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:
 
formal.txt · Last modified: 2014/11/04 11:50 by vkuncak
 
© EPFL 2018 - Legal notice