Sites Inria

English version

Workshop

Continuity, Computability, Constructivity - From Logic to Algorithms

 Le workshop Continuity, Computability, Constructivity - From Logic to Algorithms (CCC 2017) aura lieu au centre Inria Nancy - Grand Est du 26 au 30 juin 2017.

  • Date : 26/06/2017 au 30/06/2017
  • Lieu : Inria Nancy - Grand Est
  • Organisateur(s) : Anne-Lise Charbonnier, Mathieu Hoyrup
The workshop specifically invites contributions in the areas of:
  • Exact real number computation
  • Correctness of algorithms on infinite data
  • Computable analysis
  • Complexity of real numbers, real-valued functions, etc.
  • Effective descriptive set theory
  • Scott's domain theory
  • Constructive analysis
  • Category-theoretic approaches to computation on infinite data
  • Weihrauch degrees
  • And related areas.
Invited Speakers
  • Matthew de Brecht (Kyoto, Japan)
  • Bernhard Reus (Brighton, UK)
  • Matthias Schröder (Darmstadt, Germany)
  • Alex Simpson (Ljubljana, Slovenia)

Programme 

Localisation

Mots-clés : Real number computation Computable analysis Carte CCC2017 Inria Nancy - Grand Est

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !