Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
11 Grants
Formal Methods for Stochastic Models: Algorithms and Applications (ForM-SMArt)
2020-10-01 – 2025-09-30
H2020
Quantitative Graph Games: Theory and Applications (GraphGames)
2011-12-01 – 2016-11-30
FP7
2011-03-01 – 2015-02-28
FWF
2011-09-01 – 2015-08-31
FWF
2015-03-01 – 2019-08-31
FWF
2011-04-01 – 2021-03-31
2016-03-15 – 2020-03-14
2018-09-01 – 2019-05-31
2019-06-01 – 2021-11-30
2022-11-01 – 2023-04-30