[C8] ================================================ AMAST Links 02 02

   Second European Workshop on Real-Time and Hybrid Systems, RTHS'95
                    Grenoble, France, 31.5-2.6.1995

   The _full (LaTeX) version_ of this announcement is available at
URL: http://www.cs.utwente.nl/data/amast/links/v02/i02/full/RTHS95c.tex
  Hybrid systems, namely systems in which computers interact with the
physical world, are becoming more and more common in all application
domains. The analysis and design of such systems require a synthesis
of ideas, concepts, mathematical theories and tools that are currently
spread over distinct disciplines, most notably Computer Science and
Control Theory. The goal of this meeting is to contribute to the
reapproachment between those disciplines.
  The workshop is sponsored by the ESPRIT-NSF project HYBRID EC-US-043.
  *Invited speakers:*
   Eugene Asarin (Russian Acad. Sci., Moscow, Russia)
   Zvi Artstein (Dep't of Mathematics, Weizmann Inst., Rehovot, Israel)
   Michel Fliess (Lab. of Signals and Systems, Gif-sur-Yvette, France)
   Bud Mishra (Courant Inst., New York U., USA)
   Anil Nerode (Math. Sciences Research Inst., Cornell U. Ithaca, USA)
   Amir Pnueli (Dep't of Comp. Sci., Weizmann Inst., Rehovot, Israel)
   Frits Vaandrager (CWI, Amsterdam, Holland).
  *Submissions* The meeting will be rather informal. Those who wish to
present their work are requested to send a short abstract (3-6 pages)
to the selection committee. Others who wish to participate or to
demonstrate a tool should send (pref. by e-mail) a short description of
their interests and previous work on hybrid systems to the selection
committee. The deadline is *15.3.95*. Proceedings will be distributed
only for the participants. The registration fees have not yet been
determined but will not be prohibitive (ca. 1000 FF including lunches).
  *Organizing committee:* Oded Maler, Ahmed Bouajjani.
  *Selection committee:* Mats Andersson (Lund), Albert Benveniste
(Rennes), Ahmed Bouajjani (Grenoble, co-chair), Oded Maler (Grenoble,
co-chair), Amir Pnueli (Rehovot and Grenoble), Anders Ravn (Lyngby),
Hans Rischel (Lyngby), Joseph Sifakis (Grenoble).
  *Further information* Contact:
   Oded Maler, VERIMAG, Miniparc ZIRST, F-38330 Montbonnot, France.
   Phone: +33 76909635 Fax: +33 76413620 E-mail: Oded.Maler@imag.fr