THURSDAY, April 11, a.m., Room 47

SYMPOSIUM N:
Artificial Neural Networks and Adaptive Systems

Chairpersons: G.Palm, Germany, and G.Dorffner, Austria
9.00-9.30
An Application of the Saturated Attractor Analysis to Three Typical Models
J. Feng, B. Tirozzi, University of Munich, Germany
9.30-10.00
On a New Gauge-Theoretical Framework for Controlling Neural Network Dynamics
E.Pessa, G.Resconi, Universita Cattolica del Sacro Cuore, Brescia, Italy
10.00-10.30
Investigation of the Attractor Structure in the Continuous Hopfield Model
S.Amin, BT Laboratories, Ipswich, United Kingdom

SYMPOSIUM O:
Theory and Applications of Artificial Intelligence

Chairpersons: V.Marik, Czech Republic, and E.Buchberger, Austria
11.00-11.30
Anxieties around AI - Philosophical and Practical, Educational Response
T.Vamos, Hungarian Academy of Sciences, Budapest, Hungary
11.30-12.00
A Look at CLP - Theory and Application
J.Csonto, J.Paralic, Technical University of Kosice, Slovakia
12.00-12.30
Modifying and Justifying Recursive Programs in Inductive Theorem Proving: Why and How?
M.Franova, CNRS & Universitè Paris Sud, Orsay, France
jm