[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

                        Call for Participation
      The Fifth Asian Symposium on Programming Languages and Systems
                      November 29 - December 1, 2007                            
Scope of the Conference-----------------------
APLAS aims at stimulating programming language research by providing aforum for 
the presentation of recent results and the exchange of ideasand experience in 
topics concerned with programming languages andsystems.  APLAS is based in 
Asia, but is an international forum thatserves the worldwide programming 
languages community.
The APLAS series is sponsored by the Asian Association for Foundationof 
Software (AAFS), which has recently been founded by Asianresearchers in 
cooperation with many researchers from Europe and theUSA.  The past formal 
APLAS symposiums were successfully held inSydney (2006, Australia), Tsukuba 
(2005, Japan), Taipei (2004, Taiwan)and Beijing (2003, China) after three 
informal workshops held inShanghai (2002, China), Daejeon (2001, Korea) and 
Singapore (2000).Proceedings of the past symposiums were published in 
Springer-Verlag'sLNCS 2895, 3302, 3780, and 4279.
Conference Location-------------------
APLAS'07 will be held at Kent Ridge Guild House, National Universityof 
Singapore.  Singapore is a dynamic city rich in contrast and colorwhere you'll 
find a harmonious blend of culture, cuisine, arts andarchitecture. A bridge 
between the East and the West for centuries,Singapore, located in the heart of 
fascinating Southeast Asia,continues to embrace tradition and modernity today. 
Brimming withunbridled energy and bursting with exciting events, the city 
offerscountless unique, memorable experiences waiting to be discovered.
The early registration deadline is set on 28Sept07. The registrationfees will 
cover conference proceeding, banquet dinner, andlunches/teas.
             Deadline      Full Fees      Student Fees    early    28Sep07      
   S$600           S$400    online   23Nov07         S$650           S$425    
on-site  29Nov07         S$700           S$450
Payment can be made with credit cards. Exchange rate (subject tofluctuation) is 
approx. US$1 = S$1.53
Online registration can be made at:
A special rate S$155 per nite (excluding taxes but inclusiveof daily breakfast) 
is applicable to attendees of APLAS 2007 atRendezvous Hotel Singapore:
The hotel is located in city center. A free daily shuttle bus will beprovided 
between this hotel and the conference site (at NUS) duringthe conference 
period.  Our block of rooms is guaranteed till28Sept07, so advanced booking is 
encouraged as some rooms may bereleased after this date. For reservation, 
please use a special formthat can be found at:
Poster Session--------------
APLAS07 will include a poster session. Submission deadlineis 14 Sept 2007. For 
details, please see:
Conference Program------------------
29 Nov (Thu)------------  915- 930 Opening note
  930-1030 Invited Talk
           X10: Programming Parallel Machines, Productively           Vijay 
Saraswat (IBM TJ Watson Research Lab)
1100-1230 Session 1
           The Nuggetizer: Abstracting Away Higher-Orderness           for 
Program Verification           Paritosh Shroff (Johns Hopkins University),      
     Christian Skalka (University of Vermont)           and Scott F. Smith 
(Johns Hopkins University)
           Local Reasoning for Storable Locks and Threads           Alexey 
Gotsman (University of Cambridge),           Josh Berdine (Microsoft Research), 
          Byron Cook (Microsoft Research),           Noam Rinetzky (Tel Aviv 
University)           and Mooly Sagiv (Tel Aviv University)
           Monadic, Prompt Lazy Assertions in Haskell           Frank Huch (CAU 
Kiel) and Olaf Chitil (University of Kent)
1345-1515 Session 2
           Translation Correctness for First-Order Object-Oriented           
Pattern Matching           Burak Emir (EPFL Lausanne), Qin Ma (OFFIS)           
and Martin Odersky (EPFL Lausanne)
           Persistent Oberon: A Programming Language with Integrated 
Persistence           Luc Blaser (ETH Zurich)
           More Typed Assembly Languages for Confidentiality           Dachuan 
Yu (DoCoMo Communication Laboratories USA)
1515-1630 Poster Session
1630-1730 Session 3
           A Novel Test Case Generation Method for Prolog Programs           
Based on Call Patterns Semantics           Lingzhong Zhao (Guilin University of 
Electronic Technology),           Tianlong Gu (Guilin University of Electronic 
Technology),           Junyan Qian (Guilin University of Electronic Technology) 
          and Guoyong Cai (Guilin University of Electronic Technology)
           On a Tighter Integration of Functional and Logic Programming         
  Frank Huch (CAU Kiel) and Bernd Brassel (CAU Kiel)
1800-2000 Reception
30 Nov (Fri)------------  930-1030 Invited Talk
           Scalable Simulation of Biological Signaling Networks           
Vincent Danos (University of Paris VII & CNRS)
1100-1230 Session 4
           Timed, Distributed, Probabilistic, Typed Processes           Martin 
Berger (Imperial College London)           and Nobuko Yoshida (Imperial College 
           A Probabilistic Applied Pi-Calculus           Jean Goubault-Larrecq 
(ENS Cachan),           Catuscia Palamidessi (Ecole Polytechnique)           
and Angelo Troina (ENS Cachan & Ecole Polytechnique)
           Type-Based Verification of Correspondence Assertions for           
Communication Protocols           Daisuke Kikuchi (Tohoku University)           
and Naoki Kobayashi (Tohoku University)
1400-1530 Session 5
           Deriving Compilers and Virtual Machines for a Multi-Level Language   
        Atsushi Igarashi (Kyoto University)           and Masashi Iwaki (Kyoto 
           Finally Tagless, Partially Evaluated (Tagless Staged           
Interpreters for Simpler Typed Languages)           Jacques Carette (McMaster 
University),           Oleg Kiselyov (FNMOC) and Chung-chieh Shan (Rutgers 
           Polymorphic Delimited Continuations           Kenichi Asai 
(Ochanomizu University)           and Yukiyoshi Kameyama (University of Tsukuba)
1600-1730 Session 6
           Adjunct Elimination in Context Logic for Trees           Cristiano 
Calcagno (Imperial College London),           Thomas Dinsdale-Young (Imperial 
College London)           and Philippa Gardner (Imperial College London)
           Positive Arithmetic without Exchange is a Subclassical Logic         
  Stefano Berardi (University of Torino)           and Makoto Tatsuta (National 
Institute of Informatics, Japan)
           Mixed Inductive/Coinductive Types and Strong Normalization           
Andreas Abel (University of Munich)
1900-2100 Banquet
  1 Dec (Sat)------------  930-1030 Invited Talk
           Static and Dynamic Analysis : Better Together           Sriram 
Rajamani (Microsoft Research India)
1100-1230 Session 7
           The Semantics of  "Semantic Patches" in Coccinelle:  Program         
  Transformation for the Working Programmer           Neil Jones (University of 
Copenhagen)           and Rene Rydhof Hansen (University of Copenhagen)
           An Efficient SSA-based Algorithm for Complete Global Value Numbering 
          Jiu-Tao Nie (Peking University) and Xu Cheng (Peking University)
           A Systematic Approach to Probabilistic Pointer Analysis           
Alessandra Di Pierro (University of Verona),           Chris Hankin (Imperial 
College London)           and Herbert Wiklicky (Imperial College London)
1400-1530 Session 8
           Complete Lattices and Up-to Techniques           Damien Pous (ENS 
           A Trace Based Bisimulation for the Spi Calculus: An Extended 
Abstract           Alwen Tiu (Australian National University)
           CCS with Replication in the Chomsky Hierarchy: The Expressive        
   Power of Divergence           Frank Valencia (Ecole Polytechnique),          
 Cinzia Di Giusto (University of Bologna),           Jesus Aranda (Ecole 
Polytechnique)           and Mogens Nielsen (University of Aarhus)
1600-1700 Session 9
           Call-by-Name and Call-by-Value in Normal Modal Logic           
Yoshihiko Kakutani (University of Tokyo)
           Call-by-Value is Dual to Call-by-Name, Extended           Daisuke 
Kimura (National Institute of Informatics, Japan)
1700-1715 Closing note
GENERAL CHAIR   Joxan Jaffar         (National University of Singapore, 
PROGRAM CHAIR   Zhong Shao           (Yale University, USA)
PROGRAM COMMITTEE   Lars Birkedal        (IT University of Copenhagen, Denmark) 
  Martin Hofmann       (Univ of Munich, Germany)   Kohei Honda          (Queen 
Mary, University of London, UK)   Atsushi Igarashi     (Kyoto University, 
Japan)   Suresh Jagannathan   (Purdue University, USA)   Annie Liu            
(State University of New York at Stony Brook, USA)   Shin-Cheng Mu        
(Academia Sinica, Taiwan)   Henrik Nilsson       (University of Nottingham, UK) 
  Michael Norrish      (NICTA, Australia)   Jens Palsberg        (University of 
California, Los Angeles, USA)   G. Ramalingam        (Microsoft Research, 
India)   Zhendong Su          (University of California, Davis, USA)   Martin 
Sulzmann      (National University of Singapore, Singapore)   Eijiro Sumii      
   (Tohoku University, Japan)   Jerome Vouillon      (CNRS, France)   Kwangkeun 
Yi         (Seoul National University, Korea)   Jian Zhang           (Chinese 
Academy of Sciences, China)
POSTER SESSION CHAIR   Eijiro Sumii         (Tohoku University, Japan)
LOCAL ARRANGEMENT CHAIR   Wei-Ngan Chin        (National University of 
Singapore, Singapore)
Learn. Laugh. Share. Reallivemoms is right place!

Reply via email to