Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
funding [2012/08/15 16:03] vkuncak |
funding [2019/09/18 10:58] 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)]] | ||
| * [[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]] | ||