Logic List Mailing Archive

International Workshop in "Computations on the continuum" (Lisbon, Portugal; June 2005)

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

                International Workshop on
             "Computations on the continuum"

                    June 27-28, 2005

              Lisbon University of Technology
                         Portugal

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


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

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.


Preliminary list of lecturers:
------------------------------------

Eugene Asarin (Universit Paris 7)
Howard Blair (Syracuse University)
Vasco Brattka (University of Cape Town)
Jrome Durand-Lose (Universit d'Orlans)
Daniel da Silva Graa (Universidade do Algarve, CLC)
Emmanuel Hainry (LORIA/INPL)
Jean-Yves Marion  (LORIA/INPL)
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 Tcnica de Lisboa)


Sponsors:
----------

CLC: Center for Logic and Computation, IST, Lisbon
EU Feder POCTI Program
Fundao para a Cincia e Tecnologia
Program PESSOA for Integrated Actions GRICES/EGIDE
ISA/UTL