Differences
This shows you the differences between two versions of the page.
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: |