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 BA5E75D5 for ; Fri, 2 Jul 2021 14:32:20 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.83,317,1616454000"; d="scan'208";a="517993231" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Jul 2021 16:32:19 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 4F0A0E0B15; Fri, 2 Jul 2021 16:32:19 +0200 (CEST) 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 83666E0B0B for ; Fri, 2 Jul 2021 16:32:16 +0200 (CEST) Authentication-Results: mail3-smtp-sop.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-HdrOrdr: =?us-ascii?q?A9a23=3AUwZJh690pfOcdb/A8H9uk+DDI+orL9Y04lQ7?= =?us-ascii?q?vn2ZLiY4TiX4ra2TdZsguyMc5Ax6ZJhfo7C90di7Lk80nKQdieIs1NyZPTUO1l?= =?us-ascii?q?HYT72KlbGSoQHdJw=3D=3D?= X-IronPort-AV: E=Sophos;i="5.83,317,1616454000"; d="scan'208";a="386890456" X-MGA-submission: =?us-ascii?q?MDEU6o70ePCkGWKYdOQttODf8NP2hyEzSAn//u?= =?us-ascii?q?+H2i6jAgndOinb3E3h2+auYs6RUmMpEfG04oJNgSwRGdlWuyMMdpUOPc?= =?us-ascii?q?hjbSIAYFEaGcLZIArGPEY/33ZyTgC1x7Sqns1bCM0lk9Cr3MBfekCHvr?= =?us-ascii?q?3Zx/s1lZLndOPfD5ZYJHw9xQ=3D=3D?= Received: from mailext.lri.fr ([129.175.15.10]) by mail3-smtp-sop.national.inria.fr with SMTP; 02 Jul 2021 16:32:15 +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 70150C1024; Fri, 2 Jul 2021 16:32:15 +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 14.0 \(3654.100.0.2.22\)) Date: Fri, 2 Jul 2021 10:32:12 -0400 Message-Id: <8E74977D-91FF-45CB-8582-C73C13821A85@lri.fr> To: caml-list@inria.fr X-Mailer: Apple Mail (2.3654.100.0.2.22) Subject: [Caml-list] REBLS 2021: Call for papers Reply-To: Louis Mandel X-Loop: caml-list@inria.fr X-Sequence: 18536 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: 8th Workshop on Reactive and Event-based Languages and Systems (REBLS = 2021) co-located with the SPLASH Conference hybrid Virtual and in person in Chicago, Illinois, USA Sun 17 - Fri 22 October 2021 Website: https://2021.splashcon.org/home/rebls-2021 IMPORTANT DATES Submission Deadline: 15 Aug 2021 (there will be no extension this year) Author Notification: 6 Sep 2021 Camera Ready Deadline: 13 Sep 2021 SPLASH Conference: 17 - 22 Oct 2021 INTRODUCTION Reactive programming and event-based programming are two closely related = programming styles that are becoming more important with the ever = increasing requirement for applications to run on the web or on mobile = devices, and the advent of advanced High-Performance Computing (HPC) = technology. 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 still lacking, and modularity = mechanisms remain largely unexplored. Moreover, large applications are = still to be developed, and, consequently, patterns and tools for = developing large reactive applications are still in their infancy. 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 better define the field by developing = taxonomies and discussing overviews of the existing work. We welcome all submissions on reactive programming, functional reactive = programming, and event- and aspect- oriented systems, including but not = limited to: * Language design, implementation, runtime systems, program analysis, = software metrics, patterns and benchmarks. * Formal models for reactive and event-based programming. * Study of the paradigm: interaction of reactive and event-based = programming with existing language features such as object-oriented = programming, pure functional programming, mutable state, concurrency. * Modularity and abstraction mechanisms in large systems. * Advanced event systems, event quantification, event composition, = aspect-oriented programming for reactive applications. * Functional Reactive Programming (FRP), self-adjusting computation and = incremental computing. * Synchronous languages, modeling and verification of 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. * Implementation technology, language runtimes, virtual machine support, = compilers. * IDEs, Tools. The format of the workshop is that of a mini-conference where = participants present their work. 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: * Full papers: papers that describe complete research results. These = papers 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 use the ACM SIGPLAN Conference acmart Format with = the two-column, 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. The page http://www.sigplan.org/Resources/Author/#acmart-format = contains instructions for authors, and a package that includes an = example file acmart-sigplan.tex. * Authors are required to explicitly specify the type of paper in the = submission (i.e., full paper, in-progress paper). * Full papers can be up to 12 pages in length, excluding references. = In-progress papers can be up to 6 pages, excluding references. Instructions for the Authors: * Papers should be submitted through: https://rebls21.hotcrp.com/ * For fairness reasons, all submitted papers should conform to the = formatting instructions. Submissions that violate these instructions = will be summarily rejected. * Program Committee members are allowed to submit papers, but their = papers will be held to a higher standard. * All submissions are expected to comply with the ACM Policies for = Authorship that are detailed at = https://www.acm.org/publications/authors/information-for-authors. * Each submission must adhere to SIGPLAN=E2=80=99s republication policy, = as explained on the web at = http://www.sigplan.org/Resources/Policies/Republication. PROGRAM COMMITTEE Louis Mandel (PC Chair; IBM Research) Patrick Bahr, IT University of Copenhagen Manuel B=C3=A4renz, sonnen eServices GmbH Guillaume Baudart, Inria Guerric Chupin, University of Nottingham Stephen A. Edwards, Columbia University Alan Jeffrey, Roblox Tetsuo Kamina, Oita University Yoshiki Ohshima, Croquet Studio Jorge P=C3=A9rez, University of Groningen Marc Pouzet, =C3=89cole normale superieure Noemi Rodrigues, Pontif=C3=ADcia Universidade Cat=C3=B3lica do Rio de = Janeiro Partha Roop, University of Auckland Mark Santoluzito, Barnard College Jonathan Thaler, University of Applied Sciences Vorarlberg Reinhard von Hanxleden, Kiel University Takuo Watanabe, Tokio Institute of Technology Pascal Weisenburger, University of St. Gallen Tian Zhao, University of Wisconsin-Milwaukee 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