Tuesday
Scope.
------
Analog computation, where the internal states of a computer are continuous rather than discrete, has enjoyed a recent resurgence of interest. However, much remains to be done to understand its relations with other areas of computer science. To study computations on the reals, several models have been introduced, such as recursive analysis based on Turing machines, computational complexity models with reals considered as basic entities, as well as models working on continuous domains which progress in continuous time too. The aim of this workshop is to bring together researchers to discuss the relations between such models. In particular, the workshop will contribute to better clarify the computational properties of analog models.
Call for participation.
------------------------
We invite researchers to propose presentations on related topics. For this, please send a title plus brief description of your talk to one of the organizers before May 15th 2005.
Any researcher interested in participating should contact the organizers.
Lecturers:
-----------
Eugene Asarin (Universite Paris 7)
Vasco Brattka (University of Cape Town)
Jerome Durand-Lose (Universite d'Orleans) Jean-Yves Marion (LORIA) Klaus Meer (University of Southern Denmark) Jonathan Mills (University of Indiana) Jerzy Mycka (University Maria Curie-Skodowska) Damien Woods (University College Cork)
Organizers:
------------
Olivier Bournez (LORIA/INRIA)
Manuel Lameiras Campagnolo (ISA, CLC, Universidade Tecnica de Lisboa)