September 2004 - Haskell

APLAS'04: Call for Participation + Posters
by Craciun Mihai Florin Gabriel 03 Sep '04

03 Sep '04

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 ===== Institute of Information Science, Academia Sinica Nangang 115, Taipei, Taiwan REGISTRATION FEE ================ General: US$ 250 (early), US$ 275 (late). Student: US$ 150 (early), US$ 175 (late). POSTERS ======= Poster submission remains open until Sept. 10, 2004. Please visit http://www.comp.nus.edu.sg/~aplas/posters.htm PROGRAM ======= 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 St�phane 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 Z�rich) 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 (�cole Polytechnic F�d�rale 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 (Universit�t Freiburg) and Peter Thiemann (Universit�t 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 (Universit� di Firenze), Maria Grazia Buscemi (Universit� di Pisa), and Ugo Montanari (Universit� di Pisa) * A Functional Language for Logarithmic Space Peter M�ller 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 (�cole Polytechnic F�d�rale 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 (Optional) MORE INFORMATION ================ Please visit APLAS 2004 local arrangement web site at http://www.iis.sinica.edu.tw/Conference/APLAS2004/ CONTACT ======= Please send e-mail to APLAS2004(a)iis.sinica.edu.tw -------------------------------------------------------------------------------

1 0

TLCA'05 Second Call for Papers
by Hasegawa Masahito 02 Sep '04

02 Sep '04

Seventh International Conference on Typed Lambda Calculi and Applications (TLCA '05) Nara, Japan 21-23 April 2005 (Colocated with RTA as RDP '05) http://www.kurims.kyoto-u.ac.jp/rdp05/tlca/ SECOND CALL FOR PAPERS ** NEW: INVITED SPEAKERS ** ** IMPORTANT: SUBMISSION DEADLINE 2 NOVEMBER 2004 ** The TLCA series of conferences serves as a forum for presenting original research results that are broadly relevant to the theory and applications of typed lambda calculi and related systems. The following list of topics is non-exhaustive: * Typed and untyped lambda-calculi as models of computation. * Proof-theory: Natural deduction, sequent calculi, cut elimination and normalization. Propositions as types, linear logic and proof nets. * Types: Subtypes, dependent types, type inference, polymorphism, types for security. * Semantics: Denotational semantics, game semantics, realizability, categorical models. * Programming languages: Foundations of functional and object-oriented programming, proof search, logic programming, type checking. * Implementation: Abstract machines, parallel execution, optimal reduction, program optimization. * Computer-aided reasoning. The programme of TLCA'05 will consist of three invited talks and about 25 papers selected from original contributions. Accepted papers will be published as a volume of Springer Lecture Notes in Computer Science series. [http://www.springer.de/comp/lncs/index.html] Invited Speakers: ----------------- Thierry Coquand, Goteborg Amy Felty, Ottawa (joint speaker with RTA) Susumu Hayashi, Kobe Submissions: ------------ The submitted papers should describe original work and should allow the Programme Committee to assess the merits of the contribution: in particular references and comparisons with related work should be included. Submission of material already published or submitted to other conferences with published proceedings is not allowed. Papers should not exceed 15 pages in Springer LNCS format. An abstract (ASCII text) of no more than 150 words should be sent separately at least a week before the paper submission deadline. All submissions should be sent by e-mail to tlca05(a)mimuw.edu.pl Important dates: ---------------- Authors are required to submit a paper title and a short abstract at least a weak before the paper submission deadline. All deadlines below are at 24:00 Central European time (GMT+1). Titles and abstracts due: October 25, 2004 Paper submission deadline: November 2, 2004 Notification: December 22, 2004 Final versions due: January 31, 2005 Accepted papers should be prepared according to Springer LNCS guidelines as described in http://www.springer.de/comp/lncs/authors.html. Final versions must include all source files. Further information is available from the conference web page http://www.kurims.kyoto-u.ac.jp/rdp05/tlca/ Inquiries concerning submissions and programme should be addressed to tlca05(a)mimuw.edu.pl. Inquiries concerning the conference organization and participation should be sent to tlca05org(a)kurims.kyoto-u.ac.jp TLCA Steering Committee: ------------------------ Samson. Abramsky, Oxford, chair Henk Barendregt, Nijmegen Mariangiola Dezani-Ciancaglini, Turin Roger Hindley, Swansea Martin Hofmann, Munich TLCA 05 Programme Committee: ---------------------------- Thorsten Altenkirch, University of Nottingham Stefano Berardi, University of Turin Adriana Compagnoni, Stevens Institute of Technology, Hoboken Herman Geuvers, Nijmegen University Andy Gordon, Microsoft Research, Cambridge Fritz Henglein, Copenhagen University Martin Hofmann, LMU Munich Assaf J. Kfoury, Boston University Atsushi Ohori, JAIST, Tatsunokuchi Laurent Regnier, IML Marseille Pawel Urzyczyn, Warsaw University, chair Marek Zaionc, Jagiellonian University, Cracow TLCA 05 Organizing Committee: ----------------------------- Masahito Hasegawa, Kyoto, chair Ryu Hasegawa, Tokyo Mitsu Okada, Keio Masahiko Sato, Kyoto Masako Takahashi, ICU ------------------------------------------------------------------------------

1 0

Announce: HaRP (Haskell Regular Patterns) version 0.2
by Niklas Broberg 01 Sep '04

01 Sep '04

We have released a new version of HaRP. Major updates are: * A revised syntax. * Regular patterns are now non-greedy by default. More information and downloads can be found at http://www.dtek.chalmers.se/~d00nibro/harp/ /Niklas Broberg _________________________________________________________________ Add photos to your e-mail with MSN 8. Get 2 months FREE*. http://join.msn.com/?page=features/featuredemail

1 0