[TYPES/announce] APLAS 2006 Call for Particiaption

[koba@kb.ecei.tohoku.ac.jp]

Apologies for multiple copies.

---------------------
                             Call for Participation

               4th Asian Symposium on Programming Languages and Systems

                              November 8-10, 2006
                               Sydney, Australia

                    http://www.cse.unsw.edu.au/~aplas06/
                    http://www.kb.ecei.tohoku.ac.jp/aplas2006/


Scope of the Conference
-----------------------

APLAS aims at stimulating programming language research by providing a
forum for the presentation of recent results and the exchange of ideas
and experience in topics concerned with programming languages and
systems.  APLAS is based in Asia, but is an international forum that
serves the worldwide programming languages community.

The APLAS series is sponsored by the Asian Association for Foundation
of Software (AAFS), which has recently been founded by Asian
researchers in cooperation with many researchers from Europe and the
USA.  The past formal APLAS symposiums were successfully held in
Tsukuba (2005, Japan), Taipei (2004, Taiwan) and Beijing (2003, China)
after three informal workshops held in Shanghai (2002, China), Daejeon
(2001, Korea) and Singapore (2000). 

Conference Registration
-----------------------

Registration information for APLAS 2006 is now available at
http://www.cse.unsw.edu.au/~aplas06/registration.html


Conference Location
-------------------

APLAS'06 will be on the campus of the University of New South Wales in
Sydney, Australia.  The City of Sydney is with over 4 million
population the largest city of Australia, and with its many
attractions, it is one of the main cultural centres of Australia.

Conference Program
------------------

 8 Nov (Wed)
------------
 915- 930 Opening note

 930-1030 Invited talk #1
          Type Processing by Constraint Reasoning
          Peter Stucky 

1100-1230 Session 1 

	  Principal Type Inference for GHC-Style Multi-Parameter Type Classes
	  Martin Sulzmann, Tom Schrijvers and Peter J Stuckey

	  Private row types: abstracting the unnamed 	
          Jacques Garrigue

	  Type and Effect System for Multi-Staged Exceptions 	
	  Hyunjun Eo, Ik-Soon Kim and Kwangkeun Yi

1400-1530 Session 2 

	  Relational Reasoning for Recursive Types and References
	  Nina Bohr and Lars Birkedal

          Proof Abstraction for Imperative Languages 	
          William L. Harrison

	  Reading, Writing and Relations
	  Nick Benton, Andrew Kennedy, Martin Hofmann and Lennart Beringer

1600-1700 Session 3 

	  A Fine-Grained Join Point Model for More Reusable Aspects 	
	  Yusuke Endoh, Hidehiko Masuhara and Akinori Yonezawa

	  Automatic Testing of Higher Order Functions 	
	  Pieter Koopman and Rinus Plasmeijer

 9 Nov (Thu)
------------
 930-1030 Invited talk #2
          Event Driven Software Quality
          Jens Palsberg

1110-1230 Session 4 

	  Widening Polyhedra with Landmarks 	
	  Axel Simon and Andy King

	  Comparing completeness properties of static analyses and their logics
	  David Schmidt

	  Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types
	  in Usage Analysis 	
	  Tobias Gedell, Jorgen Gustavsson and Josef Svenningsson

1400-1530 Session 5 

	  A Modal Language for the Safety of Mobile Values
	  Sungwoo Park

	  An Analysis for Proving Temporal Properties of Biological Systems
	  Roberta Gori and Francesca Levi

	  Computational Secrecy by Typing for the Pi Calculus 	
	  Martin Abadi, Ricardo Corin and Cedric Fournet

1545-1715 Poster session


10 Nov (Fri)
------------
 930-1030 Invited tutorial
          Scheme with Classes, Mixins, and Traits
          Matthew Flatt

1100-1230 Session 6
	  Using Metadata Transformations to Integrate Class Extensions in an
	  Existing Class Hierarchy 	
	  Markus Lumpe

	  Combining Offline and Online Optimizations: Register Allocation and
	  Method Inlining 	
	  Hiroshi Yamauchi and Jan Vitek

	  A Localized Tracing Scheme for Garbage Collection
	  Yannis Chicha and Stephen M. Watt

1400-1530 Session 7

	  A Pushdown Machine for Recursive XML Processing
	  Keisuke Nakano and Shin-Cheng Mu

	  XML Validation for Context-Free Grammars
	  Yasuhiko Minamide and Akihiko Tozawa

	  A Practical String Analyzer by the Widening Approach
	  Tae-Hyoung Choi, Hyun-Ha Kim, Oukseh Lee and Kyung-Goo Doh

1600-1700 Session 8

	  A bytecode logic for JML and Types
	  Lennart Beringer and Martin Hofmann

	  On Jones-Optimal Specializers: A Case Study Using Unmix
	  Johan Gade and Robert Glueck

1700-1715 Closing note


Organization
-------------
GENERAL CO-CHAIRS
 Manuel Chakravarty (University of New South Wales, Australia)
 Gabriele Keller    (University of New South Wales, Australia)   

PROGRAM CHAIR
 Naoki Kobayashi    (Tohoku University)

PROGRAM COMMITTEE
 Kung Chen          (National Chengchi University, Taiwan)
 Wei-Ngan Chin      (National University of Singapore, Singapore) 
 Patrick Cousot     (ENS, France) 
 Masahito Hasegawa  (Kyoto University, Japan) 
 Jifeng He          (United Nations University, Macau) 
 Haruo Hosoya       (University of Tokyo, Japan) 
 Bo Huang           (Intel China Software Center, China)
 Naoki Kobayashi (chair) (Tohoku University, Japan) 
 Oege de Moor       (Oxford University, UK)
 George Necula      (University of California at Berkeley, USA)
 Martin Odersky     (EPFL, Switzerland) 
 Tamiya Onodera     (IBM Research, Tokyo Research Laboratory, Japan)
 Yunheung Paek      (Seoul National University, Korea) 
 Sriram Rajamani    (Microsoft Research, USA) 
 Andrei Sabelfeld   (Chalmers University of Technology, Sweden) 
 Zhong Shao         (Yale University, USA) 
 Harald Sondergaard (University of Melbourne, Australia)
 Nobuko Yoshida     (Imperial College London, UK)