#	Pagina
attuale pagina	/open-h2020/projects/227343/index.html

Opendata, web and dolomites

BLaSt SIGNED

Better Languages for Statistics: foundations for non-parametric probabilistic programming

Total Cost €

EC-Contrib. €

Partnership

Views

BLaSt project word cloud

Explore the words cloud of the BLaSt project. It provides you a very rough idea of what is the project "BLaSt" about.

models algorithms powerful space parametric precise on programs ultimate successes semantic statistical symmetries bayesian programming devise model arise formal probability goals accommodates languages guage foundation explainable foundations explains outcomes statistics inference lan probabilistic separate there unbounded properly combining semantics verification

Project "BLaSt" data sheet

The following table provides information about the project.

Coordinator	THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD Organization address address: WELLINGTON SQUARE UNIVERSITY OFFICES city: OXFORD postcode: OX1 2JD website: www.ox.ac.uk 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	United Kingdom [UK]
Total cost	1˙931˙178 €
EC max contribution	1˙931˙178 € (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-06-01 to 2025-05-31

Partnership

Take a look of project's partnership.

#	participants	country	role	EC contrib. [€]
1	THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD Organization address address: WELLINGTON SQUARE UNIVERSITY OFFICES city: OXFORD postcode: OX1 2JD website: www.ox.ac.uk contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	UK (OXFORD)	coordinator	1˙931˙178.00

Map

Project objective

Probabilistic programming is a powerful method for Bayesian statistical modelling, particularly where the sample space is complex or unbounded (non-parametric). This is because the statistical model can be described clearly in a way that is precise but separate from inference algorithms. It accommodates complex models in such a way that outcomes are still explainable.

The objective of the proposed research is to develop a semantic foundation for probabilistic programming that properly explains the non-parametric aspects, particularly the symmetries that arise there. There are three ultimate goals:

* to propose new probabilistic programming languages: better languages for statistics; * to devise new general inference methods for probabilistic programs; * to build new foundations for probability.

The method is to build on advances on exploiting symmetries in traditional programming lan- guage semantics, by combining this with recent successes in formal semantics and verification for probabilistic programming.

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "BLAST" 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 "BLAST" are provided by the European Opendata Portal: CORDIS opendata.