Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

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