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.