<html><head><meta http-equiv="Content-Type" content="text/html charset=iso-8859-1"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><font face="Courier New">==============================================================================</font></div><div><font face="Courier New"> Call for Papers</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New"> R E M 2 0 1 3</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New"> Workshop on Reactivity, Events and Modularity</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New"> Workshop Co-located with SPLASH in Indianapolis, Indiana, USA</font></div><div><font face="Courier New"> Monday, October 28</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New"> ***********************************************************</font></div><div><font face="Courier New"> * Extended submission deadline: Tuesday, September 3 *</font></div><div><font face="Courier New"> ***********************************************************</font></div><div><font face="Courier New"> </font></div><div><font face="Courier New"> <a href="http://soft.vub.ac.be/REM13/">http://soft.vub.ac.be/REM13/</a></font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">==============================================================================</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">Programming reactive applications is a challenging task. Reactivity must be</font></div><div><font face="Courier New">properly expressed by suitable language abstractions, reactive code must be</font></div><div><font face="Courier New">modular and extensible, easy to understand and to analyze. Researchers have</font></div><div><font face="Courier New">proposed several solutions to address this issue, including event-based</font></div><div><font face="Courier New">programming, functional reactive programming and aspect-oriented programming.</font></div><div><font face="Courier New">Many synergies exist between paradigms such as implicit invocations, aspects</font></div><div><font face="Courier New">and joinpoints, asynchronous methods, first-class events, purely functional</font></div><div><font face="Courier New">reactive frameworks and design and architectural patterns such as</font></div><div><font face="Courier New">subject/observer and publish/subscribe respectively. The different paradigms</font></div><div><font face="Courier New">have emerged from different communities, and with different motivations ranging</font></div><div><font face="Courier New">from decoupling of runtime components in distributed and concurrent</font></div><div><font face="Courier New">applications to decoupling of software modules, and consequently also exhibit</font></div><div><font face="Courier New">subtle yet important differences in characteristics and semantics.</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">With the ever increasing pervasiveness of reactive, concurrent, and distributed</font></div><div><font face="Courier New">systems, this workshop serves as a conduit for novel work in the context of</font></div><div><font face="Courier New">reactive software design and implementation broadly construed, i.e., related to</font></div><div><font face="Courier New">any of the above paradigms. Of particular interest is work which bridges</font></div><div><font face="Courier New">between the different paradigms and helps clarify the relations between them.</font></div><div><font face="Courier New">This workshop will gather researchers active in different communities. Among</font></div><div><font face="Courier New">the goals of the workshop is to exchange new technical research results and to</font></div><div><font face="Courier New">define better the field by coming up with taxonomies and overviews of the</font></div><div><font face="Courier New">existing work.</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">Organizers:</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">Wolfgang De Meuter, Vrije Universiteit Brussel</font></div><div><font face="Courier New">Patrick Eugster, Purdue University</font></div><div><font face="Courier New">Kevin Pinte, Vrije Universiteit Brussel</font></div><div><font face="Courier New">Guido Salvaneshi, Technical University of Darmstadt</font></div><div><font face="Courier New">Mario Südholt, École des Mines de Nantes</font></div><div><font face="Courier New">Lukasz Ziarek, University at Buffalo, The State University of New York</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">Topics</font></div><div><font face="Courier New">------</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">We welcome all submissions on reactive programming, aspect- and event-oriented</font></div><div><font face="Courier New">systems, including but not limited to: language design, implementation, runtime</font></div><div><font face="Courier New">systems, program analysis, software metrics, patterns and benchmarks.</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">- Event-based systems and languages</font></div><div><font face="Courier New">- Functional-reactive programming, self-adjusting computation and incremental</font></div><div><font face="Courier New"> computing.</font></div><div><font face="Courier New">- Reactive data structures, view maintenance, constraint-based and dataflow</font></div><div><font face="Courier New"> languages</font></div><div><font face="Courier New">- Design and implementation of aspects for event-based programming</font></div><div><font face="Courier New">- Abstractions unifying implicit invocations/events and explicit events</font></div><div><font face="Courier New">- Advanced event systems, event quantification, event composition</font></div><div><font face="Courier New">- Interaction of reactive and event-based programming with existing language </font></div><div><font face="Courier New"> features such as object-oriented programming and mutable state</font></div><div><font face="Courier New">- Analysis and studies of modularity in reactive and event-based software</font></div><div><font face="Courier New">- Runtime support for reactive software</font></div><div><font face="Courier New">- Reactivity in concurrency and distributed systems</font></div><div><font face="Courier New">- Aspects and events for reactive programming</font></div><div><font face="Courier New">- Aspects and events for dealing with mobility or security</font></div><div><font face="Courier New">- Foundational models of reactive paradigms</font></div><div><font face="Courier New">- Type systems for reactive languages</font></div><div><font face="Courier New">- Taxonomies for aspects and events</font></div><div><font face="Courier New">- Software engineering metrics for aspect- and event-oriented software</font></div><div><font face="Courier New"> development</font></div><div><font face="Courier New">- Benchmark and reproduction studies of reactive systems</font></div><div><font face="Courier New">- Complex event processing</font></div><div><font face="Courier New">- Applications, case studies and empirical studies on reactive programming</font></div><div><font face="Courier New">- Patterns and best-practices</font></div><div><font face="Courier New">- IDEs, tools</font></div><div><font face="Courier New">- Implementation technology, virtual machine support, compilers</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">The format of the workshop is that of a mini-conference. Participants can</font></div><div><font face="Courier New">present their work in slots of 30mins with Q&A included. Because of the</font></div><div><font face="Courier New">declarative nature of reactive programs, it is often hard to understand their</font></div><div><font face="Courier New">semantics just by looking at the code. We therefore also encourage authors to</font></div><div><font face="Courier New">use their slots for presenting their work based on live demos.</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">The goal of the workshop is to come to a better understanding of the boundaries</font></div><div><font face="Courier New">of the field. We hope to use the late afternoon session to draw up a taxonomy</font></div><div><font face="Courier New">of existing work and to identify the fundamental paradigmatic problems that</font></div><div><font face="Courier New">still need to be resolved in order to reconcile reactive technologies with</font></div><div><font face="Courier New">mainstream paradigms.</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">Submission</font></div><div><font face="Courier New">----------</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">Authors are invited to submit short position papers or long technical papers</font></div><div><font face="Courier New">using the ACM SIG Proceedings style at</font></div><div><font face="Courier New"><a href="http://www.acm.org/sigs/publications/proceedings-templates">http://www.acm.org/sigs/publications/proceedings-templates</a>. Papers should be</font></div><div><font face="Courier New">submitted via EasyChair at <a href="http://www.easychair.org/conferences/?conf=races2012">http://www.easychair.org/conferences/?conf=races2012</a></font></div><div><font face="Courier New">in PDF format.</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">- short papers: maximum 3 pages, excluding references</font></div><div><font face="Courier New">- long papers: maximum 7 pages, including references</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">Papers accepted for publication at the workshop and related to aspects and/or</font></div><div><font face="Courier New">events as well as modularity will be invited to submit extended drafts for</font></div><div><font face="Courier New">consideration for an upcoming special issue of the Transactions on Aspect</font></div><div><font face="Courier New">Oriented Development (TAOSD) dedicated to the topic of Events, Aspects, and</font></div><div><font face="Courier New">Modularity.</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">Program Committee</font></div><div><font face="Courier New">-----------------</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">Gregory Cooper, Brown University</font></div><div><font face="Courier New">Philipp Haller, Typesafe</font></div><div><font face="Courier New">Wouter Joosen, Katholieke Universiteit Leuven</font></div><div><font face="Courier New">Hridesh Rajan, Iowa State University</font></div><div><font face="Courier New">John Reppy, University of Chicago</font></div><div><font face="Courier New">Chiba Shigeru, University of Tokyo</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">Important Dates</font></div><div><font face="Courier New">---------------</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">September 3 Submission deadline.</font></div><div><font face="Courier New">September 13 Notification of papers accepted.</font></div><div><font face="Courier New">September 27 SPLASH early registration deadline.</font></div><div><font face="Courier New">October 28 Workshop.</font></div></body></html>