posted by user: ivanperez || 719 views || tracked by 2 users: [display]

REBLS 2020 : 7th Workshop on Reactive and Event-based Languages & Systems

FacebookTwitterLinkedInGoogle

Link: https://2020.splashcon.org/home/rebls-2020#Call-for-Papers
 
When Nov 15, 2020 - Nov 20, 2020
Where ONLINE
Submission Deadline Aug 21, 2020
Notification Due Sep 18, 2020
Final Version Due Oct 9, 2020
Categories    reactive programming   reactive systems   event programming   temporal logic
 

Call For Papers


CALL FOR PAPERS

7th Workshop on Reactive and Event-based Languages and Systems (REBLS 2020) co-located with the SPLASH Conference

*** BOTH EVENTS WILL NOW TAKE PLACE ONLINE ***

Sun 15 - Fri 20 November 2020
Website: https://2020.splashcon.org/home/rebls-2020

IMPORTANT DATES

Submission Deadline: 21 Aug 2020 (extended)
Author Notification: 18 Sep 2020
Camera Ready Deadline: 9 Oct 2020

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 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. 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:

* 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.
Papers do not need to make use of all pages, but they will be summarily
rejected if they exceed the page limits.

Instructions for the Authors:

* Papers should be submitted through: https://rebls20.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.

* Papers must describe unpublished work that is not currently submitted for
publication elsewhere as described by SIGPLAN’s Republication Policy
(http://www.sigplan.org/Resources/Policies/Republication). Submitters should
also be aware of ACM’s Policy and Procedures on Plagiarism.

* All submissions are expected to comply with the ACM Policies for Authorship
detailed at https://www.acm.org/publications/authors/information-for-authors.

PROGRAM COMMITTEE

Ivan Perez (PC Chair; NIA)

Alan Jeffrey, Mozilla Research.
Christiaan Baaij, QBayLogic.
César Sánchez, IMDEA Software.
Daniel Winograd-Cort, Target Corp.
Edward Amsden, Black River Software, LLC.
Guerric Chupin, University of Nottingham.
Heinrich Apfelmus.
Jonathan Thaler, University of Applied Sciences Vorarlberg.
Louis Mandel, IBM Research.
Manuel Bärenz, sonnen eServices GmbH.
Marc Pouzet, Université Pierre et Marie Curie.
Mark Santolucito, University of Yale.
Neil Sculthorpe, University of Nottingham Trent.
Noemi Rodriguez, Pontifícia Universidade Católica do Rio de Janeiro
Oleksandra Bulgakova, Sukhomlynsky Mykolaiv National University
Patrick Bahr, University of Copenhagen
Takuo Watanabe, Tokyo Institute of Technology
Tetsuo Kamina, Oita University
Tom Van Cutsem, Nokia Bell Labs
Yoshiki Ohshima, HARC / Y Combinator Research

STEERING 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

For any questions, please use the form on the website or contact the Chair at
ivan.perezdominguez@nasa.gov

Related Resources

UVS-Oman 2022   The 2nd International Conference on Unmanned Vehicle Systems (UVS-Oman 2022) - IEEE
17th ICTEL Rome 2021   17th ICTEL 2021 – International Conference on Teaching, Education & Learning, 06-07 September, Rome
4th Rome ICSSH 2021   4th Rome – International Conference on Social Science & Humanities (ICSSH), 07-08 September 2021
XVth ICBELLP Sept, Athens 2021   2021 – XVth International Conference on Business, Economics, Law, Language & Psychology (ICBELLP), 16-17 September, Athens
3rd ICSTR Athens September 2021   3rd ICSTR Athens – International Conference on Science & Technology Research, 17-18 September 2021
XVIth ICBELLP Rome 2021   2021 – XVIth International Conference on Business, Economics, Law, Language & Psychology (ICBELLP), 08-09 September, Rome
4th ICSTR Rome 2021   4th ICSTR Rome – International Conference on Science & Technology Research, 09-10 September 2021
KES 2021   25th International Conference on Knowledge Based and Intelligent information and Engineering Systems
I-WANDER 2021   [Scopus, Scholar] International Workshop on Anomalies Detection and Road Traffic Analysis in Smart Cities (in conjuction with ICPRAM 2021)
ASPLOS 2021   Architectural Support for Programming Languages and Operating Systems