Skip to main content

Computing with Infinite Data

Objective

The joint research in this programme will study important aspects—both theoretical as well as applied—of computing with infinite objects. A central aim is laying the grounds for the generation of efficient and verified software in engineering applications.

A prime example for infinite data is provided by the real numbers, most commonly conceived as infinite sequences of digits. While most applications in science and engineering substitute the reals with floating point numbers of fixed finite precision and thus have to deal with truncation and rounding errors, the approach in this project is different: exact real numbers are taken as first-class citizens and while any computation can only exploit a finite portion of its input in finite time, increased precision is always available by continuing the computation process.

This project aims to bring together the expertise of specialists in mathematics, logic, and computer science to push the frontiers of our theoretical and practical understanding of computing with infinite objects. Three overarching motivations drive the proposed collaboration:

Representability. Cardinality considerations tell us that it is not possible to represent arbitrary mathematical objects in a way that is accessible to computation. We will enlist expertise in topology, logic, and set theory, to address the question of which objects are representable and how they can be represented most efficiently.

Constructivity. Working in a constructive mathematical universe can greatly enhance our understanding of the link between computation and mathematical structure. Not only informs us which are the objects of relevance, it also allows us to devise always correct algorithms from proofs.

Efficient implementation. We also aim to make progress on concrete implementations. Theoretical insights from elsewhere will be tested in actual computer systems; obstacles encountered in the latter will inform the direction of mathematical investigation.

Coordinator

UNIVERSITAET SIEGEN
Net EU contribution
€ 162 000,00
Address
Adolf Reichwein Strasse 2a
57076 Siegen
Germany

See on map

Region
Nordrhein-Westfalen Arnsberg Siegen-Wittgenstein
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 9 000,00

Participants (12)

UNIVERSITAT TRIER
Germany
Net EU contribution
€ 76 500,00
Address
Universitatsring 15
54296 Trier

See on map

Region
Rheinland-Pfalz Trier Trier, Kreisfreie Stadt
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 114 885,00
LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Germany
Net EU contribution
€ 112 500,00
Address
Geschwister Scholl Platz 1
80539 Muenchen

See on map

Region
Bayern Oberbayern München, Kreisfreie Stadt
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 54 000,00
SWANSEA UNIVERSITY
United Kingdom
Net EU contribution
€ 103 500,00
Address
Singleton Park
SA2 8PP Swansea

See on map

Region
Wales West Wales and The Valleys Swansea
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 31 500,00
THE UNIVERSITY OF BIRMINGHAM
United Kingdom
Net EU contribution
€ 94 500,00
Address
Edgbaston
B15 2TT Birmingham

See on map

Region
West Midlands (England) West Midlands Birmingham
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 76 500,00
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
France
Net EU contribution
€ 67 500,00
Address
Domaine De Voluceau Rocquencourt
78153 Le Chesnay Cedex

See on map

Region
Ile-de-France Ile-de-France Yvelines
Activity type
Research Organisations
Non-EU contribution
€ 43 515,00
UNIVERZA V LJUBLJANI
Slovenia
Net EU contribution
€ 58 500,00
Address
Kongresni Trg 12
1000 Ljubljana

See on map

Region
Slovenija Zahodna Slovenija Osrednjeslovenska
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 45 000,00
UNIVERSITEIT MAASTRICHT
Netherlands
Net EU contribution
€ 18 000,00
Address
Minderbroedersberg 4
6200 MD Maastricht

See on map

Region
Limburg (NL) Zuid-Limburg
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 0,00
STOCKHOLMS UNIVERSITET
Sweden
Net EU contribution
€ 90 000,00
Address
Universitetsvagen 10
10691 Stockholm

See on map

Region
Östra Sverige Stockholm Stockholms län
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 45 000,00
UNIVERSITA DEGLI STUDI DI PADOVA
Italy
Net EU contribution
€ 76 500,00
Address
Via 8 Febbraio 2
35122 Padova

See on map

Region
Nord-Est Veneto Padova
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 31 500,00
UNIVERSIDADE DO ALGARVE
Portugal
Net EU contribution
€ 36 000,00
Address
Campus De Penha
8005 139 Faro

See on map

Region
Continente Algarve Algarve
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 36 000,00
ASTON UNIVERSITY
United Kingdom
Net EU contribution
€ 27 000,00
Address
Aston Triangle
B4 7ET Birmingham

See on map

Region
West Midlands (England) West Midlands Birmingham
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 9 000,00
Fachhochschule Dortmund
Germany
Net EU contribution
€ 36 000,00
Address
Sonnenstraße 96
44139 Dortmund

See on map

Region
Nordrhein-Westfalen Arnsberg Dortmund, Kreisfreie Stadt
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 4 500,00

Partners (8)

Partner

Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.

UNIVERSITY OF SOUTH AFRICA
South Africa
Net EU contribution
€ 0,00
Address
Preller Street 340 Muckleneuck
0003 Pretoria

See on map

Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 108 000,00
Partner

Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.

UNIVERSIDAD ANDRES BELLO
Chile
Net EU contribution
€ 0,00
Address
Avenida Republica 440 Of 11
Santiago

See on map

Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 81 000,00
Partner

Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.

KOREA ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY
South Korea
Net EU contribution
€ 0,00
Address
Daehak-ro 291 Yuseong Gu
305 701 Daejeon

See on map

Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Non-EU contribution
€ 85 500,00
Partner

Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.

NATIONAL UNIVERSITY CORPORATION JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY
Japan
Net EU contribution
€ 0,00
Address
Asahidai 1-1
923 1292 Nomi Ishikawa

See on map

Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 135 000,00
Partner

Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.

INSTITUTION OF THE RUSSIAN ACADEMY OF SCIENCES A.P. ERSHOV INSTITUTE OF INFORMATICS SYSTEMS SIBERIAN BRANCH OF RAS

Participation ended

Russia
Net EU contribution
€ 0,00
Address
Academica Lavrentieva Prospect 6
630090 Novosibirsk

See on map

Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 90 900,00
Partner

Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.

UNIVERSITY OF CANTERBURY
New Zealand
Net EU contribution
€ 0,00
Address
Private Bag 4800
8140 Christchurch

See on map

Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 130 500,00
Partner

Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.

University of Cincinnati
United States
Net EU contribution
€ 0,00
Address
Cincinnati,ohio
45221-0222 Cincinnati

See on map

Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 13 500,00
Partner

Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.

NANYANG TECHNOLOGICAL UNIVERSITY
Singapore
Net EU contribution
€ 0,00
Address
Nanyang Avenue 50
639798 Singapore

See on map

Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 45 000,00