[TYPES/announce] Modularity '14 - One week

[danilo.ansaloni at usi.ch]

*** MODULARITY '14 ***

13th International Conference on Modularity
April 22-26, 2014
Lugano, Switzerland
http://modularity.info/

In cooperation with:
* ACM SIGSOFT
* ACM SIGPLAN


*** CALL FOR CONTRIBUTIONS ***

* Research Results track
  http://modularity14.inf.usi.ch/rrtrack
  Oct. 13, 2013 - Paper submission

* Modularity Visions track
  http://modularity14.inf.usi.ch/mvtrack
  Oct. 14, 2013 - Abstract submission
  Oct. 21, 2013 - Paper submission

* Workshop Proposals
  http://modularity14.inf.usi.ch/workshop-proposals
  Oct. 11, 2013 - Proposal submission

* Demonstrations
  http://modularity14.inf.usi.ch/demonstrations
  Feb.  7, 2014

* ACM Student Research Competition
  http://modularity14.inf.usi.ch/src
  Feb.  2, 2014

* Posters
  http://modularity14.inf.usi.ch/posters
  Mar.  2, 2014


========================================================================
*** RESEARCH RESULTS TRACK ***

Modularity at the semantic as well as the syntactic level is a key
enabler for the expression of high quality software systems, because one
of the most important techniques for complexity reduction in any context
is separation of concerns. Novel concepts and abstraction mechanisms
including aspect-oriented techniques are a focus point for improvements
in the support for modularity. The scope of this effort covers all
perspectives on software systems in all their life-cycle phases, for
instance application domain analysis, programming language constructs,
formal proofs of system properties, program state visualization in
debuggers, performance improvements in compiler algorithms, etc. As the
premier international conference on modularity, Modularity '14 continues
to advance our understanding of these issues and the expressive power of
known techniques.


TOPICS

Topics of interest include, but are not limited to, the following:

* Varieties of modularity.
Context orientation; feature orientation; generative programming; aspect
orientation; software product lines; traits; families of classes;
meta-programming and reflection; components; view-based development.

* Programming languages.
Support for modularity related abstraction in: language design;
verification, contracts, and static program analysis; compilation,
interpretation, and runtime support; formal languages and calculi;
execution environments and dynamic weaving; dynamic languages;
domain-specific languages.

* Software design and engineering.
Requirements and domain engineering; architecture; synthesis; evolution;
metrics and evaluation; empirical studies of existing software;
economics; testing and verification; semantics; composition and
interference; traceability; methodologies; patterns.

* Tools.
Crosscutting views; refactoring; evolution and reverse engineering;
aspect mining; support for new language constructs.

* Applications.
Data-intensive computing; distributed and concurrent systems;
middleware; service- oriented computing systems; cyber-physical systems;
networking; cloud computing; pervasive computing; runtime verification;
computer systems performance; system health monitoring; enforcement of
non-functional properties.

* Complex systems.
Finally, Modularity '14 invites works that explore and establish
connections across disciplinary boundaries, bridging to such areas as
biology, economics, education, infrastructure such as buildings or
transport systems, and more.


IMPORTANT DATES

* Submission: October 13, 2013 (23:59 Baker Island / UTC-12)
* Notification: December 13, 2013
* Camera ready: February 17, 2014


SUBMISSION GUIDELINES

For detailed submission guidelines please refer to
http://modularity14.inf.usi.ch/rrtrack.


========================================================================
*** MODULARITY VISIONS TRACK ***

Modularity properties are key determinants of quality in information
systems, software, and system production processes. Modularity
influences system diversity, dependability, performance, evolution, the
structure and the dynamics of the organizations that produce systems,
human understanding and management of systems, and ultimately system
value.
 
Yet the nature of and possibilities for modularity, limits to
modularity, the mechanisms needed to achieve it in given forms, and its
costs and benefits remain poorly understood. Significant advances in
modularity thus are possible and promise to yield breakthroughs in our
ability to conceive, design, develop, validate, integrate, deploy,
operate, and evolve modern information systems and their underlying
software artifacts.
 
The Modularity Visions track of Modularity '14 is looking for papers
presenting compelling insights into modularity in information systems,
including its nature, forms, mechanisms, consequences, limits, costs,
and benefits. Modularity Vision papers can also present proposals for
future work. The scope of Modularity Visions is broad and open to
submissions from all areas of computer science.
 
Modularity Visions papers must supply some degree of validation because
mere speculation is not a good basis for progress. However, Modularity
Visions accepts less rigorous methods of validation such as compelling
arguments, exploratory implementations, and substantial examples. The
use of worked-out prototypes to support new ideas is strongly
encouraged.


IMPORTANT DATES

* Abstracts: October 14, 2013
* Papers: October 21, 2013
* First phase notification: December 9, 2013
* Invited revisions: February 3, 2014
* Final notification: February 10, 2014
* Camera ready version: February 17, 2014


SUBMISSION GUIDELINES

For detailed submission guidelines please refer to
http://modularity14.inf.usi.ch/mvtrack.


========================================================================
*** WORKSHOP PROPOSALS ***

Workshops are incubators for research. In contrast to conference
technical tracks, where presentations dominate Q&A and interaction,
workshops have the potential to foster spontaneous in-depth discussions
of emerging research topics in a focused community. For Modularity '14,
we invite proposals for workshops to be held in conjunction and close
interlocking with the Modularity '14 conference. We encourage proposals
on conference-related topics that are novel or of emerging importance.
We stress the importance of active and creative workshops that promise
to form a collaborative environment of interest to both practitioners
and researchers. We encourage workshop proposals that are highly
interactive, rather than mini-conferences.

Each workshop proposal will be evaluated according to the value and
relevance of its topic, the expertise and experience of the workshop
organizers, the workshop's potential for attracting participants and
generating useful results, and its potential for interaction and
spawning further research.

To increase workshop visibility, workshop organizers will be invited to
give short introductions to the workshops at the beginning of related
research track sessions.


IMPORTANT DATES

* Proposal submission: October 11, 2013
* Notification: October 25, 2013
* Workshop websites up: November 8, 2013
 
For ACM publishing of proceedings:
* Workshop submission: January 26, 2014
* Notification: February 16, 2014
* Camera ready: February 24, 2014


SUBMISSION GUIDELINES

For detailed submission guidelines please refer to
http://modularity14.inf.usi.ch/workshop-proposals.


========================================================================
*** MORE INFORMATION ***

Modularity '14 will also host demonstrations, an ACM Student Research
Competition, and a poster session. For more information about
Modularity '14, please visit http://modularity.info/.