LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
funding [2012/08/15 16:03]
vkuncak
funding [2019/09/18 11:01]
vkuncak
Line 2: Line 2:
  
 EPFL Laboratory for Automated Reasoning and Analysis is supported by the funding from  EPFL Laboratory for Automated Reasoning and Analysis is supported by the funding from 
-  * [[http://​erc.europa.eu/​|European Research Council (ERC)]] 
   * [[http://​ic.epfl.ch|EPFL School of Computer and Communication Sciences]]   * [[http://​ic.epfl.ch|EPFL School of Computer and Communication Sciences]]
   * [[http://​www.snf.ch/​|Swiss National Science Foundation]]   * [[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.microsoft.com/​switzerland/​academiczone/​de/​ices/​default.mspx|Microsoft Innovation Cluster for Embedded Software]]
   * [[http://​www.cost.eu|European Cooperation in Science and Technology]]   * [[http://​www.cost.eu|European Cooperation in Science and Technology]]