* Foundations of Mobile Computation: A Post-Conference Satellite
     Workshop of FST & TCS 99, Chennai, India, December 16-17,
     1999. (Submissions due September 15, 1999)
     Additional information at:
     http://www.cse.iitd.ernet.in/~mobile99
     http://www.imsc.ernet.in/~fsttcs99
     email: mobile99@cse.iitd.ernet.in 
     The workshop will address fundamental principles in the
     definition, analysis and implementation of languages and models
     for mobile distributed programming.  The theme of the workshop is
     formal operational foundations of mobile computation, including
     semantics, equivalences and program logics.  Issues include:
     typing and type safety, security, mobility, architectures and
     protocols, active networks, proof-carrying code, protocol
     analysis and verification, concurrent constraint solving, as well
     as numerous interesting applications such as switchware,
     programmable hybrid systems, and reactive systems.  The aim of
     the workshop is to introduce operational frameworks to
     potentially interested researchers (the tutorial aspect) as well
     as provide a forum for researchers active in the area to report
     on recent results or ongoing work.