Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
funding [2012/08/15 16:03] vkuncak created |
funding [2019/09/18 11:01] (current) 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 | ||
- | * 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]] | ||