Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
formal [2013/01/16 12:39] vkuncak |
formal [2013/11/29 22:24] vkuncak |
||
---|---|---|---|
Line 2: | Line 2: | ||
Upcoming conferences: | Upcoming conferences: | ||
- | * [[http://www.cs.utexas.edu/~hunt/FMCAD/FMCAD13/|Formal Methods in Computer-Aided Design 2013]] with MEMOCODE 2013, 18-23 October 2013 | + | * [[http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD14/index.shtml|Formal Methods in Computer-Aided Design 2014, 21-24 October 2014]] |
- | * 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: | ||
* [[http://lara.epfl.ch|Automated Reasoning and Analysis Lab]] | * [[http://lara.epfl.ch|Automated Reasoning and Analysis Lab]] | ||
- | * [[http://www-verimag.imag.fr/~jobstman/|Barbara Jobstmann]] | + | * [[http://people.epfl.ch/barbara.jobstmann|Barbara Jobstmann]] |
* [[http://lca.epfl.ch/|Communications and Applications Laboratory]] | * [[http://lca.epfl.ch/|Communications and Applications Laboratory]] | ||
* [[http://data.epfl.ch/|Data Analysis Theory and Applications Laboratory]] | * [[http://data.epfl.ch/|Data Analysis Theory and Applications Laboratory]] | ||
Line 38: | Line 38: | ||
* [[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]] | ||
- | |||