[TYPES/announce] CFP: AOSD 2011: Perspectives on Modularity

[Atsushi Igarashi]

N.B.  The CFP doesn't explicitly mention "types" but the "subtitle" of
the next edition of AOSD is Perspectives on Modularity, which has a
lot to do with types...

---
Atsushi Igarashi
Kyoto University

----
                AOSD 2011: Perspectives on Modularity

           10th International Conference on Aspect-Oriented
                         Software Development

                         http://aosd.net/2011


  March 21st - 25th, 2011, Porto de Galinhas, Pernambuco, Brazil


             Supported by ACM SIGSOFT & SIGPLAN (pending)


First Call for Research Papers

-------------------------------------------------
Important Dates:

First Round:
  Research Paper submission : Jul. 1, 2010, 23:59 (Samoan) 
  Acceptance Notification   : Sep. 6, 2010, 23:59 (Samoan)

Second Round:
  Research Paper submission : Oct. 1, 2010, 23:59 (Samoan) 
  Acceptance Notification   : Dec. 10, 2010, 23:59 (Samoan)

Camera-ready copy            : Jan. 13, 2011, 23:59 (Samoan)
--------------------------------------------------


Instructions for authors: http://www.aosd.net/2011/call_research.html

Email contact address: research at aosd.net

--------------------------------------------------

The International Conference on Aspect-Oriented Software Development (AOSD) is the premier conference on software modularity that goes beyond traditional abstraction boundaries. The past series of the conferences have been mainly investigating "the aspects" for 10 years and explored their clear benefits. Furthermore, they have revealed that advanced modularity is the core notion for building modern software systems and hence other new modularization paradigms and techniques are also getting spotlighted today.

AOSD 2011 seeks to foster advanced modularization paradigms and techniques, which are not limited to aspects thus re-emphasizing the original intention to establish AOSD as a conference on advanced separation of concerns and software modularity for extensibility, flexibility, and adaptability.

AOSD 2011 invites high quality papers reporting documented research results emerging from work on new notions of modularity in computer systems, software engineering, programming languages, and other areas.  Here, the modularity is not only of code but also across lifecycle artifacts (e.g., from requirements to tests).

A novelty of AOSD 2011 is that authors can submit their papers at either 1st or 2nd round. The two rounds are independent but the accepted papers are presented together at the conference. If the paper is submitted at the 1st round and the review result is "resubmit after revision", the authors can resubmit the revised paper at the 2nd round with a letter to the reviewers. Then the same reviewers will review the revised paper again. AOSD 2011 adopts this procedure for motivating the acceptance of potentially good papers (but that need adjustments) rather than rejecting them straight away.

Submissions will be carried out electronically via CyberChair. All papers must be submitted in PDF format. Submissions must be no more than 12 pages (including bibliography and any appendices) in standard ACM SIG Proceedings format(http://www.acm.org/sigs/publications/proceedings-templates). More details can be found in http://www.aosd.net/2011/call_research.html

Research areas and topics of interest include, but are not limited to, the following:

Software engineering

 * Requirements engineering
 * Analysis and design modeling
 * Domain engineering
 * Software architectures
 * Evaluation and metrics
 * Modular Reasoning
 * Testing and verification
 * Interference and composition
 * Traceability
 * Software development methods
 * Process and methodology definition
 * Patterns

Programming languages

 * Language design
 * Compilation and interpretation
 * Verification and static program analysis
 * Formal languages and calculi
 * Execution environments & dynamic weaving
 * Dynamic and scripting languages
 * Domain-specific languages

Related paradigms

* Context-orientation
* Feature-orientation
* Traits
 * Model-driven development
 * Generative programming
 * Software product lines
 * Meta-programming and reflection
 * Contracts and components
 * View-based development

Tool support

 * Aspect mining
 * Evolution and reverse engineering
 * Crosscutting program views
 * Refactoring

Applications

 * Distributed/concurrent systems
 * Middleware, services, and networking
 * Pervasive computing
 * Runtime verification
 * Performance improvement

Program committee
-----------------------------------------------
Sven Apel         University of Passau, Germany
Eric Bodden       Technische Universität Darmstadt, Germany
Walter Cazzola    University of Milano, Italy
Shigeru Chiba     Tokyo Institute of Technology, Japan (Chair)
Pascal Costanza   Vrije Universiteit Brussel, Belgium
Marcus Denker     INRIA Lille, France
Elisa Baniassad   The Australian National University, Australia
Erik Ernst        Aarhus University, Denmark
Jeff Gray         University of Alabama, USA
Robert Hirschfeld Hasso-Plattner-Institut, Germany
Atsushi Igarashi  Kyoto University, Japan
Takashi Ishio     Osaka University, Japan
David H. Lorenz   Open University of Israel, Israel
Karl Lieberherr   Northeastern University, USA
Hidehiko Masuhara University of Tokyo, Japan
Mira Mezini        Technische Universität Darmstadt, Germany
Ana Moreira        Universidade Nova de Lisboa, Portugal
Hridesh Rajan     Iowa State University, USA
Awais Rashid           Lancaster University, UK
Mario Südholt         École des Mines de Nantes, France
Eric Tanter       Universidad de Chile, Chile
Jianjun Zhao      Shanghai Jiao Tong University, China