Opendata, web and dolomites

ForM-SMArt SIGNED

Formal Methods for Stochastic Models: Algorithms and Applications

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

Project "ForM-SMArt" data sheet

The following table provides information about the project.

Coordinator
INSTITUTE OF SCIENCE AND TECHNOLOGY AUSTRIA 

Organization address
address: Am Campus 1
city: KLOSTERNEUBURG
postcode: 3400
website: www.ist.ac.at

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country Austria [AT]
 Total cost 1˙997˙918 €
 EC max contribution 1˙997˙918 € (100%)
 Programme 1. H2020-EU.1.1. (EXCELLENT SCIENCE - European Research Council (ERC))
 Code Call ERC-2019-COG
 Funding Scheme ERC-COG
 Starting year 2020
 Duration (year-month-day) from 2020-10-01   to  2025-09-30

 Partnership

Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    INSTITUTE OF SCIENCE AND TECHNOLOGY AUSTRIA AT (KLOSTERNEUBURG) coordinator 1˙997˙918.00

Map

 Project objective

The formal analysis of stochastic models plays an important role in different disciplines of science, e.g., probability theory, evolutionary stochastic processes in biology. In computer science, such models arise in formal verification of probabilistic systems, analysis of probabilistic programs, analysis of game-theoretic interactions with stochastic aspects, reasoning about randomized protocols, etc. At the heart of the analysis methods are algorithmic approaches that lead to automated tools. Despite significant and impressive research achievements over the decades, many fundamental algorithmic problems related to formal analysis of stochastic models remain open. Moreover, the emergence of new technologies and the need to build more complex systems, require faster and scalable algorithmic solutions. The overarching theme of the project is algorithmic approaches for formal methods to analyse stochastic models. Our main research aims are: (1) Finite-state models: Develop faster explicit and implicit algorithms, and establish conditional lower bounds, for finite-state probabilistic systems. (2) Probabilistic programs: Develop efficient algorithmic approaches and practical techniques (e.g., compositional and abstraction techniques) for the analysis of probabilistic programs. (3) Stochastic and evolutionary games: Develop algorithmic approaches related to stochastic games and evolutionary games, which bring together the two different fields of game theory. (4) Application domains: Explore new application areas in diverse domains to demonstrate the effectiveness of the new algorithms developed.

The project’s success will significantly enrich formal methods for analysis of stochastic models that are crucial in the development of robust and correct systems. Since stochastic models are foundational in several disciplines, the new algorithmic solutions are expected to lead to automated tools beneficial to other disciplines.

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "FORM-SMART" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "FORM-SMART" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.1.1.)

iNANOVAC4CANCER (2019)

BIOHYBRID AND BIODEGRADABLE NANOVACCINES FOR CANCER IMMUNOTHERAPY

Read More  

VictPart (2019)

Righting Victim Participation in Transitional Justice

Read More  

SuperH (2019)

Discovery and Characterization of Hydrogen-Based High-Temperature Superconductors

Read More