From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 277325D5 for ; Tue, 22 Jan 2019 10:11:44 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,505,1539640800"; d="scan'208";a="365211835" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Jan 2019 11:11:27 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id EEACF82579; Tue, 22 Jan 2019 11:11:27 +0100 (CET) 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 1798C7FFD1 for ; Tue, 22 Jan 2019 11:11:23 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=aggelos.biboudis@epfl.ch; spf=Pass smtp.mailfrom=aggelos.biboudis@epfl.ch; spf=None smtp.helo=postmaster@smtp4.epfl.ch IronPort-PHdr: =?us-ascii?q?9a23=3A/RIhqB+/cjJPe/9uRHKM819IXTAuvvDOBiVQ1KB3?= =?us-ascii?q?1eocTK2v8tzYMVDF4r011RmVBdWds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2O2+557ebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRxDohi?= =?us-ascii?q?kJNDA37X/ZhdB/gq9AvBKhvgZyz5LIbI2JNvdzeL7Wc9MARWpGW8ZcTzBMAoyz?= =?us-ascii?q?b4QRC+oBOv1YpJTgqlsPthS+AhSsC/7uyj9Tm3T72rc10+suEQ7Y2AwgGMkOvG?= =?us-ascii?q?7Po9X0L6gSVv21w7TJzTXYdP5Zxy/96IbMchw7vf6MXat9fMzMwkchEAPFi0+f?= =?us-ascii?q?qY3jPz6NzeQNq2yb4PB7VeKvl2EnrAdxriKoxsc2hYnFnpgVxU7f9Spn2ok1P8?= =?us-ascii?q?G3SE5hYdK+F5tQrS6aO5NxQsMkTWBnojw6xaAftZGneygKzponyADFa/OZdYiH?= =?us-ascii?q?/gzsWPyWITdii3Jofq+0iRWq8UW41+HwSMq53ExXoidHkdTArG4B2wLc58SdVP?= =?us-ascii?q?dx40Os1S6R2wzP7uxIO0M5mKrBJ5I8w7M9lIAfvVnBEyPonkj9kbWYeV8++uey?= =?us-ascii?q?7uTqerXmqYGYN49zkgz+KaEumtCnAek3KAQBQXCb+eq41LH54UL5QK1Gjvwwkq?= =?us-ascii?q?bHrJDXPdkXqrC6DgNPz4ou6RWyAy243NgGknQLNkxJdA+DgoTxPlHBOvH4DfOx?= =?us-ascii?q?g1S2lzdrwujLMafuApXCMHfDlLDhfa1n50FHyQo81tdf549JBbEAO/L+QVH+tM?= =?us-ascii?q?TWDh89KQC73+bnBM1n1owCQWKPHrOZMKTKvFCU/O0vJu2MaJYRuDb8MPgl++Xj?= =?us-ascii?q?jWQ5mF8YZammx4EbaHG+HvR8IkWWe2DggtkbETRCgg1rR+XvjBiGUCVPT3e0Ra?= =?us-ascii?q?M1oD8hW6y8CoKWb4+ijbiGx2+RH5dRe2xHERjYGHjneoGDQLEGaSiVP8NgiRQJ?= =?us-ascii?q?TbalDYQhg0L9/DTmwqZqe7KHshYTsojugYAstr/j0Coq/DkxNPyzlmSETmV6hG?= =?us-ascii?q?QNFm07xK5750d9mA7ajfpIxsdAHNkW3MtnFx8gPM+OwvR0D5b5WlCZJ4rbeBOd?= =?us-ascii?q?WtyjRAoJYJcxztsJOhsvANC+lkyF0jKkB/kel+7TCQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CzFwBu60Zch9vgsoBjHAEBAR8EAQEFA?= =?us-ascii?q?QGBTAKBVIEUgQIng0I/YpMggwmCCwGUeRSBZw0jgVSFXhoHAQQwCQ0BAwEBAgE?= =?us-ascii?q?BAQEBEwEBAQoLCQgpIwyCOiKDAREGRQMHAh4NCAcCJgIkEgEFAUmDDgGCAQ+QQ?= =?us-ascii?q?Yxrgx88ixuBL4QuAQMFhW+BC4s2gVc/gRGCXQWBcYMEFYMwglcCJAKHYoFjB5g?= =?us-ascii?q?uBwKBGYEVBIQMZop3GII0gkONHYp6hCaDSYZcgUkPIYElbYEhTYEkBoI1CQmCI?= =?us-ascii?q?QKIaIU+Aj4ziFAYgjUBAQ?= X-IPAS-Result: =?us-ascii?q?A0CzFwBu60Zch9vgsoBjHAEBAR8EAQEFAQGBTAKBVIEUgQI?= =?us-ascii?q?ng0I/YpMggwmCCwGUeRSBZw0jgVSFXhoHAQQwCQ0BAwEBAgEBAQEBEwEBAQoLC?= =?us-ascii?q?QgpIwyCOiKDAREGRQMHAh4NCAcCJgIkEgEFAUmDDgGCAQ+QQYxrgx88ixuBL4Q?= =?us-ascii?q?uAQMFhW+BC4s2gVc/gRGCXQWBcYMEFYMwglcCJAKHYoFjB5guBwKBGYEVBIQMZ?= =?us-ascii?q?op3GII0gkONHYp6hCaDSYZcgUkPIYElbYEhTYEkBoI1CQmCIQKIaIU+Aj4ziFA?= =?us-ascii?q?YgjUBAQ?= X-IronPort-AV: E=Sophos;i="5.56,505,1539640800"; d="scan'208";a="292742959" Received: from smtp4.epfl.ch ([128.178.224.219]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 22 Jan 2019 11:11:21 +0100 Received: (qmail 23392 invoked by uid 107); 22 Jan 2019 10:11:20 -0000 Received: from mail-oi1-f172.google.com (HELO mail-oi1-f172.google.com) (209.85.167.172) (TLS, ECDHE-RSA-AES256-GCM-SHA384 (X25519 curve) cipher) (authenticated) by mail.epfl.ch (AngelmatoPhylax SMTP proxy) with ESMTPSA; Tue, 22 Jan 2019 11:11:20 +0100 X-EPFL-Auth: ejF5z7I3tQcelTacJWJZcI9+eVHJT10UvRqx/Iw5Kcabdd+yrhw= Received: by mail-oi1-f172.google.com with SMTP id y1so16899187oie.12 for ; Tue, 22 Jan 2019 02:11:20 -0800 (PST) X-Gm-Message-State: AJcUukck209D8SSLY4seOA7iXv8QzLl+LJgz0JcMYTdBZYyyKGTSp7A5 RkCGHM2rScwM6eYeytS4/duo/TBLNfI0JAjC5qs= X-Google-Smtp-Source: ALg8bN5yrWQzI3jenjcURNu7i/mGYs2l5P7o4bqlruDlKiSAfMo9jdyI6tkUSddOpnMgCi4KHPr49qWVh4qS1wYqC48= X-Received: by 2002:aca:2c05:: with SMTP id s5mr8354210ois.190.1548151879357; Tue, 22 Jan 2019 02:11:19 -0800 (PST) MIME-Version: 1.0 From: Aggelos Biboudis Date: Tue, 22 Jan 2019 11:11:08 +0100 X-Gmail-Original-Message-ID: Message-ID: To: caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] SPLASH 2019: 1st Combined Call for Contributions Reply-To: Aggelos Biboudis X-Loop: caml-list@inria.fr X-Sequence: 17317 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: /**************************************************************************= **/ ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'19) Athens, Greece Sun 20 - Fri 25 October 2019 https://2019.splashcon.org/ Sponsored by ACM SIGPLAN /**************************************************************************= **/ COMBINED CALL FOR CONTRIBUTIONS OOPSLA Onward! Workshops Dynamic Languages Symposium (DLS) Generative Programming: Concepts & Experiences (GPCE) Software Language Engineering (SLE) Managed Programming Languages and Runtimes (MPLR) /**************************************************************************= **/ The ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction, to make it the premier conference at the intersection of programming, languages, and software engineering. We invite high quality submissions describing original and unpublished work. Combined Call for Contributions: * SPLASH Workshops * PACMPL Issue OOPSLA * Onward! Papers * Onward! Essays * Dynamic Languages Symposium (DLS) * Generative Programming: Concepts & Experiences (GPCE) * Software Language Engineering (SLE) * Managed Programming Languages and Runtimes (MPLR) * SPLASH-I * Posters * Doctoral Symposium * Student Research Competition * Student Volunteers ## SPLASH Workshops Following its long-standing tradition, SPLASH 2019 will host a variety of high quality workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. Workshops cultivate new ideas and concepts for the future, optionally recorded in formal proceedings. Submissions are currently being accepted on a rolling basis. The rolling call will close on Fri 15 Mar, 2019. https://2019.splashcon.org/track/splash-2019-workshops ## PACMPL Issue OOPSLA Papers may target any stage of software development, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, and reuse of software systems. Contributions may include the development of new tools (such as language front-ends, program analyses, and runtime systems), new techniques (such as methodologies, design processes, and code organization approaches), new principles (such as formalisms, proofs, models, and paradigms), and new evaluations (such as experiments, corpora analyses, user studies, and surveys). Submissions due: Fri 5 Apr, 2019 https://2019.splashcon.org/track/splash-2019-oopsla ## Onward! Papers Onward! is a premier multidisciplinary conference focused on everything to do with programming and software: including processes, methods, languages, communities, and applications. Onward! is more radical, more visionary, and more open than other conferences to ideas that are well-argued but not yet proven. We welcome different ways of thinking about, approaching, and reporting on programming language and software engineering research. Submissions due: Mon 22 April, 2019 https://2019.onward-conference.org/track/onward-2019-papers ## Onward! Essays Onward! Essays is looking for clear and compelling pieces of writing about topics important to the software community. An essay can be long or short. An essay can be an exploration of the topic and its impact, or a story about the circumstances of its creation; it can present a personal view of what is, explore a terrain, or lead the reader in an act of discovery; it can be a philosophical digression or a deep analysis. It can describe a personal journey, perhaps the one the author took to reach an understanding of the topic. The subject area=E2=80=94software, programming, and programming languages=E2=80=94shoul= d be interpreted broadly and can include the relationship of software to human endeavors, or its philosophical, sociological, psychological, historical, or anthropological underpinnings. Submissions due: Mon 22 April, 2019 https://2019.onward-conference.org/track/onward-2019-Onward-Essays ## Dynamic Languages Symposium (DLS) Dynamic Languages, from Lisp, Snobol, and Smalltalk to Python, Racket, and Javascript, have been playing a fundamental role both in programming research and practice. DLS is the premier forum for researchers and practitioners to share research and experience on all aspects of Dynamic Languages. DLS invites high quality papers reporting original research and experience related to the design, implementation, and applications of dynamic languages. Abstracts due: Wed 29 May, 2019 Submissions due: Wed 5 Jun, 2019 https://conf.researchr.org/home/dls-2019 ## Generative Programming: Concepts & Experiences (GPCE) The International Conference on Generative Programming: Concepts & Experience (GPCE) is a venue for researchers and practitioners interested in techniques and tools for code generation, language implementation, and metaprogramming. GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to (i) program transformation, staging, macro systems, preprocessors, program synthesis, and code-recommendation systems, (ii) domain-specific languages, language embedding, language design, and language workbenches, (iii) feature-oriented programming, domain engineering, and feature interactions, (iv) applications and properties of code generation, language implementation, and product-line development. Abstracts due: Fri 14 Jun, 2019 Submissions due: Fri 21 Jun, 2019 https://conf.researchr.org/home/gpce-2019 ## Software Language Engineering (SLE) Software Language Engineering (SLE) is the discipline of engineering languages and their tools required for the creation of software. It abstracts from the differences between programming languages, modelling languages, and other software languages, and emphasizes the engineering facet of the creation of such languages, that is, the establishment of the scientific methods and practices that enable the best results. SLE 2019 solicits high quality contributions in areas ranging from theoretical and conceptual contributions, to tools, techniques, and frameworks in the domain of software language engineering. Abstracts due: Fri 14 Jun, 2019 Submissions due: Fri 21 Jun, 2019 https://conf.researchr.org/home/sle-2019 ## Managed Programming Languages and Runtimes (MPLR) The International Conference on Managed Programming Languages & Runtimes (MPLR, formerly ManLang) is a premier forum for presenting and discussing novel results in all aspects of managed programming languages and runtime systems, which serve as building blocks for some of the most important computing systems around, ranging from small-scale (embedded and real-time systems) to large-scale (cloud-computing and big-data platforms) and anything in between (mobile, IoT, and wearable applications). Submissions due: Mon July 8, 2019 https://conf.researchr.org/home/mplr-2019 ## SPLASH-I SPLASH-I is a series of high-quality talks that highlight the challenges that are on the forefront of both research and practice across the SPLASH community's broad spectrum of domains and techniques. We invite the community to propose speakers (including themselves) through our call for contributions. Submissions due: Fri May 17, 2019 https://2019.splashcon.org/track/splash-2019-SPLASH-I ## Posters The SPLASH Poster track provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community. We invite submissions covering any aspect of programming, systems, languages and applications. The goal of the poster session is to encourage and facilitate small groups of individuals interested in a technical area to gather and interact at any desired level of detail. The poster session is held early in the conference to promote continued discussion among interested parties. Submissions due: Sat 7 Sep, 2019 https://2019.splashcon.org/track/splash-2019-Posters ## Doctoral Symposium The SPLASH Doctoral Symposium provides students with useful guidance for completing their dissertation research and beginning their research careers. The symposium will provide an interactive forum for doctoral students who have progressed far enough in their research to have a structured proposal, but will not be defending their dissertation in the next 12 months. This year, the John Vlissides Award will be presented to a symposium participant showing significant promise in applied software research. All participants to the Doctoral Symposium are eligible. The award includes a prize of $2,000. Submissions due: Fri 12 Jul, 2019 http://2019.splashcon.org/track/splash-2019-Doctoral-Symposium ## Student Research Competition The ACM Student Research Competition (SRC), sponsored by Microsoft Research, offers a unique forum for ACM student members at the undergraduate and graduate levels to present their original research at SPLASH before a panel of judges and conference attendees. The SRC gives visibility to not only up-and-coming young researchers, but also exposes them to the field of computer science research and its community. This competition also gives students an opportunity to discuss their research with experts in their field, get feedback, and to help them sharpen their communication and networking skills. Student Research Competition abstract due: Fri July 12, 2019 https://2019.splashcon.org/track/splash-2019-SRC ## Student Volunteers The SPLASH Student Volunteers program provides an opportunity for students from around the world to associate with some of the leading personalities in industry and research in the following areas: programming languages, object-oriented technology and software development. Student volunteers contribute to the smooth running of the conference by performing tasks such as: assisting with registration, providing information about the conference to attendees, assisting session organizers and monitoring sessions. Detailed information on how to apply will be available on the main conference page in March 2019. Estimated deadline for the SV applications will be towards the end of September 2019. https://2019.splashcon.org/track/splash-2019-Student-Volunteers ## Information Contact: publicity at splashcon.org Website: https://2019.splashcon.org/ Location: Royal Olympic Hotel, Athens, Greece ## Organization SPLASH General Chair: * Yannis Smaragdakis (University of Athens) OOPSLA Review Committee Chair: * Eelco Visser (Delft University of Technology) Onward! Papers Chair: * Hidehiko Masuhara (Tokyo Institute of Technology) Onward! Essays Chair: * Tomas Petricek (Alan Turing Institute) DLS Program Chair: * Stefan Marr (University of Kent) GPCE General Chair: * Ina Schaefer (Technische Universit=C3=A4t Braunschweig) GPCE Program Chair: * Tijs van der Storm (Centrum Wiskunde & Informatica / University of Groningen) SLE General Chair: * Oscar Nierstrasz (University of Bern) SLE Program Co-Chairs: * Bruno Oliveira (University of Hong Kong) * Jeff Gray (University of Alabama) SLE Publicity Chair: * Andrei Chi=C5=9F (Feenk GmbH, Switzerland) SLE AEC Co-Chairs: * Emma S=C3=B6derberg (Lund University) * Abel Gomez (Universitat Oberta de Catalunya) MPLR General Chair: * Tony Hosking (Australian National University / Data61) MPLR Program Chair: * Irene Finocchi (Sapienza University of Rome) SPLASH-I Co-Chairs: * Shan Shan Huang (Facebook) * Michael Carbin (MIT) Workshops Co-Chairs: * Arjun Guha (University of Massachusetts Amherst) * Neville Grech (University of Athens, University of Malta) OOPSLA Artifact Evaluation Co-Chairs: * Colin S. Gordon (Drexel University) * Jan Vitek (Northeastern University) Posters Chair: * Christoph Reichenbach (Lund University) Doctoral Symposium Chair: * =C3=89ric Tanter (University of Chile & Inria Paris) Student Research Competition Co-Chairs: * Jay McCarthy (University of Massachusetts Lowell) * David Darais (University of Vermont) Student Volunteers Co-Chairs: * Juliana Franco (Microsoft Research, Cambridge) * Tony Antoniadis (University of Athens) Publications Chair: * Magnus Madsen (Aarhus University) Publicity Co-Chairs: * Aggelos Biboudis (=C3=89cole Polytechnique F=C3=A9d=C3=A9rale de Lausann= e) * Tijs van der Storm (Centrum Wiskunde & Informatica / University of Groningen) Local Arrangements Chair: * George Fourtounis (University of Athens) Accessibility Chair: * Kostas Saidis (University of Athens) Sponsorships Co-Chairs: * Caitlin Sadowski (Google) * Jaeheon Yi (Google) Video Chair: * Benjamin Chung (Northeastern University) Web Co-Chairs: * Aggelos Biboudis (=C3=89cole Polytechnique F=C3=A9d=C3=A9rale de Lausann= e) * Aviral Goel (Northeastern University) /**************************************************************************= **/ --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list Forum: https://discuss.ocaml.org/ Bug reports: http://caml.inria.fr/bin/caml-bugs=