Differences
This shows you the differences between two versions of the page.
| Next revision Both sides next revision | |||
|
funding [2012/08/15 16:03] vkuncak created |
funding [2012/08/15 16:03] 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://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]] | ||