Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
formal [2013/05/09 19:47] 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: | ||
| Line 38: | Line 34: | ||
| * [[http://www.science-park.ch/index.php|Science Park]] at EPFL | * [[http://www.science-park.ch/index.php|Science Park]] at EPFL | ||
| * [[http://www.vaud.ch/en/our-services/companies/relocating/|Establishing your enterprise in the canton of Vaud]] | * [[http://www.vaud.ch/en/our-services/companies/relocating/|Establishing your enterprise in the canton of Vaud]] | ||
| - | |||
| - | Further | ||
| - | * [[http://lara.epfl.ch/w/cfm|Communications in Formal Methods]] | ||