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 5F88480208 for ; Wed, 6 Sep 2017 10:52:19 +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-f50.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.50; 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.50 as permitted sender) identity=mailfrom; client-ip=209.85.214.50; 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-f50.google.com) identity=helo; client-ip=209.85.214.50; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="npapoylias@gmail.com"; x-sender="postmaster@mail-it0-f50.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AAcCgoxPnpqQaPyynrWol6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0K/nyrarrMEGX3/hxlliBBdydsK0UzbeO+4nbGkU+or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6a8TWO6msZExD7cA50?= =?us-ascii?q?PfjdG4jIjs3x2frh1YfUZlBuhTG+KYt7NBKnqQTYrYFCh5NrMqEgzhrAuVNHfu?= =?us-ascii?q?1XwSVjIlfFzEW03du54JM2q3cYgPkm7cMVCag=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CkCQAstq9ZhzLWVdFeHgYMGQYMgwJSA?= =?us-ascii?q?T6BFQeDcIE2mQyCaIgzhz+HUQoFHoFggzuENAdDFAEBAQEBAQEBAQEBEgEBAQg?= =?us-ascii?q?NCQgoL4IzIoJnBh0BGwwECgQDEgMNNwIkAREBBQE1CQuKBAEDFRCRKI1Wg0VAj?= =?us-ascii?q?AuCBQUBHIMKBYNqChknDVeDHh4CBhKDGIICgU6BY4JzBIFtgxJUgmaCYQWRKI9?= =?us-ascii?q?Mh1uMdoITWoUNineNCYgOFAUfgRUPJ4EuUyR4hG8bBIF1PjYBh2eCQQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CkCQAstq9ZhzLWVdFeHgYMGQYMgwJSAT6BFQeDcIE2mQy?= =?us-ascii?q?CaIgzhz+HUQoFHoFggzuENAdDFAEBAQEBAQEBAQEBEgEBAQgNCQgoL4IzIoJnB?= =?us-ascii?q?h0BGwwECgQDEgMNNwIkAREBBQE1CQuKBAEDFRCRKI1Wg0VAjAuCBQUBHIMKBYN?= =?us-ascii?q?qChknDVeDHh4CBhKDGIICgU6BY4JzBIFtgxJUgmaCYQWRKI9Mh1uMdoITWoUNi?= =?us-ascii?q?neNCYgOFAUfgRUPJ4EuUyR4hG8bBIF1PjYBh2eCQQEBAQ?= X-IronPort-AV: E=Sophos;i="5.41,483,1498514400"; d="scan'208,217";a="289769601" Received: from mail-it0-f50.google.com ([209.85.214.50]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 06 Sep 2017 10:52:18 +0200 Received: by mail-it0-f50.google.com with SMTP id p6so8408341itb.1 for ; Wed, 06 Sep 2017 01:52:18 -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=GcsajCyUWtgOK5nVH9WcbvoaMsgy+lNkJI1CUFnzbyA=; b=M4nk5kCCgKVsdTxDwB0Sa1DedJnRuKWSeaAVuysgEwii80zVTO1qsnVzVOM0MbIgu1 uHOfRuCbGGTHHBQqJvgPRAfIeolhZDwREMZCs4PD//t4OdcAAtbn3oZA/hAYBL2kjIad hmkKXMTc1JBBZr8Fqfj+0qG8ounxf9bEoapaLTlP7CNj+DmUIqX86dNpdbSo/O7/ThPR bsd9gHMl5Tmh9G/z0fZ95XREVGEQcb75zu1PGyjC9UZRoM+PC7TOvM0+JEcLPvtTTSeN 5PRt8J+6YePGnT6aJUHvTCkE5SJnH8n3pwOWL+85/IJRzrJPAFQu0XYy800MtIg93/0p MF0Q== 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=GcsajCyUWtgOK5nVH9WcbvoaMsgy+lNkJI1CUFnzbyA=; b=R7djX2PpXCPkUCcizZ93DVz3YaZARgx1/E8VNFz9D0qvEjyCBSms4boac9f4JqZRL/ tooWn4J95OB9CZGT4T9ry0YDMfQvYakVqLlp2jjDnCASzrOh0NtjWp3Hbh+vg+G1R7FQ WZgRC2e5wOmbMqkisjx1FN1o5tNvEi1mj1Uf37Qoj5gwGNNDNDvO6Qg6pF/V/iV6Z1sR 2PO1mWFt5kj8C3lYgLecUtqMovI7UNlDyRs739mQKORT0l5V+5FqDOoc/ialLILRFnU1 TC2i//CY5hx9FkMvAgk6T2hWeNX/JLexJ60+UZ+e9UEzv/XgwAPm6rLAHHFJXRWt7Eo6 PMUQ== X-Gm-Message-State: AHPjjUiFPkjcOdP/3afat/0lMe3b/IR7KAm4p5qRdA4y7AzZTMXg8F+K XC+ujvyjvufcM5Q/6maJ/2FTOIDZEVan X-Google-Smtp-Source: ADKCNb4sZ/iOZnkPELvK48SEc7GkLTJDtUTxS3B8U4poYWwRIOLFW0Zo3PnXE++b0tZBXCYa2prvH1Nz0hBh5rcs40s= X-Received: by 10.36.135.75 with SMTP id f72mr2519226ite.176.1504687936158; Wed, 06 Sep 2017 01:52:16 -0700 (PDT) MIME-Version: 1.0 Received: by 10.2.37.133 with HTTP; Wed, 6 Sep 2017 01:52:15 -0700 (PDT) From: Nick Papoylias Date: Wed, 6 Sep 2017 10:52:15 +0200 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="94eb2c03dc5eeecbbd05588175a8" Subject: [Caml-list] 1st CfP: OOPS @ SAC 2018 - April 9 - 13, Pau, France --94eb2c03dc5eeecbbd05588175a8 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 15, 2017 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. --94eb2c03dc5eeecbbd05588175a8 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
Object-Oriente= d Programming Languages and Systems
=C2=A0 =C2=A0 =C2=A0 =C2=A0http://oops.disi.unige.it/OOPS18<= br>**************************************************

Technical Trac= k at the 33rd ACM Symposium on Applied Computing, SAC 2018
https://www.sigapp.org/sac/sac= 2018/index.html

April 9 - 13, 2018
Pau, France

- Impor= tant Dates

Submission of regular papers and SRC abstracts
=C2=A0 = =C2=A0 September 15, 2017
Paper and SRC notifications
=C2=A0 =C2=A0 N= ovember 10, 2017
Paper and SRC camera-ready copies
=C2=A0 =C2=A0 Nove= mber 25, 2017
Author registration
=C2=A0 =C2=A0 December 10, 2017
= SAC 2018
=C2=A0 =C2=A0 April 9 - 13, 2018

- Track Chair

Da= vide 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) ha= s been a
primary gathering forum for applied computer scientists, comput= er 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 S= tudent Research Abstracts

Graduate students seeking feedback from th= e scientific community on their research ideas
are invited to submit ori= ginal abstracts of their research work in areas of experimental
computin= g and application development related to SAC 2018 Tracks. The Student Resea= rch
Competition (SRC) Program is designed to provide graduate students t= he opportunity to meet
and exchange ideas with researchers and practitio= ners in their areas of interest.

- OOPS Track: Aims and Topics
Object-oriented programming (OOP) has become the mainstream programming p= aradigm for
developing complex software systems in most application doma= ins.

However, existing OO languages and platforms need to evolve to = meet the continuous demand
for new abstractions, features, and tools abl= e to reduce the time, effort, and cost of
creating object-oriented softw= are 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, pr= ototyping, design, implementation,
concurrency and distribution, code ge= neration, analysis, verification, testing, debugging,
evaluation, deploy= ment, maintenance, reuse, and software evolution and adaptation.

The= specific topics of interest for the OOPS track include, but are not limite= d to, the
following:

* =C2=A0 =C2=A0Aspects and components
* = =C2=A0 =C2=A0Code generation, and optimization, just-in-time compilation* =C2=A0 =C2=A0Context-oriented programming
* =C2=A0 =C2=A0Databases an= d 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 Things technology = and programming
* =C2=A0 =C2=A0Integration with other paradigms
* =C2= =A0 =C2=A0Interoperability, versioning and software evolution and adaptatio= n
* =C2=A0 =C2=A0Language design and implementation
* =C2=A0 =C2=A0Mo= dular and generic programming
* =C2=A0 =C2=A0Reflection, meta-programmin= g
* =C2=A0 =C2=A0Runtime verification and monitoring
* =C2=A0 =C2=A0S= afe, secure and dependable software
* =C2=A0 =C2=A0Static analysis
* = =C2=A0 =C2=A0Testing and debugging
* =C2=A0 =C2=A0Type systems and type = inference
* =C2=A0 =C2=A0Virtual machines

OOPS offers a great opp= ortunity to the OOP community to gain visibility, and to
exploit the int= er-disciplinary nature of SAC.

- Submission Instructions

Pros= pective papers should be submitted to the track in pdf format using the STA= RT
submission system for regular and SRC papers available through the SA= C 2018 home page.

Submission of the same paper to multiple tracks is= not allowed; all papers should
represent original and previously unpubl= ished works that are currently not under review in
any conference or jou= rnal. Both basic and applied research papers are welcome.

SAC 2018 w= ill use double-blind reviewing; to facilitate this, author name(s) and
i= nstitution(s) must be omitted, and references to authors' own related w= ork should be in
the third person.

The format of the paper must a= dhere to the sig-alternate style
(http://www.acm.org/sigs/publications/proce= edings-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 pag= e.

Papers accepted as posters are limited to 3 pages, in camera-read= y format, included in the
registration fee. Authors have the option to i= nclude only one (1) extra page at additional
fee of US$80.

SRC ab= stracts are limited to 2 pages, in camera-ready format, included in the reg= istration
fee. No extra pages are allowed.

Papers that fall short= the above requirements are subjected to rejection. All papers must
be s= ubmitted by September 15, 2017. For more information please visit the SAC 2= 018 home
page.

- Proceedings

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

Paper re= gistration is required, allowing the inclusion of the papers and posters in= the
conference proceedings. An author or a proxy attending SAC MUST pre= sent the paper. This is
a requirement for all accepted papers, posters, = and invited SRC submissions to be included
in the ACM digital library. N= o-show of scheduled papers, posters, and student research
abstracts will= result in excluding them from the ACM digital library. Student registratio= n
is only intended to encourage student attendance and does not cover in= clusion 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 versio= n for a journal special issue (http://oops.disi.unige.it/special-issues),
after the confer= ence.
--94eb2c03dc5eeecbbd05588175a8--