Workshop on the Dynamics of Computing
University of Liège
July 13, 1998
9h15 Introduction
9h30 A. Megretski (Massachusetts Institute of Technology, Boston, USA)
Quadratic constraints, relaxations in quadratic programming, and design
validation in the presence of uncertainty
10h30 Coffee break
10h45 R. Sepulchre (Montefiore Institute, ULg)
On smooth dynamical systems which realize computations
11h45 V. Blondel (Institute of Mathematics, ULg)
Modelling Turing machines as dynamical systems
12h45 Lunch
14h30 P. Gribomont (Montefiore Institute, ULg)
Reactive systems and verification methods in computer science
15h30 E. Asarin (Institute for Information Transmission, Moscow, Russia)
Controller synthesis for hybrid systems
16h45 M. Vidyasagar (Artificial Intelligence and Robotics, Bangalore,
India)
Application of the PAC learning formalism to control problems
The workshop aims at bringing together researchers from computer science,
dynamical systems theory, and control theory. In order to stimulate
interdisciplinary exchanges, the talks will be in a tutorial format and
informal discussions between the participants will be encouraged.
Organizers:
Rodolphe Sepulchre, Institut Montefiore
Vincent Blondel, Institute of Mathematics
If you wish to attend the workshop please inform one of the organizers
by electronic mail. Click here
for direction on how to reach the Institute.