[Prev][Next][Index][Thread]
Post-FSTTCS Workshop on Mobile Computation
---------------------------------------------------
19th International Conference on
FOUNDATIONS OF SOFTWARE TECHNOLOGY
&
THEORETICAL COMPUTER SCIENCE
(FST&TCS19)
13--15 December 1999, IIT Campus, Chennai
URL: http://www.imsc.ernet.in/~fsttcs99
Email: fsttcs99@imsc.ernet.in
----------------------------------------------------
Foundations of Mobile Computation
A Post-Conference Satellite Workshop of FST & TCS 99
December 16-17, 1999
Institute of Mathematical Sciences
Chennai, India
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.
**Invited Speakers** (we hope to have more speakers)
Gerard Boudol (INRIA, Sophia-Antipolis)
Andrew Gordon (Microsoft Research, UK)
Jean-Jacques Levy (INRIA, Rocquencourt)
**Programme Committee**
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)
**Submission of papers**
Submitted papers (max 15 pp) should be sent *as uuencoded
gzipped postscript files* to:
mobile99@cse.iitd.ernet.in by September 15, 1999.
In a separate mail, send a text-only message indicating the
title of the submission and authors' contact information.
We encourage you to provide a pointer to a full paper, if you
wish, which can then be accessed from the workshop homepage.
We will also consider providing links to short position
statements (1-2pp).
We encourage not only submissions presenting original research
results, but also papers that attempt to establish links
between different approaches to mobile computation,
particularly to logical frameworks and to existing
implementation technologies. Original research results should
be clearly described, and their usefulness to practitioners
outlined. Papers describing tools are also welcome, provided
these tools will be demonstrated during the workshop.
**Publication**
Full papers will be published electronically on the workshop
home page. The workshop proceedings will also be available as a
technical report.
**Important dates**
Deadline for Submission 15 September, 1999
Notification to Authors 15 October, 1999
Final Version of Accepted Papers due 1 November, 1999
Deadline for Early Registration 15 November, 1999
Workshop 16-17 December, 1999
**Contact information**
Workshop E-mail Address: mobile99@cse.iitd.ernet.in
Workshop Home Page: http://www.cse.iitd.ernet.in/~mobile99
also: http://www.imsc.ernet.in/~fsttcs99