Section: Dissemination
Participation to colloquia, seminars, invitations
Here is the list of talks given by members of the team during the year 2009.

Walid Gomaa:

Algebraic Characterization of Computable and ComplexityTheoretic Analysis . “New Worlds of Computation” workshop, Orléans, January 12, 2009.

A Survey of Recursive Analysis and Moore's Notion of Real Computation . “Physics and Computation” satellite workshop of UC09, Ponta Delgada, September 10, 2009.


Emmanuel Hainry:

Computing over the reals, computing with the reals . SIESTE (Student's seminar of the École Normale Supérieure de Lyon) on December 2, 2008.

Decidability in continuous time dynamical systems . “New Worlds of Computation” workshop, Orléans, January 12, 2009.

Implicit complexity in recursive analysis . 3rd meeting of the Complice ANR Project, Nancy, October 23, 2009.


Mathieu Hoyrup:

Effective probability theory . Invited talk in the workshop “New Interactions between Analysis, Topology and Computability”, Birmingham, January 9, 2009. Invited talk.

Approches algorithmiques des probabilités . “Séminaire de Probabilités de l'Institut Élie Cartan”, Nancy, April 30, 2009.

Layerwise computability . Invited talk in the 4th conference on “Logic, Computablity and Randomness”, CIRM Marseille, June 30, 2009.

Dynamical systems: unpredicdability vs uncomputability . Invited talk in the workshop “Physics and Computation”, satellite of UC09, Ponta Delgada, September 10, 2009.


JeanYves Marion