[Haskell] APLAS'04: Call for Participation + Posters
Craciun Mihai Florin Gabriel
craciunm at comp.nus.edu.sg
Fri Sep 3 03:00:19 EDT 2004
Apology if you receive multiple copies.
---------------------------------------------------------------------------=
----
CALL FOR PARTICIPATION
The Second Asian Symposium on
Programming Languages and Systems (APLAS 2004)
Taipei, Taiwan, November 4-6, 2004
http://www.iis.sinica.edu.tw/Conference/APLAS2004/
Early Registration Ends on Oct. 8, 2004
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
VENUE
=3D=3D=3D=3D=3D
Institute of Information Science, Academia Sinica
Nangang 115, Taipei, Taiwan
REGISTRATION FEE
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
General: US$ 250 (early), US$ 275 (late).
Student: US$ 150 (early), US$ 175 (late).
POSTERS
=3D=3D=3D=3D=3D=3D=3D
Poster submission remains open until Sept. 10, 2004. Please visit
http://www.comp.nus.edu.sg/~aplas/posters.htm
PROGRAM
=3D=3D=3D=3D=3D=3D=3D
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 Toky=
o),
and Masato Takeichi (University of Tokyo)
* Network Fusion
Pascal Fradet (INRIA) and St=E9phane Hong Tuan Ha (IRISA/INRIA)
11:00-12:30 Session 2 (XML Processing)
* Translation of Tree-processing Programs into Stream-processing Progra=
ms
based on Ordered Linear Type
Koichi Kodama (Tokyo Institute of Technology), Kohei Suenaga (Univers=
ity
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 Sulz=
mann
(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 Lightw=
eight
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 H=
opkins
University)
* Controlled Declassification based on Intransitive Noninterference
Heiko Mantel (ETH Z=FCrich) 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 (=C9cole Polytechnic F=E9d=E9rale 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 St=
yle
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 (Natio=
nal
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) a=
nd
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 Institut=
e 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 (Universit=E4t Freiburg) and Peter Thiemann (Univer=
sit=E4t
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 We=
elden
(Nijmegen University)
* A MATLAB-based Code Generator for Sparse Matrix Computations
Hideyuki Kawabata (Hiroshima City University), Mutsumi Suzuki (Hirosh=
ima
City University), and Toshiaki Kitamura (Hiroshima City University)
4:30-6:00 Session 7 (Foundations)
* D-Fusion: a Distinctive Fusion Calculus
Michele Boreale (Universit=E0 di Firenze), Maria Grazia Buscemi (Univ=
ersit=E0
di Pisa), and Ugo Montanari (Universit=E0 di Pisa)
* A Functional Language for Logarithmic Space
Peter M=F8ller Neergaard (Brandeis University)
* Build, Augment and Destroy, Universally
Neil Ghani (University of Leicester), Tarmo Uustalu (Tallinn Universi=
ty 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 (=C9cole Polytechnic F=E9d=E9rale 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 Optimizati=
ons
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 (Optional)
MORE INFORMATION
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Please visit APLAS 2004 local arrangement web site at
http://www.iis.sinica.edu.tw/Conference/APLAS2004/
CONTACT
=3D=3D=3D=3D=3D=3D=3D
Please send e-mail to
APLAS2004 at iis.sinica.edu.tw
---------------------------------------------------------------------------=
----
More information about the Haskell
mailing list