From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id ADEA6820A1 for ; Thu, 8 Aug 2013 06:18:42 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of garrigue@math.nagoya-u.ac.jp) identity=pra; client-ip=133.6.130.5; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="garrigue@math.nagoya-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of garrigue@math.nagoya-u.ac.jp) identity=mailfrom; client-ip=133.6.130.5; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="garrigue@math.nagoya-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mailhost.math.nagoya-u.ac.jp) identity=helo; client-ip=133.6.130.5; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="postmaster@mailhost.math.nagoya-u.ac.jp"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjEEAEwbA1KFBoIFdGdsb2JhbABbgzsBg2K7MYEvDgEMFQg8gkgEASEBJAQKAwIyAwsaA18TCQuHew2LH5pUbwGDWwKFWIgAB4EljTmBPIJrNnSJLI44gSqEfIYFiEqBWQ X-IPAS-Result: AjEEAEwbA1KFBoIFdGdsb2JhbABbgzsBg2K7MYEvDgEMFQg8gkgEASEBJAQKAwIyAwsaA18TCQuHew2LH5pUbwGDWwKFWIgAB4EljTmBPIJrNnSJLI44gSqEfIYFiEqBWQ X-IronPort-AV: E=Sophos;i="4.89,836,1367964000"; d="scan'208";a="23483745" Received: from rabbit.math.nagoya-u.ac.jp (HELO mailhost.math.nagoya-u.ac.jp) ([133.6.130.5]) by mail3-smtp-sop.national.inria.fr with ESMTP; 08 Aug 2013 06:18:40 +0200 Received: from mailhost.math.nagoya-u.ac.jp (localhost [127.0.0.1]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id 6A11A6308; Thu, 8 Aug 2013 13:18:36 +0900 (JST) Received: from mailhost.math.nagoya-u.ac.jp (localhost [127.0.0.1]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id 583B72521; Thu, 8 Aug 2013 13:18:35 +0900 (JST) DomainKey-Signature: h=Received:Content-Type:Mime-Version:Subject:From:Date:Cc:Content-Transfer-Encoding:Message-Id:To:X-Mailer; b=; c=nofws; d=math.nagoya-u.ac.jp; q=; s=alpha Received: from [192.168.43.31] (om126192199079.1.openmobile.ne.jp [126.192.199.79]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTPSA id 639B1251A; Thu, 8 Aug 2013 13:18:31 +0900 (JST) Content-Type: text/plain; charset=iso-2022-jp Mime-Version: 1.0 (Mac OS X Mail 6.5 \(1508\)) From: Jacques Garrigue Date: Thu, 8 Aug 2013 13:18:34 +0900 Cc: Davide Ancona Content-Transfer-Encoding: quoted-printable Message-Id: <942DF9A5-2669-40EC-A525-E1AE94F494C6@math.nagoya-u.ac.jp> To: OCaml Mailing X-Mailer: Apple Mail (2.1508) Subject: [Caml-list] OOPS track at SAC 2014: Call for Papers 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 =20 March 24-28, 2014 - Important Dates=20 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=20 - Track Chair Davide Ancona (davide@disi.unige.it) DIBRIS, University of Genova, Italy - Program Committee=20 PROGRAM COMMITTEE=20 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=1B$BC$=1B(Brvi, 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=1B$BC#=1B(Bo 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, Vie= tnam Jianjun Zhao, Shanghai Jiaotong University, China - SAC 2014 For the past twenty-eight years, the ACM Symposium on Applied Computing (SA= C) has=20 been a primary gathering forum for applied computer scientists, computer en= gineers,=20 software engineers, and application developers from around the world. SAC 2014 is sponsored by the ACM Special Interest Group on Applied Computin= g (SIGAPP),=20 and will be held at Gyeongju, Korea.=20 - Call For Student Research Abstracts: Graduate students seeking feedback from the scientific community on their r= esearch ideas=20 are invited to submit original abstracts of their research work in areas of= experimental=20 computing and application development related to SAC 2014 Tracks. The Stude= nt Research=20 Competition (SRC) program is designed to provide graduate students the oppo= rtunity to meet=20 and exchange ideas with researcher and practitioners in their areas of inte= rest. - OOPS Track Object-oriented programming (OOP) has become the mainstream programming par= adigm for=20 developing complex software systems in most application domains. However, existing OO languages and platforms need to evolve to meet the con= tinuous=20 demand for new abstractions, features, and tools able to reduce the time, e= ffort, and=20 cost of creating object-oriented software systems, and improving their perf= ormance, quality=20 and usability. To this aim, OOPS is seeking for research advances bringing benefits in all= those typical=20 aspects of software development, such as modeling, prototyping, design, imp= lementation,=20 concurrency and distribution, code generation, analysis, verification, test= ing, evaluation,=20 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,=20 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, an= d to=20 exploit the inter-disciplinary nature of SAC. - Submission Instructions Prospective papers should be submitted in pdf format using the provided aut= omated submission system (https://www.softconf.com/d/sac2014 for regular papers, and https://www.sof= tconf.com/d/sac-src2014 for SRC papers. All papers should represent original and previously unpublished works that = are currently not under=20 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 p= aper to multiple tracks is=20 not allowed. The format of the paper must adhere to the sig-alternate style= .=20 Full papers are limited to 6 pages with the option for up to 2 additional p= ages at cost (US$80 per page).=20 Posters are limited to 2 pages with the option for up to 1 additional page = at cost (US$80).=20 Papers that fail to comply with length limitations risk rejection. All pape= rs must be submitted by=20 September 13, 2013. For more information please visit the SAC 2014 Website. - Proceedings=20 Accepted papers will be published by ACM in the annual conference proceedin= gs. Accepted posters will be=20 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=20 proceedings and CD. Papers and posters NOT presented at conference will NOT= be included in the ACM digital=20 library. Student registration is only intended to encourage student attenda= nce and does not cover inclusion=20 of papers/posters in the conference proceedings. Finally, following the tradition of the past OOPS editions, depending on th= e quality and the overall number=20 of accepted papers, authors of selected papers will be invited to submit an= extended version for a journal=20 special issue, after the conference.