Day I : November 4, 2004

8:30-9:30 Invited Talk

• A CLP Approach to Modelling Systems
  Joxan Jaffar (National University of Singapore)

9:30-10:30 Session 1 (Program Transformation)

• An Algebraic Approach to Bi-directional Updating
  Shin-Cheng Mu (University of Tokyo), Zhenjiang Hu (University of Tokyo), and Masato Takeichi (University of Tokyo)
• Network Fusion
  Pascal Fradet (INRIA) and Stephane Hong Tuan Ha (IRISA/INRIA)

11:00-12:30 Session 2 (XML Processing)

• Translation of Tree-processing Programs into Stream-processing Programs based on Ordered Linear Type
  Koichi Kodama (Tokyo Institute of Technology), Kohei Suenaga (University of Tokyo), and Naoki Kobayashi (Tokyo Institute of Technology)
• An Implementation of Subtyping among Regular Expression Types
  Kenny Zhuo Ming Lu (National University of Singapore) and Martin Sulzmann (National University of Singapore)
• An Implementation Scheme for XML Transformation Languages through Derivation of Stream Processors
  Keisuke Nakano (University of Tokyo)

2:00-3:30 Session 3 (Software Safety)

• Detecting Discrepancies in Legacy Telecom Applications Through Lightweight Static Analysis: A War Story
  Tobias Lindahl (Uppsala University) and Konstantinos Sagonas (Uppsala University)
• History Effects and Verification
  Christian Skalka (University of Vermont) and Scott Smith (The Johns Hopkins University)
• Controlled Declassification based on Intransitive Noninterference
  Heiko Mantel (ETH Zurich) and David Sands (Chalmers University of Technology)

4:00-5:30 Session 4 (Concurrency)

• A Concurrent System of Multi-Ported Processes with Causal Dependency
  Tatsuya Abe (University of Tokyo)
• Concurrency Combinators for Declarative Synchronisation
  Pawel T. Wojciechowski (Ecole Polytechnic Federale de Lausanne)
• A Uniform Reduction Equivalence of Process Calculi
  Zining Cao (Peking University)

Day II : November 5, 2004

8:30-9:30 Invited Talk

• Substructural Operational Semantics and Linear Destination-Passing Style
  Frank Pfenning (Carnegie Mellon University)

10:00-11:30 Session 5 (Type Systems)

• PType System: A Featherweight Parallelizability Detector
  Dana Na Xu (National University of Singapore), Siau-Cheng Khoo (National University of Singapore), and Zhenjiang Hu (University of Tokyo)
• A Type Theory for Krivine-style Evaluation and Compilation
  Kwanghoon Choi (Japan Advanced Institute of Science and Technology) and Atsushi Ohori (Japan Advanced Institute of Science and Technology)
• Region-Based Memory Management for a Dynamically-Typed Language
  Akihito Nagata (University of Tokyo), Naoki Kobayashi (Tokyo Institute of Technology), and Akinori Yonezawa (University of Tokyo)

11:30-12:30 Session of Posters

2:00-3:30 Session 6 (Program Generation)

• Protocol Specialization
  Matthias Neubauer (Universitat Freiburg) and Peter Thiemann (Universitat Freiburg)
• Automatic Generation of Editors for Higher-Order Data Structures
  Peter Achten (Nijmegen University), Marko van Eekelen (Nijmegen University), Rinus Plasmeijer (Nijmegen University), and Arjen van Weelden (Nijmegen University)
• A MATLAB-based Code Generator for Sparse Matrix Computations
  Hideyuki Kawabata (Hiroshima City University), Mutsumi Suzuki (Hiroshima City University), and Toshiaki Kitamura (Hiroshima City University)

4:30-6:00 Session 7 (Foundations)

• D-Fusion: a Distinctive Fusion Calculus
  Michele Boreale (Universita  di Firenze), Maria Grazia Buscemi (Universita  di Pisa), and Ugo Montanari (Universita  di Pisa)
• A Functional Language for Logarithmic Space
  Peter Moller Neergaard (Brandeis University)
• Build, Augment and Destroy, Universally
  Neil Ghani (University of Leicester), Tarmo Uustalu (Tallinn University of Technology), and Varmo Vene (University of Tartu)
• Free Sigma-monoids: a Higher-order Syntax with Metavariables
  Makoto Hamana (Gunma University)

Day III : November 6, 2004

8:30-9:30 Invited Talk

• The Scala Experiment - Can We Provide Better Language Support for Component Systems?
  Martin Odersky (Ecole Polytechnic Federale de Lausanne)

9:30-10:30 Session 8 (Applications)

• Pointcuts as Functional Queries
  Michael Eichberg (Darmstadt University of Technology), Mira Mezini (Darmstadt University of Technology), and Klaus Ostermann (Darmstadt University of Technology)
• Formal Design and Verification of Real-Time Embedded Software
  Pao-Ann Hsiung (National Chung Cheng University) and Shang-Wei Lin (National Chung Cheng University)

11:00-12:30 Session 9 (Objects)

• McJava - A Design and Implementation of Java with Mixin-Types
  Tetsuo Kamina (University of Tokyo) and Tetsuo Tamai (University of Tokyo)
• A Relational Model for Object-Oriented Designs
  He Jifeng (United Nations University), Zhiming Liu (United Nations University), Xiaoshan Li (University of Macau), and Shengchao Qin (National University of Singapore)
• Exploiting Java Objects Behavior for Memory Management and Optimizations
  Zoe C.H. Yu (University of Hong Kong), Francis C.M. Lau (University of Hong Kong), and Cho-Li Wang (University of Hong Kong)

2:00-6:00 excursion