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 ESMTP id 0C7D85D6 for ; Fri, 2 Aug 2019 14:07:39 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,338,1559512800"; d="scan'208";a="394260466" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Aug 2019 16:07:38 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id CFE8382716; Fri, 2 Aug 2019 16:07:38 +0200 (CEST) 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 26D7E826BB for ; Fri, 2 Aug 2019 16:07:29 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=louis.mandel@lri.fr; spf=Pass smtp.mailfrom=louis.mandel@lri.fr; spf=None smtp.helo=postmaster@mailext.lri.fr IronPort-PHdr: =?us-ascii?q?9a23=3Ak7k26x0rTesPIEpTsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?se0SIvad9pjvdHbS+e9qxAeQG9mCsbQV2qGK7+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglVmjaxe7d/IRG5oQjeucQdnJdvJLs2xhbVuHVDZv?= =?us-ascii?q?5YxXlvJVKdnhb84tm/8Zt++ClOuPwv6tBNX7zic6s3UbJXAjImM3so5MLwrhnM?= =?us-ascii?q?URGP5noHXWoIlBdDHhXI4wv7Xpf1tSv6q/Z91SyHNsD4Ubw4RTKv5LptRRT1ii?= =?us-ascii?q?kIKiQ5/XnXhMNsg6xUrxyvqQF8zYDKZ4+YL+Z+frrYfd8GRWpNQsRcWipcCY28?= =?us-ascii?q?dYsPCO8BMP5eoYn6ulsOrAC+DhSrCuz1zD9Hm2H53akn2OkmFQHG2xEgH9MVsH?= =?us-ascii?q?jOqdX6LqESXv2rw6nM1jjDa+lW2Tbn5IjGaBAsuPeBVq9+f8rWzEkgDQLFjlOI?= =?us-ascii?q?pIz+JzOV0v4Cs3Ob7+V8UuKvjXQrqwZrojig3sssio7Jhp4JxVDe7SV12po6Jd?= =?us-ascii?q?q9SEN9fNWqE4NQujmHO4doRs4uWXxktSQ6x7EcpJK2fDIGxIk7yxPZdveJaZKH?= =?us-ascii?q?4gj5W+aUOTp4hGxqeLa4hxuq9Eiv0Oz8Vs2q31dFsipJiN3MtmoM1xDJ5MiHUO?= =?us-ascii?q?Nx/kan2TmRywDe8vxILV4wmKbBNpIswL49moAOvUnDBCP6hVn6gLeTdko+++io?= =?us-ascii?q?7+rnYq/hpp+ZL4J0jgb+MrkvmsykG+g4NxIBX26G9uui0L3u5kn5QK9LjvEsnK?= =?us-ascii?q?nZqojWJd4Hqa6hHw9VzoEj5g6jADi81dQYmWALLFZEeBKck4jkIErOIfD9Dfen?= =?us-ascii?q?mVugijZrx/bcPr3gGJrBNHbDkK2yNYp6vkVVzQ52ydFE+7pVDKsAKbT9QBzfrt?= =?us-ascii?q?vdWzs+Lg2vi8PuDtlw0stKXWWSA7TfNarUvVKMzuY1Iq+CftlG637GN/E56qu2?= =?us-ascii?q?3jcCklgHcPzxhMZFWDWDBv1jZn6hTz/sj9MGSDlYuwM/SOH6lBuGSz8VaWzgB/?= =?us-ascii?q?tttAF+M5qvCML4fq7ohbWA2CmhGZgGNGRcCxaCCyWxLtnWa7I3cCuXZ/RZvHkc?= =?us-ascii?q?T7HxGYs71Fegrl2ixg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CvBQDKQkRdfQoPr4FmhAIFgRdSMoRIk?= =?us-ascii?q?SmBI4Jmj0iHVAkBAwEMIwwBAYFLhXAHAQQ0EwEDAQEEAQECAQMDARMBAQsUCBu?= =?us-ascii?q?FMwyCOiKDEgZFRgImAoNJSwGCCg+ec458gTKEMwEDBYEMgyyBQgaBDCiNOj+BE?= =?us-ascii?q?ScME4FOSYF3gxmDMjKCJgSMCykgiWGGDo1sbQcCgTJqXQSFe41VB4IvhyqDa4p?= =?us-ascii?q?ijmSGN40KgVQNgVSBZ4F5MxondgGBQIECPYEMgRCDWYUUhVsjgQGLOoJSAQE?= X-IPAS-Result: =?us-ascii?q?A0CvBQDKQkRdfQoPr4FmhAIFgRdSMoRIkSmBI4Jmj0iHVAk?= =?us-ascii?q?BAwEMIwwBAYFLhXAHAQQ0EwEDAQEEAQECAQMDARMBAQsUCBuFMwyCOiKDEgZFR?= =?us-ascii?q?gImAoNJSwGCCg+ec458gTKEMwEDBYEMgyyBQgaBDCiNOj+BEScME4FOSYF3gxm?= =?us-ascii?q?DMjKCJgSMCykgiWGGDo1sbQcCgTJqXQSFe41VB4IvhyqDa4pijmSGN40KgVQNg?= =?us-ascii?q?VSBZ4F5MxondgGBQIECPYEMgRCDWYUUhVsjgQGLOoJSAQE?= X-IronPort-AV: E=Sophos;i="5.64,338,1559512800"; d="scan'208";a="394260384" X-MGA-submission: =?us-ascii?q?MDH4RrEbCIzcuoWEY38k0ZYgo269BvHonEbEwx?= =?us-ascii?q?zQ6IJ3jUfptRrL+oUqEVO1scTrk1YZFlEKvHurO64VucP2JxumnZVR5X?= =?us-ascii?q?JeUFNOPt5Q2TMdufw/K6i5RmB3h+sbgW72IEpT3g4ZgvGqhP8zlGtodo?= =?us-ascii?q?Vx8yXLMc9BwPZI9K6zPO/bXQ=3D=3D?= Received: from mailext.lri.fr ([129.175.15.10]) by mail2-smtp-roc.national.inria.fr with SMTP; 02 Aug 2019 16:07:27 +0200 Received: from [129.175.15.10] (mailext.lri.fr [129.175.15.10]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mailext.lri.fr (Postfix) with ESMTPSA id EA424C0409; Fri, 2 Aug 2019 16:07:26 +0200 (CEST) From: Louis Mandel Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.11\)) Date: Fri, 2 Aug 2019 10:07:24 -0400 Message-Id: To: caml-list@inria.fr X-Mailer: Apple Mail (2.3445.104.11) Subject: [Caml-list] [REBLS 2019] 2nd CfP (deadline extension) Reply-To: Louis Mandel X-Loop: caml-list@inria.fr X-Sequence: 17735 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: CALL FOR PAPERS 6th Workshop on Reactive and Event-based Languages and Systems (REBLS = 2019) co-located with the SPLASH Conference Athens, Greece, Sun 20 - Fri 25 October 2019 Website: https://2019.splashcon.org/home/rebls-2019 IMPORTANT DATES Submission Deadline: 16 Aug 2019 (extended) Author Notification: 7 Sep 2019 INTRODUCTION Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent = of advanced HPC technology and the ever increasing requirement for our applications to run on the web or on collaborating mobile devices. A = number of publications on middleware and language design -- so-called reactive = and event-based languages and systems (REBLS) -- have already seen the = light, but the field still raises several questions. For example, the = interaction with mainstream language concepts is poorly understood, implementation technology is in its infancy and modularity mechanisms are almost = totally lacking. Moreover, large applications are still to be developed and patterns and tools for developing reactive applications is an area that = is vastly unexplored. This workshop will gather researchers in reactive and event-based languages and systems. The goal of the workshop is to = exchange new technical research results and to define better the field by coming = up with taxonomies and overviews of the existing work. We welcome all submissions on reactive programming, aspect- and event- oriented systems, including but not limited to: * Language design, implementation, runtime systems, program analysis, software metrics, patterns and benchmarks. * Study of the paradigm: interaction of reactive and event-based programming with existing language features such as object-oriented programming, mutable state, concurrency. * Advanced event systems, event quantification, event composition, aspect-oriented programming for reactive applications. * Functional-reactive programming, self-adjusting computation and incremental computing. * Synchronous languages, modeling real-time systems, safety-critical reactive and embedded systems. * Applications, case studies that show the efficacy of reactive programming. * Empirical studies that motivate further research in the field. * Patterns and best-practices. * Related fields, such as complex event processing, reactive data structures, view maintenance, constraint-based languages, and their integration with reactive programming. IDEs, Tools. * Implementation technology, language runtimes, virtual machine support, compilers. * Modularity and abstraction mechanisms in large systems. * Formal models for reactive and event-based programming. The format of the workshop is that of a mini-conference. Participants = can present their work in slots of 30 mins with Q&A included. Because of the declarative nature of reactive programs, it is often hard to understand their semantics just by looking at the code. We therefore also encourage authors to use their slots for presenting their work based on live = demos. SUBMISSIONS REBLS encourages submissions of two types of papers: * Research results: complete works that will be published in the ACM digital library. * In progress papers: papers that have the potential of triggering an interesting discussion at the workshop or present new ideas that = require further systematic investigation. These papers will not be published = in the ACM digital library. Format: * Submissions should be formatted according to the instructions for the authors below. * Full papers can be up to 10 pages in length including references. * In progress papers can be up to 6 pages. * Authors are required to explicitly specify the type of paper in the submission. Instructions for the Authors: Submission link: https://rebls19.hotcrp.com/=20 For fairness reasons, all submitted papers should conform to the = formatting instructions. Submissions that violate these instructions may be = rejected without review. Papers must describe unpublished work that is not currently submitted = for publication elsewhere as described by SIGPLAN=E2=80=99s Republication = Policy. Submitters should also be aware of ACM=E2=80=99s Policy and Procedures = on Plagiarism. Submissions should use the ACM SIGPLAN Conference acmart Format with sigplan Subformat, 10 point font, using Biolinum as sans-serif font and Libertine as serif font. All submissions should be in PDF format. If you use LaTeX or Word, please use the ACM SIGPLAN acmart Templates. PROGRAM COMMITTEE Tomoyuki Aotani, Tokyo Institute of Technology, Japan Patrick Bahr, IT University of Copenhagen, Denmark Engineer Bainomugisha, Makerere University, Uganda Guillaume Baudart, IBM Research, United States Aggelos Biboudis, EPFL, Switzerland Tim Felgentreff, Oracle Labs, Potsdam, Germany Tetsuo Kamina, Oita University, Japan *co-chair* Louis Mandel, IBM Research, United States Hidehiko Masuhara, Tokyo Institute of Technology, Japan *co-chair* Yoshiki Ohshima, HARC / Y Combinator Research, Japan Ivan Perez, NIA / NASA Formal Methods, United States Noemi Rodriguez, PUC-Rio, Brazil Steven Smyth, Kiel University, Germany Mirko Viroli, University of Bologna, Italy Harumi Watanabe, Tokai University, Japan Takuo Watanabe, Tokyo Institute of Technology, Japan YungYu Zhuang, National Central University, Taiwan Ana L=C3=BAcia de Moura, PUC-Rio, Brazil ORGANIZING COMMITTEE Guido Salvaneschi, TU Darmstadt, Germany Wolfgang De Meuter, Vrije Universiteit Brussel, Belgium Patrick Eugster, Universita della Svizzera Italiana, Switzerland Francisco Sant'Anna, Rio de Janeiro State University, Brazil Lukasz Ziarek, SUNY Buffalo, United States=