===== LARA Funding =====

EPFL Laboratory for Automated Reasoning and Analysis is supported by the funding from 
  * [[http://ic.epfl.ch|EPFL School of Computer and Communication Sciences]]
  * [[http://www.snf.ch/|Swiss National Science Foundation]]

Past funding support includes:
  * [[http://erc.europa.eu/|European Research Council (ERC)]], which funded the [[impro|Implicit Programming]] project
  * [[http://www.microsoft.com/switzerland/academiczone/de/ices/default.mspx|Microsoft Innovation Cluster for Embedded Software]]
  * [[http://www.cost.eu|European Cooperation in Science and Technology]]