CFP: APLAS 2006

CFP: APLAS 2006

[Eijiro Sumii]

[sending on behalf of the program chair]

****************************************************
*** The deadline of abstract submission: June 2  ***
*** The deadline of paper submission: June 6     ***
****************************************************

                     CALL FOR PAPERS

              The Fourth ASIAN Symposium on
         Programming Languages and Systems
                   (APLAS 2006)
         Sydney, Australia, November 8-10, 2006
         http://www.kb.ecei.tohoku.ac.jp/aplas2006/

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). Proceedings of the past symposiums
were published in Springer-Verlag's LNCS 2895, 3302, and 3780.

TOPICS

The symposium is devoted to both foundational and practical issues in
programming languages and systems. Papers are solicited on, but not limited,
to the following topics:

   * semantics, logics, foundational theory
   * type systems, language design
   * program analysis, optimization, transformation
   * software security, safety, verification
   * compiler systems, interpreters, abstract machines
   * domain-specific languages and systems
   * programming tools and environments

Original results that bear on these and related topics are solicited. Papers
investigating novel uses and applications of language systems are especially
encouraged. Authors concerned about the appropriateness of a topic are welcome
to consult with the program chair (koba@ecei.tohoku.ac.jp) prior to submission.


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)

INVITED SPEAKERS
 Jens Palsberg (UCLA, USA)
 Peter Stuckey (University of Melbourne, Australia)

SUBMISSIONS INFORMATION

Papers should be submitted electronically online via the conference
submission webpage. Acceptable formats are PostScript or PDF, viewable
by Ghostview or Acrobat Reader. Submissions should not exceed 16 pages
in LNCS format, including bibliography and figures.  Submitted papers
will be judged on the basis of significance, relevance, correctness,
originality, and clarity. They should clearly identify what has been
accomplished and why it is significant. Submitted papers must be
unpublished and not submitted for publication elsewhere. The
proceedings of the symposium will be published as a volume in
Springer-Verlag's Lecture Notes in Computer Science series. Authors
of accepted papers must provide all the electronic files of the final
version of papers according to the instruction provided at the LNCS
home page (www.springer.com/lncs).


IMPORTANT DATES

Abstract Submission: June 2, 2006
Paper Submission: June 6, 2006
Author notification: August 5, 2006
Camera Ready: August 25, 2006
Conference: November 8-10, 2006

Re: [Haskell] CFP: APLAS 2006

[Marco Morazan]

[-- Attachment #1: Type: text/plain, Size: 2866 bytes --]

                    Call For Participation

        The 2006 World Congress in Computer Science,
        Computer Engineering, and Applied Computing
                        WORLDCOMP'06
              June 26-29, 2006, Las Vegas, USA


Academic Co-sponsors: Massachusetts Institute of Technology's (MIT)
Media Lab; Texas Advanced Computer Center (TACC) of University of Texas
at Austin; and others.

You are invited to participate in WORLDCOMP'06 congress.  The congress
will be held at Monte Carlo Resort, Las Vegas, USA, June 26-29, 2006.
The event is composed of 24+4 tracks (includes over 150 sessions/workshops),
a number of keynote lectures, invited talks, tutorials, and panel
discussions.  The main tracks are listed below:

o Conference on Parallel & Distributed Processing Techniques & Applications
 (PDPTA'06) + Real-Time Computing Systems & Applications (RTCOMP)
o Conference on Scientific Computing (CSC'06)
o Conference on Grid Computing & Applications (GCA'06)
o Conference on Security & Management (SAM'06)
o Conference on Artificial Intelligence (ICAI'06)
o Conference on Machine Learning; Models, Technologies & Applications
 (MLMTA'06)
o Conference on Software Engineering Research & Practice (SERP'06)
o Conference on Programming Languages & Compilers (PLC'06)
o Conference on Internet Computing (ICOMP'06) + Semantic Web & Web Services
 (SWWS'06) + Computer Games Development (CGD'06)
o Conference on Computer Design (CDES'06) + Computing in Nanotechnology
 (CNAN'06)
o Conference on Embedded Systems & Applications (ESA'06)
o Conference on Wireless Networks (ICWN'06)
o Conference on Pervasive Systems & Computing (PSC'06)
o Conference on Image Processing, Computer Vision, & Pattern Recognition
 (IPCV'06)
o Conference on Computer Graphics & Virtual Reality (CGVR'06)
o Conference on Modeling, Simulation & Visualization Methods (MSV'06)
o Conference on Frontiers in Education: Computer Science & Computer
 Engineering (FECS'06)
o Conference on Foundations of Computer Science (FCS'06)
o Conference on e-Learning, e-Business, Enterprise Information Systems,
 e-Government, & Outsourcing (EEE'06)
o Conference on Data Mining (DMIN'06)
o Conference on Information & Knowledge Engineering (IKE'06)
o Conference on Bioinformatics & Computational Biology (BIOCOMP'06)
o Conference on Engineering of Reconfigurable Systems & Algorithms (ERSA'06)
o Conference on Communications in Computing (CIC'6)


Registration information can be found at:
 http://www.world-academy-of-science.org/worldcomp06/ws/Registration

Hotel information can be found at:
 http://www.world-academy-of-science.org/worldcomp06/ws/Location

WORLDCOMP'06 programs/schedules can be found at:
 http://www.world-academy-of-science.org/worldcomp06/ws/Program

General information about the congress can be found at:
 http://www.world-academy-of-science.org/worldcomp06/ws/index_html

[-- Attachment #2: Type: text/html, Size: 4071 bytes --]