Foundations of Mobile Computation
Foundations of Mobile Computation
A Post-Conference Satellite Workshop of FST & TCS 99
December 16-17, 1999
Institute of Mathematical Sciences
Chennai, India
In conjunction with the 19th Annual FST & TCS Conference in Chennai, jointly organized by the Institute of Mathematical Sciences and the Indian Institute of Technology, Madras, we are pleased to announce a post-conference Workshop on the Foundations of Mobile Computation.
The workshop will address fundamental principles in the definition, analysis and implementation of languages and models for mobile distributed programming.
The last few years have seen several new technologies and languages that support mobile computing and mobile computation. In particular, languages and systems like Java, Telescript, Obliq, Aglets etc. have gained popularity and wide application. Several other languages based on mobility of diverse kinds -- links, code, processes -- such as Pict, Facile, CML, Oz, Jocaml, and various semantic models such as distributed and higher-order pi-calculi or related frameworks such as Ambients, Join calculus, Blue calculus, Seal calculus, Fusion calculus, etc. serve as research vehicles for exploring ideas of distributed scope and mobility.
The theme of the workshop is formal operational foundations of mobile computation, including semantics, equivalences and program logics. Associated with the frameworks mentioned above are numerous issues, related to 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 these 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.
| Gerard Boudol (INRIA, Sophia-Antipolis) |
| Andrew Gordon (Microsoft Research) |
| Jean-Jacques Levy (INRIA, Rocquencourt) |
| Rajeev Shorey (IBM, India research Centre, Delhi) |
| Sanjiva Prasad (IIT, Delhi) |
| Roberto Amadio (U of Provence, Marseille) | Hans Huttel (U. of Aalborg) |
| Jean-Jacques Levy (INRIA, Rocquencourt) | Benjamin Pierce (U. of Pennsylvania) |
| Sanjiva Prasad (IIT, Delhi) (Organizer) | R. Ramanujam (IMSc, Chennai) (Organizer) |
| Workshop Email Address: |
mobile99@cse.iitd.ernet.in |
| Workshop Home Page: |
http://www.cse.iitd.ernet.in/~mobile99 |
|
http://www.imsc.res.in/~fsttcs99 |
Other related events being held around the same time are