Logical Foundations for the Future of Safe Systems Programming

Logical Foundations for the Future of Safe Systems Programming is a science project.

Event research_grant eu_cordis:683289

Press Enter · cited answer in seconds

Key Facts

Start time: April 1, 2016^[1]
End time: March 31, 2021^[2]
Participant: Max Planck Society^[3]
Short name: RustBelt^[4]
Budget: 1,946,250 euro^[5]
Funding scheme: Horizon 2020^[6]

📜 Data licence

© European Union, 1995-2026, CORDIS (cordis.europa.eu). Reused under Commission Decision 2011/833/EU (CC BY 4.0). Changes: selected fields restated as statements. Creative Commons Attribution 4.0 International (Commission Decision 2011/833/EU) · CORDIS — EU research results

⭐ Popularity Graph

0/100 long tail

Quick Facts

Instance of science project

Short name RustBelt

Properties

Budget 1,946,250 EUR

End time March 31, 2021

Funding scheme Horizon 2020

Participant Max Planck Society

Start time April 1, 2016

External References (3)

Cordis project id 683289

Doi 10.3030/683289

Eu rcn 200802

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA

4ort.xyz Knowledge Graph. (2026). Logical Foundations for the Future of Safe Systems Programming. Retrieved October 8, 2026, from https://4ort.xyz/entity/logical-foundations-for-the-future-of-safe-systems-programming

MLA

“Logical Foundations for the Future of Safe Systems Programming.” 4ort.xyz Knowledge Graph, 4ort.xyz, 8 Oct. 2026, https://4ort.xyz/entity/logical-foundations-for-the-future-of-safe-systems-programming.

BibTeX

@misc{4ortxyz_logical-foundations-for-the-future-of-safe-systems-programming_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Logical Foundations for the Future of Safe Systems Programming}}, year = {2026}, url = {https://4ort.xyz/entity/logical-foundations-for-the-future-of-safe-systems-programming}, note = {Accessed: 2026-10-08}}

LLM prompt

According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Logical Foundations for the Future of Safe Systems Programming — https://4ort.xyz/entity/logical-foundations-for-the-future-of-safe-systems-programming (retrieved 2026-10-08)

Canonical URL: https://4ort.xyz/entity/logical-foundations-for-the-future-of-safe-systems-programming · Last refreshed: October 8, 2026