[Prev][Next][Index][Thread]
ASIAN'03 -- Call for Participation
-
To: types@cis.upenn.edu, clp@comp.nus.edu.sg, eapls@jiscmail.ac.uk, ecoop-info@ecoop.org, concurrency@cwi.nl, appsem@cs.chalmers.se, e-lang@eros-os.org, users@mozart-oz.org
-
Subject: ASIAN'03 -- Call for Participation
-
From: Kazunori UEDA <ueda@ueda.info.waseda.ac.jp>
-
Date: Wed, 05 Nov 2003 20:36:25 +0900 (JST)
-
Cc: ueda@ueda.info.waseda.ac.jp
-
List-Archive: <http://lists.seas.upenn.edu/pipermail/types-list>
-
List-Help: <mailto:types-list-request@lists.seas.upenn.edu?subject=help>
-
List-Id: TYPES forum <types-list.lists.seas.upenn.edu>
-
List-Post: <mailto:types-list@lists.seas.upenn.edu>
-
List-Subscribe: <http://lists.seas.upenn.edu/mailman/listinfo/types-list>, <mailto:types-list-request@lists.seas.upenn.edu?subject=subscribe>
-
List-Unsubscribe: <http://lists.seas.upenn.edu/mailman/listinfo/types-list>, <mailto:types-list-request@lists.seas.upenn.edu?subject=unsubscribe>
-
Sender: types-list-bounces+bcpierce=cis.upenn.edu@lists.seas.upenn.edu
[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]
Call for Participation ---ASIAN'03
Eighth Asian Computing Science Conference
Mumbai, India, December 10-12, 2003
Collocated with ICLP'03 and FSTTCS'03
http://www.cse.psu.edu/asian03/
The Eighth Asian Computing Science Conference, ASIAN'03, will be held
at Tata Institute of Fundamental Research, Mumbai, India, collocatied
with ICLP'03 (Dec.9-13, workshops Dec.8+14) and FSTTCS'03 (Dec.15-17,
workshops Dec.14).
The series of Asian Computing Science Conferences was started in 1995
to provide a forum for researchers in computer science from the Asian
region and to promote interaction with researchers from other regions.
The proceedings have been published as Springer LNCS volumes.
The theme of this year's conference is Programming Languages and
Distributed Computation. The conference features three invited talks
by
- Greg Morrisett (Cornell Univ., USA),
- Mark Miller (Hewlett Packard Lab. and Johns Hopkins Univ., USA), and
- Andrew Birrell (Microsoft Research, USA),
as well as sixteen refereed papers selected from 53 submissions.
Registration
------------
Travel Information and Registration Details can be found at the
collocated ICLP website, namely
http://www.tcs.tifr.res.in/~iclp03/travel.htm
http://www.tcs.tifr.res.in/~iclp03/RegDetails.htm
(also linked from the ASIAN'03 site http://www.cse.psu.edu/asian03/)
The early registration deadline is November 15. Please book your
flight as soon as possible.
Program Committee
-----------------
Gul Agha (UIUC, USA)
Guruduth Banavar (IBM Research, USA)
Gilad Bracha (Sun Microsystems, USA)
Luca Cardelli (Microsoft Research, UK)
Georges Gonthier (INRIA, France)
Seif Haridi (SICS, Sweden / NUS, Singapore)
Nevin Heintze (Agere Research, USA)
Radha Jagadeesan (DePaul U., USA)
Naoki Kobayashi (Tokyo Inst. Tech., Japan)
Doug Lea (SUNY Oswego, USA)
Sanjiva Prasad (IIT Delhi, India)
Padma Raghavan (Penn State U., USA)
Vijay Saraswat, CHAIR (Penn State U., USA), CHAIR
R. K. Shyamasundar (TIFR, India)
Anand Sivasubramaniam (Penn State U., USA)
Kazunori Ueda (Waseda U., Japan)
Sanjiva Weerawarana (IBM Research, USA / U. Moratuwa, Sri Lanka)
Feng Zhao (PARC, USA)
General Co-Chairs
-----------------
R.K. Shyamasundar and Kazunori Ueda
Conference Programme
--------------------
Wednesday, Dec. 10
09:00-10:00 INVITED TALK by Greg Morrisett
Achieving Type Safety for Low-Level Code
G. Morrisett (Cornell University, USA)
10:30-12:30
Kernel Mode Linux: Towards an operating system protected by a type theory
T. Maeda, A. Yonezawa
Self Configurable Mirror Servers for Automatic Adaptation to
Service Demand Fluctuation
M. Agetsuma, K. Kono, H. Iwasaki, T. Masuda
Information Flow Security for XML Transformations
V. Benzaken, M. Burelle, G. Castagna
Unreliable Failure Detectors via Operational Semantics
U. Nestmann, R. Fuzzati, EPFL Lausanne
14:00-22:00 Social event ( excursion / banquet )
Thursday, Dec. 11
09:00-10:00 INVITED TALK by Andrew Birrell
Bankable Postage for Network Servics
M. Abadi, A. Birrell, M. Burrows, F. Dabek, T. Wobber
10:00-10:30
Global Predicate Detection under Fine-grained Modalities
P. Chandra, A. Kshemkalyani
11:00-12:30
Combining Hierarchical Specification with Hierarchical Implementation
N. Zhan, Mannheim University, GERMANY
Automatic Generation of Simple Lemmas from Recursive Definitions
using Decision Procedures
D. Kapur, M. Subramaniam
Deaccumulation -- Improving Provability
J. Giesl, A. Kuhnemann, J. Voigtlander
14:30-16:00
Incentive Compatible Mechanism Based on Linear Pricing Schemes for
Single-Minded Auction
N. Chen, H. Zhu
Hierarchical structure of 1-safe Petri nets
K. Lodaya, D. Ranganayakulu,K. Rangarajan
A Calculus for Secure Mobility
B. Blanchet, B. Aziz
A Calculus of Bounded Capacities
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, V. Sassone
Friday, Dec. 12
09:00-10:00 INVITED TALK by Mark Miller
Paradigm Regained: Abstraction Mechanisms for Access Control
M. Miller, J. Shapiro
10:00-10:30
The Design and Evaluation of a Middleware Library for Distribution
of Language Entities
E. Klintskog, Z. El Banna, P. Brand, S. Haridi
11:00-12:30
Generating optimal Linear Temporal Logic monitors by coinduction
K. Sen, G. Rosu, G. Agha
Probabilistic Timed Simulation Verification and its application to
Stepwise Refinement of Real-Time Systems
S. Yamane
Model Checking Probabilistic Distributed Systems
B. Bollig, M. Leucker
========================================================================