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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 0ABC7801F6 for ; Tue, 12 Sep 2017 15:36:30 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=npapoylias@gmail.com; spf=Pass smtp.mailfrom=npapoylias@gmail.com; spf=None smtp.helo=postmaster@mail-it0-f49.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of npapoylias@gmail.com) identity=pra; client-ip=209.85.214.49; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="npapoylias@gmail.com"; x-sender="npapoylias@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of npapoylias@gmail.com designates 209.85.214.49 as permitted sender) identity=mailfrom; client-ip=209.85.214.49; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="npapoylias@gmail.com"; x-sender="npapoylias@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-it0-f49.google.com) identity=helo; client-ip=209.85.214.49; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="npapoylias@gmail.com"; x-sender="postmaster@mail-it0-f49.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Aktg2lBK7V9BNZY4dfNmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgXL/XxwZ3uMQTl6Ol3ixeRBMOAtKIC1rKempujcFJDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBWB6kG1uDUbHxG6MQtu?= =?us-ascii?q?Osz0HJTThoK5zbOc4ZrWNiNJjzn1WbpqKwSyrAzK/p0QmYJ6Lbc1yxLSinRNcu?= =?us-ascii?q?VSg2hvIATAzF7H+s6s8cs7oGxrsPU7+psYXA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BOCwDB4bdZhjHWVdFdHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgwNSAT5uJweDcGNTmQ+Ca4dLaYc+h1EKI4FggzuEOAdDFAEBAQE?= =?us-ascii?q?BAQEBAQEBEgEBAQgLCwgoL4IzIoJnBh0BGwwECgQDEgMNNwIkAREBBQE1CQuKB?= =?us-ascii?q?AEDFRCNPo1Wg0VAjAuCBQUBHIMKBYNeChknDVeDJB4CBhKDGYICgVCBY4JzBIF?= =?us-ascii?q?tAYMTVIJmgmEFkSeHDIhBh1uMd4ITW4UNinUCjQyIDxQFH4EVDyeBLlMkeYRvG?= =?us-ascii?q?wSBdT42AYdHgkEBAQE?= X-IPAS-Result: =?us-ascii?q?A0BOCwDB4bdZhjHWVdFdHAEBBAEBCgEBFwEBBAEBCgEBgwN?= =?us-ascii?q?SAT5uJweDcGNTmQ+Ca4dLaYc+h1EKI4FggzuEOAdDFAEBAQEBAQEBAQEBEgEBA?= =?us-ascii?q?QgLCwgoL4IzIoJnBh0BGwwECgQDEgMNNwIkAREBBQE1CQuKBAEDFRCNPo1Wg0V?= =?us-ascii?q?AjAuCBQUBHIMKBYNeChknDVeDJB4CBhKDGYICgVCBY4JzBIFtAYMTVIJmgmEFk?= =?us-ascii?q?SeHDIhBh1uMd4ITW4UNinUCjQyIDxQFH4EVDyeBLlMkeYRvGwSBdT42AYdHgkE?= =?us-ascii?q?BAQE?= X-IronPort-AV: E=Sophos;i="5.42,383,1500933600"; d="scan'208,217";a="290692020" Received: from mail-it0-f49.google.com ([209.85.214.49]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 12 Sep 2017 15:36:28 +0200 Received: by mail-it0-f49.google.com with SMTP id v19so23521764ite.0 for ; Tue, 12 Sep 2017 06:36:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=TS4UVUE7S3EIY/EgVDuKPWnwXlNQ/C752pNUTqsGYcA=; b=Ugs5S3cP0mqJy8ai45JYqaQEL1noIG8MXXri5CxPTEUWnUFCC9JFZafGNfJ1CkCfAO SqDw7WkQrQW65V5ZoGsxbfYHrzkhrUwMhxtbxXdQEkIfPSebAA0Mfz1Lgb+aEOjDKUQX mqzUS+uUEz0xUSjBkAk0gWhQqOCDYwFW86FVzy8mUegqzArdCKLQVBH++9Pdctg6qCp/ c2S5Ul23PdARTojq8C9XcRMas5q5PhBaIfkgA9JL5+WsMGrSZRn1qVlz7w6eeExVdlTY OvdkkI4w5YXBKpwlu4FF6mbSFoAxM2DcICks1afCJIUV5yq5LAZy4G6C6xvptjVaxufw 6SHQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=TS4UVUE7S3EIY/EgVDuKPWnwXlNQ/C752pNUTqsGYcA=; b=TkIgflDRKuZJoDngn5IxB4/xYUjieHqO6IohhZtFIikrtxsiqp6g1G1u8K/fQonMLw GeGCnlNwvHPWCcIPXtvFXoyNJL6MWa/gP1Hvk+dAWbmrnzX9nxUjNaP5U2MKEK6WhcnV HNQDKZUe4nLHvyl0wfaAxo0+cJlDzif6TrBgdPeojKfGYY3ZfyH5ckn//Nh9MIvLlNxH C9zLpeH0M1eh/JK4hLrIuaW18JPJ9YjxtZqfKZWlIS5xEVXj5YvUh43sOvf6wCWyHWYf ukeRo5A6vegvR+LNXD3rJjYtE1LdAjtzIs7Wclg2QNZeBSqWrSqxtBTTu3sx+eZRYTOG BWqw== X-Gm-Message-State: AHPjjUjO4jGSHuEdwo7GtJYlLbi8g9tmTBG9iYNDdS+7Fs8WLghflihY Z+3Asyjl/gBLlhWCbMNrlrx3sHu3yVnX X-Google-Smtp-Source: AOwi7QBIZF5l/XCionoQdAkBZztEZZq4yO++3Ogu7rqlF5WGl1mzPHT5wiXSz5nTWUwirY8nRlOqPyB7X56thEJotrA= X-Received: by 10.36.244.6 with SMTP id d6mr1055900iti.22.1505223387038; Tue, 12 Sep 2017 06:36:27 -0700 (PDT) MIME-Version: 1.0 Received: by 10.2.34.65 with HTTP; Tue, 12 Sep 2017 06:36:26 -0700 (PDT) From: Nick Papoylias Date: Tue, 12 Sep 2017 15:36:26 +0200 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="f403045fb0d44ac9cf0558fe2185" Subject: [Caml-list] [OOPS @ SAC 2018] Extended submission deadline: Sept. 25 --f403045fb0d44ac9cf0558fe2185 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable ************************************************** OOPS 2018 Call for Papers Object-Oriented Programming Languages and Systems http://oops.disi.unige.it/OOPS18 ************************************************** Technical Track at the 33rd ACM Symposium on Applied Computing, SAC 2018 https://www.sigapp.org/sac/sac2018/index.html April 9 - 13, 2018 Pau, France - Important Dates Submission of regular papers and SRC abstracts *September 25, 2017 (extended deadline)* Paper and SRC notifications November 10, 2017 Paper and SRC camera-ready copies November 25, 2017 Author registration December 10, 2017 SAC 2018 April 9 - 13, 2018 - Track Chair Davide Ancona (davide.ancona@unige.it) DIBRIS, University of Genova, Italy - SAC 2018 For the past thirty two 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 2018 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP) and is hosted by hosted by Universit=C3=A9 de Pau et des Pays de l'Adour (UPPA), Pau, France. - 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 2018 Tracks. The Student Research Competition (SRC) Program is designed to provide graduate students the opportunity to meet and exchange ideas with researchers and practitioners in their areas of interest. - OOPS Track: Aims and Topics 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, debugging, evaluation, deployment, maintenance, reuse, and software evolution and adaptation. The specific 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 * Internet of Things technology and programming * Integration with other paradigms * Interoperability, versioning and software evolution and adaptation * Language design and implementation * Modular and generic programming * Reflection, meta-programming * Runtime verification and monitoring * Safe, secure and dependable software * Static analysis * Testing and debugging * 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 to the track in pdf format using the START submission system for regular and SRC papers available through the SAC 2018 home page. Submission of the same paper to multiple tracks is not allowed; 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. SAC 2018 will use double-blind reviewing; to facilitate this, author name(s) and institution(s) must be omitted, and references to authors' own related work should be in the third person. The format of the paper must adhere to the sig-alternate style (http://www.acm.org/sigs/publications/proceedings-templates). Full papers are limited to 8 pages, in camera-ready format, included in the registration fee. Authors have the option to include up to two (2) extra pages at additional fee of US$80 per page. Papers accepted as posters are limited to 3 pages, in camera-ready format, included in the registration fee. Authors have the option to include only one (1) extra page at additional fee of US$80. SRC abstracts are limited to 2 pages, in camera-ready format, included in the registration fee. No extra pages are allowed. Papers that fall short the above requirements are subjected to rejection. All papers must be submitted by September 15, 2017. For more information please visit the SAC 2018 home page. - 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. Paper registration is required, allowing the inclusion of the papers and posters in the conference proceedings. An author or a proxy attending SAC MUST present the paper. This is a requirement for all accepted papers, posters, and invited SRC submissions to be included in the ACM digital library. No-show of scheduled papers, posters, and student research abstracts will result in excluding them from 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 (http://oops.disi.unige.it/special-issues), 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 ( http://oops.disi.unige.it/special-issues), after the conference. --f403045fb0d44ac9cf0558fe2185 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
**************************************************
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 OOPS 2018 Call for Papers
<= div>Object-Oriented Programming Languages and Systems
=C2=A0 =C2= =A0 =C2=A0 =C2=A0http://oops.d= isi.unige.it/OOPS18
*****************************************= *********

Technical Track at the 33rd ACM Symposiu= m on Applied Computing, SAC 2018

April 9 - 13, 2018
Pau, France

- Important Dates

Submission of r= egular papers and SRC abstracts
=C2=A0 =C2=A0 *September 25, 2017= (extended deadline)*
Paper and SRC notifications
=C2= =A0 =C2=A0 November 10, 2017
Paper and SRC camera-ready copies
=C2=A0 =C2=A0 November 25, 2017
Author registration
=
=C2=A0 =C2=A0 December 10, 2017
SAC 2018
=C2=A0 = =C2=A0 April 9 - 13, 2018

- Track Chair
=
Davide Ancona (dav= ide.ancona@unige.it)
DIBRIS, University of Genova, Italy

- SAC 2018

For the past thirt= y two years, the ACM Symposium on Applied Computing (SAC) has been a
<= div>primary gathering forum for applied computer scientists, computer engin= eers, software
engineers, and application developers from around = the world.

SAC 2018 is sponsored by the ACM Specia= l Interest Group on Applied Computing (SIGAPP) and
is hosted by h= osted by Universit=C3=A9 de Pau et des Pays de l'Adour (UPPA), Pau, Fra= nce.

- Call For Student Research Abstracts

Graduate students seeking feedback from the scientific co= mmunity on their research ideas
are invited to submit original ab= stracts of their research work in areas of experimental
computing= and application development related to SAC 2018 Tracks. The Student Resear= ch
Competition (SRC) Program is designed to provide graduate stud= ents the opportunity to meet
and exchange ideas with researchers = and practitioners in their areas of interest.

- OO= PS Track: Aims and Topics

Object-oriented programm= ing (OOP) has become the mainstream programming paradigm for
deve= loping complex software systems in most application domains.

=
However, existing OO languages and platforms need to evolve to m= eet the continuous demand
for new abstractions, features, and too= ls able to reduce the time, effort, and cost of
creating object-o= riented 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, implementat= ion,
concurrency and distribution, code generation, analysis, ver= ification, testing, debugging,
evaluation, deployment, maintenanc= e, reuse, and software evolution and adaptation.

T= he specific topics of interest for the OOPS track include, but are not limi= ted to, the
following:

* =C2=A0 =C2=A0As= pects and components
* =C2=A0 =C2=A0Code generation, and optimiza= tion, just-in-time compilation
* =C2=A0 =C2=A0Context-oriented pr= ogramming
* =C2=A0 =C2=A0Databases and persistence
* = =C2=A0 =C2=A0Distribution and concurrency
* =C2=A0 =C2=A0Dynamic = and scripting languages
* =C2=A0 =C2=A0Evaluation
* =C2= =A0 =C2=A0Feature Oriented Software Development and Programming
*= =C2=A0 =C2=A0Formal verification
* =C2=A0 =C2=A0Internet of Thin= gs technology and programming
* =C2=A0 =C2=A0Integration with oth= er paradigms
* =C2=A0 =C2=A0Interoperability, versioning and soft= ware evolution and adaptation
* =C2=A0 =C2=A0Language design and = implementation
* =C2=A0 =C2=A0Modular and generic programming
* =C2=A0 =C2=A0Reflection, meta-programming
* =C2=A0 =C2= =A0Runtime verification and monitoring
* =C2=A0 =C2=A0Safe, secur= e and dependable software
* =C2=A0 =C2=A0Static analysis
* =C2=A0 =C2=A0Testing and debugging
* =C2=A0 =C2=A0Type system= s and type inference
* =C2=A0 =C2=A0Virtual machines
OOPS offers a great opportunity to the OOP community to gain v= isibility, and to
exploit the inter-disciplinary nature of SAC.

- Submission Instructions

= Prospective papers should be submitted to the track in pdf format using the= START
submission system for regular and SRC papers available thr= ough the SAC 2018 home page.

Submission of the sam= e paper to multiple tracks is not allowed; all papers should
repr= esent original and previously unpublished works that are currently not unde= r review in
any conference or journal. Both basic and applied res= earch papers are welcome.

SAC 2018 will use double= -blind reviewing; to facilitate this, author name(s) and
institut= ion(s) must be omitted, and references to authors' own related work sho= uld be in
the third person.

The format o= f the paper must adhere to the sig-alternate style

Fu= ll papers are limited to 8 pages, in camera-ready format, included in the r= egistration
fee. Authors have the option to include up to two (2)= extra pages at additional fee of
US$80 per page.

<= /div>
Papers accepted as posters are limited to 3 pages, in camera-read= y format, included in the
registration fee. Authors have the opti= on to include only one (1) extra page at additional
fee of US$80.=

SRC abstracts are limited to 2 pages, in camera-r= eady format, included in the registration
fee. No extra pages are= allowed.

Papers that fall short the above require= ments are subjected to rejection. All papers must
be submitted by= September 15, 2017. For more information please visit the SAC 2018 home
page.

- Proceedings

Accepted papers will be published by ACM in the annual conference procee= dings. Accepted
posters will be published as extended abstracts i= n the same proceedings.

Paper registration is requ= ired, allowing the inclusion of the papers and posters in the
con= ference proceedings. An author or a proxy attending SAC MUST present the pa= per. This is
a requirement for all accepted papers, posters, and = invited SRC submissions to be included
in the ACM digital library= . No-show of scheduled papers, posters, and student research
abst= racts will result in excluding them from the ACM digital library. Student r= egistration
is only intended to encourage student attendance and = does not cover inclusion of
papers/posters in the conference proc= eedings.

Finally, following the tradition of the p= ast OOPS editions
(http://oops.disi.unige.it/special-issues), depending on the qual= ity and the overall
number of accepted papers, authors of selecte= d papers will be invited to submit an
extended version for a jour= nal special issue (htt= p://oops.disi.unige.it/special-issues),
after the conference.=
--f403045fb0d44ac9cf0558fe2185--