Logic List Mailing Archive

"Computations on the continuum", June 2005, Lisbon (Portugal)

=========================
=========================
=====
                     FIRST ANNOUNCEMENT AND CALL FOR PARTICIPATION

                                        International Workshop on
                                  "Computations on the continuum"

                                           June 27-28, 2005

                                  Lisbon University of Technology
                                                Portugal

                             http://math.isa.utl.pt/~mlc/continuum.html

=========================
=========================
=====


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 (Universit? Paris 7)
Vasco Brattka (University of Cape Town)
J?rome Durand-Lose (Universit? d'Orl?ans)
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 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
Program PESSOA for Integrated Actions GRICES/EGIDE