This is an old revision of the document!
Formal Methods @ EPFL
Upcoming conferences:
- 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:
Groups:
Selection of ICT companies:
Innovation Environment
- Innovation and Technology Transfer at EPFL, email: partnership@epfl.ch
- Science Park at EPFL
Further