<div dir="ltr">CALL FOR PAPERS<br><br>7th Workshop on Reactive and Event-based Languages and Systems (REBLS 2020)<br>co-located with the SPLASH Conference<br>Chicago, Illinois, USA Sun 15 - Fri 20 November 2020<br>Website: <a href="https://2020.splashcon.org/home/rebls-2020">https://2020.splashcon.org/home/rebls-2020</a><br><br>IMPORTANT DATES<br><br>Submission Deadline: 24 Jul 2020<br>Author Notification: 24 Aug 2020<br>Final Submission Deadline: 25 Sep 2020<br><br>INTRODUCTION<br><br>Reactive programming and event-based programming are two closely related<br>programming styles that are becoming more important with the ever<br>increasing requirement for applications to run on the web or on mobile devices,<br>and the advent of advanced High-Performance Computing (HPC) technology.<br><br>A number of publications on middleware and language design -- so-called<br>reactive and event-based languages and systems (REBLS) -- have already seen the<br>light, but the field still raises several questions. For example, the<br>interaction with mainstream language concepts is poorly understood,<br>implementation technology is still lacking, and modularity mechanisms remain<br>largely unexplored. Moreover, large applications are still to be developed,<br>and, consequently, patterns and tools for developing large reactive<br>applications are still in their infancy.<br><br>This workshop will gather researchers in reactive and event-based languages and<br>systems. The goal of the workshop is to exchange new technical research results<br>and to better define the field by developing taxonomies and discussing<br>overviews of the existing work.<br><br>We welcome all submissions on reactive programming, functional reactive<br>programming, and event- and aspect- oriented systems, including but not limited<br>to:<br><br>* Language design, implementation, runtime systems, program analysis,<br>  software metrics, patterns and benchmarks.<br><br>* Formal models for reactive and event-based programming.<br><br>* Study of the paradigm: interaction of reactive and event-based<br>  programming with existing language features such as object-oriented<br>  programming, pure functional programming, mutable state, concurrency.<br><br>* Modularity and abstraction mechanisms in large systems.<br><br>* Advanced event systems, event quantification, event composition,<br>  aspect-oriented programming for reactive applications.<br><br>* Functional Reactive Programming (FRP), self-adjusting computation and<br>  incremental computing.<br><br>* Synchronous languages, modeling real-time systems, safety-critical<br>  reactive and embedded systems.<br><br>* Applications, case studies that show the efficacy of reactive<br>  programming.<br><br>* Empirical studies that motivate further research in the field.<br><br>* Patterns and best-practices.<br><br>* Related fields, such as complex event processing, reactive data<br>  structures, view maintenance, constraint-based languages, and their<br>  integration with reactive programming.<br><br>* Implementation technology, language runtimes, virtual machine support,<br>  compilers.<br><br>* IDEs, Tools.<br><br>The format of the workshop is that of a mini-conference. Participants can<br>present their work in slots of 30 mins with Q&A included. Because of the<br>declarative nature of reactive programs, it is often hard to understand<br>their semantics just by looking at the code. We therefore also encourage<br>authors to use their slots for presenting their work based on live demos.<br><br>SUBMISSIONS<br><br>REBLS encourages submissions of two types of papers:<br><br>* Full papers: papers that describe complete research results. These papers<br>  will be published in the ACM digital library.<br><br>* In-progress papers: papers that have the potential of triggering an<br>  interesting discussion at the workshop or present new ideas that require<br>  further systematic investigation. These papers will not be published in<br>  the ACM digital library.<br><br>Format:<br><br>* Submissions should use the ACM SIGPLAN Conference acmart Format with the<br>  two-column, sigplan Subformat, 10 point font, using Biolinum as sans-serif<br>  font and Libertine as serif font. All submissions should be in PDF format. If<br>  you use LaTeX or Word, please use the ACM SIGPLAN acmart Templates.<br><br>  The page <a href="http://www.sigplan.org/Resources/Author/#acmart-format">http://www.sigplan.org/Resources/Author/#acmart-format</a> contains<br>  instructions for authors, and a package that includes an example file<br>  acmart-sigplan.tex.<br><br>* Authors are required to explicitly specify the type of paper in the<br>  submission (i.e., full paper, in-progress paper).<br><br>* Full papers can be *up to* 12 pages in length, excluding references.<br>  In-progress papers can be *up to* 6 pages, excluding references.<br>  Papers do not need to make use of all pages, but they will be summarily<br>  rejected if they exceed the page limits.<br><br>Instructions for the Authors:<br><br>* Papers should be submitted through: <a href="https://rebls20.hotcrp.com/">https://rebls20.hotcrp.com/</a><br><br>* For fairness reasons, all submitted papers should conform to the formatting<br>  instructions. Submissions that violate these instructions will be summarily<br>  rejected.<br><br>* Program Committee members are allowed to submit papers, but their papers will<br>  be held to a higher standard.<br><br>* Papers must describe unpublished work that is not currently submitted for<br>  publication elsewhere as described by SIGPLAN’s Republication Policy<br>  (<a href="http://www.sigplan.org/Resources/Policies/Republication">http://www.sigplan.org/Resources/Policies/Republication</a>).<br>  Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism.<br><br>* All submissions are expected to comply with the ACM Policies for Authorship<br>  detailed at <a href="https://www.acm.org/publications/authors/information-for-authors">https://www.acm.org/publications/authors/information-for-authors</a>.<br><br>PROGRAM COMMITTEE<br><br>Ivan Perez (PC Chair; NIA)<br><br>Alan Jeffrey, Mozilla Research.<br>Christiaan Baaij, QBayLogic.<br>César Sánchez, IMDEA Software.<br>Daniel Winograd-Cort, Target Corp.<br>Edward Amsden, Black River Software, LLC.<br>Guerric Chupin, University of Nottingham.<br>Heinrich Apfelmus.<br>Jonathan Thaler, University of Applied Sciences Vorarlberg.<br>Louis Mandel, IBM Research.<br>Manuel Bärenz, sonnen eServices GmbH.<br>Marc Pouzet, Université Pierre et Marie Curie.<br>Mark Santolucito, University of Yale.<br>Neil Sculthorpe, University of Nottingham Trent.<br>Noemi Rodrigues, Pontifícia Universidade Católica do Rio de Janeiro<br>Oleksandra Bulgakova, Sukhomlynsky Mykolaiv National University<br>Patrick Bahr, University of Copenhagen<br>Takuo Watanabe, Tokyo Institute of Technology<br>Tetsuo Kamina, Oita University<br>Tom Van Cutsem, Nokia Bell Labs<br>Yoshiki Ohshima, HARC / Y Combinator Research<br><br>ORGANIZING COMMITTEE<br><br>Guido Salvaneschi, TU Darmstadt, Germany<br>Wolfgang De Meuter, Vrije Universiteit Brussel, Belgium<br>Patrick Eugster, Universita della Svizzera Italiana, Switzerland<br>Francisco Sant'Anna, Rio de Janeiro State University, Brazil<br>Lukasz Ziarek, SUNY Buffalo, United States<br><br>For any questions, please use the form on the website or contact the Chair at<br><a href="mailto:ivan.perezdominguez@nasa.gov">ivan.perezdominguez@nasa.gov</a>.</div>