CCA '96

                            Second Workshop on
                  Computability and Complexity in Analysis


                             August 22-23, 1996

                          Universitaet Trier Germany


                                PROGRAM
             
Location: Building E, Room E51

---------- Thursday, August 22nd ----------------------------------------------

9:00   OPENING 

9:15   Marian B. Pour-El, Ning Zhong: 
       The Wave Equation with Computable Initial Data Whose Unique Solution 
       is Nowhere Computable

10:00  Vasco Brattka:
       Computable Invariance

10:45  COFFEE BREAK

11:00  Klaus Weihrauch, Xizhong Zheng:
       Computability on Continuous, Lower Semi-Continuous and 
       Upper Semi-Continuous Real Functions

11:45  Ker-I Ko:
       Fractals and Complexity

12:30  LUNCH

14:00  Wilson Rosa de Oliveira:  
       Program Schemes over Continuous Algebras 

14:45  Marcel  K. Richter, Kam-Chau Wong:  
       Computable Economic Analysis

15:30  COFFEE BREAK 

15:45  Corine Ceola:
       Decidability  of the graph of a map in the model of Blum, Shub and Smale 

16:30  Klaus Meer:  
       On diagonal sets in uncountable structures

17:15  Discussion

19:00  SOCIAL EVENT  

---------- Friday, August 23rd -----------------------------------------------

9:00   Matthias Schroeder:  
       Fast Online Real Multiplication

9:45   Norbert Mueller:  
       Towards a real Real RAM: a Prototype using C++

10:30  COFFEE BREAK 

10:45  Peter Hertling:  
       Computable Real Functions: Type 1 Computability Versus 
       Type 2 Computability

11:30  Klaus Weihrauch:  
       Computability on the probability measures on the Borel sets 
       of the unit interval

12:15  LUNCH