caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
To: OCaml Mailing <caml-list@inria.fr>
Cc: Davide Ancona <davide.ancona@unige.it>
Subject: [Caml-list] OOPS track at SAC 2014: Call for Papers
Date: Thu, 8 Aug 2013 13:18:34 +0900	[thread overview]
Message-ID: <942DF9A5-2669-40EC-A525-E1AE94F494C6@math.nagoya-u.ac.jp> (raw)

                             OOPS 2014 Call for Papers

               Object-Oriented Programming Languages and Systems

                          http://oops.disi.unige.it/OOPS14

        Technical Track at the 29th ACM Symposium on Applied Computing, SAC 2014

                     http://www.acm.org/conferences/sac/sac2014

                                   Gyeongju, Korea
 
                                  March 24-28, 2014

- Important Dates 

Regular papers:

September 13, 2013
    Submission of regular papers and SRC abstracts
November 15, 2013
    Notification of paper and SRC acceptance/rejection
December 6, 2013
    Camera-ready copies of accepted papers
March 24-28, 2014
    SAC 2014 

- Track Chair

Davide Ancona (davide@disi.unige.it)
DIBRIS, University of Genova, Italy


- Program Committee 

PROGRAM COMMITTEE 

 Alexandre Bergel, University of Chile, Chile
 Yu-Fang Chen, Academia Sinica, Taiwan
 Shigeru Chiba, University of Tokyo, Japan
 Jacques Garrigue, Nagoya University, Japan
 Robert Hirschfeld, Hasso-Plattner-Institut, University of Potsdam, Germany
 Hideya Iwasaki, The University of Electro-Communications, Japan
 Jaakko J辰rvi, Texas A&M University, USA
 Yuh-Jzer Joung, National Taiwan University, Taipei, Taiwan
 Kiyokuni Kawachiya, IBM Tokyo Research Laboratory, Japan
 Doug Lea, Suny Oswego, USA
 Hidehiko Masuhara, Tokyo Institute of Technology, Japan
 Sean McDirmid, Microsoft Research Asia, Beijing, China
 Bruno Oliveira National University of Singapore, Singapore
 Hakjoo Oh, Seoul National University, Korea
 Sukyoung Ryu, Korea Advanced Institute of Science and Technology, Korea
 Jo達o Costa Seco, Universidade Nova de Lisboa, Portugal
 Marco Servetto, Victoria University of Wellington, New Zealand
 Anh-Hoang Truong, VNU University of Engineering and Technology, Hanoi, Vietnam
 Jianjun Zhao, Shanghai Jiaotong University, China

- SAC 2014

For the past twenty-eight years, the ACM Symposium on Applied Computing (SAC) has 
been a primary gathering forum for applied computer scientists, computer engineers, 
software engineers, and application developers from around the world.

SAC 2014 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), 
and will be held at Gyeongju, Korea. 

- Call For Student Research Abstracts:

Graduate students seeking feedback from the scientific community on their research ideas 
are invited to submit original abstracts of their research work in areas of experimental 
computing and application development related to SAC 2014 Tracks. The Student Research 
Competition (SRC) program is designed to provide graduate students the opportunity to meet 
and exchange ideas with researcher and practitioners in their areas of interest.

- OOPS Track

Object-oriented programming (OOP) has become the mainstream programming paradigm for 
developing complex software systems in most application domains.

However, existing OO languages and platforms need to evolve to meet the continuous 
demand for new abstractions, features, and tools able to reduce the time, effort, and 
cost of creating object-oriented software systems, and improving their performance, quality 
and usability.

To this aim, OOPS is seeking for research advances bringing benefits in all those typical 
aspects of software development, such as modeling, prototyping, design, implementation, 
concurrency and distribution, code generation, analysis, verification, testing, evaluation, 
deployment, maintenance, reuse, and software evolution and adaptation.

The specific OO related topics of interest for the OOPS track include, but are not limited to, 
the following:

*    Aspects and components
*    Code generation, and optimization, just-in-time compilation
*    Context-oriented programming
*    Databases and persistence
*    Distribution and concurrency
*    Dynamic and scripting languages
*    Evaluation
*    Feature Oriented Software Development and Programming
*    Formal verification
*    Integration with other paradigms
*    Interoperability, versioning and software evolution and adaptation
*    Language design and implementation
*    Modular and generic programming
*    Reflection, meta-programming
*    Secure and dependable software
*    Static analysis
*    Type systems and type inference
*    Virtual machines

OOPS offers a great opportunity to the OOP community to gain visibility, and to 
exploit the inter-disciplinary nature of SAC.

- Submission Instructions

Prospective papers should be submitted in pdf format using the provided automated submission system
(https://www.softconf.com/d/sac2014 for regular papers, and https://www.softconf.com/d/sac-src2014
for SRC papers.

All papers should represent original and previously unpublished works that are currently not under 
review in any conference or journal. Both basic and applied research papers are welcome.

Hardcopy and fax submissions will not be accepted. Submission of the same paper to multiple tracks is 
not allowed. The format of the paper must adhere to the sig-alternate style. 
Full papers are limited to 6 pages with the option for up to 2 additional pages at cost (US$80 per page). 
Posters are limited to 2 pages with the option for up to 1 additional page at cost (US$80). 

Papers that fail to comply with length limitations risk rejection. All papers must be submitted by 
September 13, 2013. For more information please visit the SAC 2014 Website.

- Proceedings 

Accepted papers will be published by ACM in the annual conference proceedings. Accepted posters will be 
published as extended abstracts in the same proceedings.

Please note that full registration is required for papers and posters to be included in the conference 
proceedings and CD. Papers and posters NOT presented at conference will NOT be included in the ACM digital 
library. Student registration is only intended to encourage student attendance and does not cover inclusion 
of papers/posters in the conference proceedings.

Finally, following the tradition of the past OOPS editions, depending on the quality and the overall number 
of accepted papers, authors of selected papers will be invited to submit an extended version for a journal 
special issue, after the conference.


                 reply	other threads:[~2013-08-08  4:18 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=942DF9A5-2669-40EC-A525-E1AE94F494C6@math.nagoya-u.ac.jp \
    --to=garrigue@math.nagoya-u.ac.jp \
    --cc=caml-list@inria.fr \
    --cc=davide.ancona@unige.it \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).