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 Complexity-Theoretic 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.

• Jean-Yves Marion

  • NICS . Invited talk at Torino university with a one week stay.