|
|
|
|||||||||||||
|
|
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.
Organizers: Olivier Bournez (LORIA) and Manuel Lameiras Campagnolo (ISA, CLC, Universidade Técnica de Lisboa) Sponsors: CLC: Center for Logic and Computation, IST, Lisbon, EU Feder POCTI Program, Fundação para a Ciência e Tecnologia, GRICES/EGIDE, ISA/UTL, DM/ISA/UTL |
||||||||||||