Skip to content

CID

Computing with Infinite Data

  • About CID
  • Conferences
    • CCC 2021
    • CCC 2020
    • CCC 2019
    • CCC 2018
    • CCC 2017
  • Participants
  • Work packages
    • WP1 — Foundations
    • WP2 — Exact Computation in real analysis
    • WP3 — Logical representation of data
  • CID in press and on the web
  • CCC 2021 Continuity, Computability, Constructivity From Logic to Algorithms Online 19-24 September 2021

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org

Work packages

The specific research objectives of this project are grouped together in three work packages:

WP1 — Foundations
WP2 — Exact Computation in real analysis
WP3 — Logical representation of data

Proudly powered by WordPress