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