[ecoop-info] ECOOP 2011 Workshops - Call for Contributions

[Joao Araujo]

**********************************************************************
                         ECOOP 2011 WORKSHOPS
                         CALL FOR CONTRIBUTIONS
        25th European Conference on Object-Oriented Programming

                            July 25-29, 2011
                             Lancaster, UK
                    http://ecoop11.comp.lancs.ac.uk/
**********************************************************************

ECOOP 2011 will host an exciting array of workshops that address a
variety of topics in object-oriented technology.  Typically, a workshop
will either address a focused topic in depth or explore connections
between object-oriented technologies and other areas of interest.

The ECOOP 2011 workshops are summarized below.  For more information,
please visit the individual workshop web sites and the ECOOP 2011
workshops page: http://ecoop11.comp.lancs.ac.uk/?q=conference/workshops

Workshop paper submissions are due *April 15, 2011*.

Students!  Thanks to the generosity of AiTO and AOSD-Europe, ECOOP 2011
will offer numerous student stipends to support participation in the
ECOOP conference and workshops.  More information soon at the ECOOP 2011
web site: http://ecoop11.comp.lancs.ac.uk/?q=content/studentships

                      ECOOP 2011 Workshop Schedule
  -------------------------------------------------------------------
  Mon Jul 25:  COP       ESCOT       IWACO   SDAE   WSRCC     WASDeTT
  Tue Jul 26:  Agile RE  Creativity  FREECO  FTfJP  ICOOOLPS  WASDeTT

========================================================================

Agile RE: 1st Workshop on Agile Requirements Engineering
http://www.comp.lancs.ac.uk/~gacitur1/AREW11/

Ever since agile emerged in the 1990s, there has been debate about the
role that requirements engineering (RE) can play for agile practitioners
and their customers.  It is not disputed that agile development needs
requirements; what is questioned is the relevance of the assumptions,
methodologies, techniques, and tools that make up the RE discipline.
While agile emphasizes incremental discovery and satisfaction cycles
with face-to-face interaction rather than documentation, RE has
traditionally stressed full understanding of requirements before
commitment to coding and rigorously maintained, version-managed, and
traced requirements documents.  Yet both of these views are stereotypes,
rendered even less valid by the evolution that has occurred in both the
agile and RE worlds.  For example, techniques have emerged from the RE
community for dealing with volatile domains where the requirements
cannot be fully known before coding begins---sometimes not even before
deployment.  Similarly, techniques have been developed in the agile
community for modelling, structuring, and analyzing requirements
knowledge.

The aim of the Agile RE workshop is to take stock of the two world-views
and discover whether agile needs RE, and whether novel RE practices can
deliver what agile needs.

========================================================================

COP: 3rd Workshop on Context-Oriented Programming
http://www.hpi.uni-potsdam.de/hirschfeld/cop/events/cop-11/

Context information plays an increasingly important role in the systems
we build.  Software must adapt to changing contexts over time and must
change even while they are running.  However, mainstream programming
languages and development environments do not explicitly support this
kind of dynamic change, leading developers to implement complex designs
to anticipate various dimensions of variability.

Context-oriented Programming (COP) directly supports variability
depending on a wide range of dynamic attributes.  In effect, it should
be possible to dispatch run-time behavior on any property of the
execution context.

This workshop is a venue for discussing recent and emerging ideas in the
area of COP.  Topics of interest include but are not limited to
programming language abstractions for COP; modularization approaches for
COP; interactions between COP and non-functional concerns; COP
guidelines and best practices; interesting application domains and
scenarios; and runtime and tool support.

========================================================================

Creativity: 1st Workshop on Creativity in Software Design
http://www.comp.lancs.ac.uk/~corina/ECOOP%20workshop%202011/

At its core, software design is a creative problem-solving process.  In
the software engineering domain, however, it has seldom been
contextualised as such.  This workshop aims to explore the challenges
and benefits of placing software design within the broader context of
creative design and creative problem solving.  The potential benefits of
this approach include borrowing methodologies from design studies, as
well as existing tools and methods for supporting creative problem
solving.  The primary challenge is to adopt these methods and tools to
the specific aspects of software design.

The workshop is a forum for exchanging ideas about the role, benefits,
and difficulties of including creativity in software design.  It aims to
address topics such as innovative methods for creative problem solving
in software design processes; novel techniques for creative requirements
engineering; individual and group creativity in software design; tools
supporting creative thinking in software design; case studies on
innovative software design practices; and challenges in investigating
creativity in software design.

========================================================================

ESCOT: 2nd Workshop on Empirical Evaluation of Software Composition
Techniques
http://www.les.inf.puc-rio.br/opus/escot2011/

Empirical studies are a crucial tool for analyzing the benefits and
drawbacks of software composition techniques such as aspects, OO
software composition, design and model composition, and related
technologies.  Hence empirical studies are a key method for assessing
the impact of new technologies.  However, there is no standard approach
or even any rule of thumb for performing empirical studies in order to
evaluate modern composition techniques.  As a result, empirical
evaluations of software composition techniques might often appear
arbitrary and idiosyncratic.

The ESCOT workshop brings together researchers and practitioners with
different backgrounds in order to discuss the multi-faceted issues that
emerge in the empirical assessment of modern software composition
techniques.  The workshop is strongly focused on discussions, and it
combines short presentations with break-out groups.

========================================================================

FREECO: 1st Workshop on Free Composition
http://trese.ewi.utwente.nl/workshops/FREECO/

Composition mechanisms can address various forms of software assemblies
at the level of their behavior or interactions, e.g., by design
patterns, contracts, or explicit protocols.  There are general-purpose
mechanisms and also a wide variety of domain-specific compositions.
Most programming languages adopt a fixed set of composition mechanisms,
usually with explicit notation and predefined semantics.  In case a
language does not provide any mechanisms with the desired compositional
behavior, a programmer may need to write workarounds in the application
program.  A programmer may also introduce a new composition mechanism
through macros, libraries, frameworks, or language extensions.

This workshop intends to stimulate research in programming languages and
software development by exploring the notion that languages should not
offer a limited set of fixed composition mechanisms.  Instead, languages
should allow for flexibility, a wide variety of compositions,
domain-specific and tailored compositions, or programmable compositions
of various program artifacts.

========================================================================

FTfJP: 13th Workshop on Formal Techniques for Java-like Programs
http://www.cs.williams.edu/~freund/FTfJP2011/

Formal techniques can help analyze programs, precisely describe program
behavior, and verify program properties.  Newer languages such as Java
and C# provide good platforms to bridge the gap between formal
techniques and practical program development, because of their
reasonably clear semantics and standardized libraries.  Moreover, these
languages are interesting targets for formal techniques because the
novel paradigm for program deployment introduced with Java, with its
improved portability and mobility, opens up new possibilities for abuse
and causes concern about security.

Work on formal techniques and tools for programs and work on the formal
underpinnings of programming languages themselves naturally complement
each other.  This workshop aims to bring together people working in both
these fields, on topics such as formal techniques for Java, C#, Scala or
similar languages; specification techniques and interface specification
languages; specification of software components and library packages;
automated checking and verification of program properties; verification
logics; language semantics; type systems; dynamic linking and loading;
and security.

========================================================================

ICOOOLPS: 6th Workshop on the Implementation, Compilation, and
Optimization of Object-Oriented Languages, Programs, and Systems
http://www.icooolps.info/

Object-oriented programming languages play a crucial role in computer
science and engineering.  Although they sometimes seem to be ubiquitous
and mature, and despite a large amount of work, there is still a clear
need for advances in the efficient implementation and compilation of OO
languages in various application domains ranging from embedded and
real-time systems to desktop systems.

The ICOOOLPS workshop series aims to address the crucial issue of
optimization in OO languages, programs, and systems.  Its main goals are
identifying fundamental bases and key current issues pertaining to the
efficient implementation, compilation, and optimization of OO languages,
and outlining future challenges and research directions.

An expected output of this workshop is a synthesis identifying
fundamental bases and key current issues pertaining to the efficient
implementation and compilation of OO languages, in order to spread them
further among the various computing systems.  It is also intended to
extend this synthesis to encompass future challenges and research
directions in the field of OO languages implementation and optimization,
as well as non-OO languages.

========================================================================

IWACO: 5th International Workshop on Aliasing, Confinement and Ownership
in Object-Oriented Programming
http://ecs.victoria.ac.nz/Events/IWACO2011/

The ubiquitousness of aliasing in combination with objects with mutable
state makes object-oriented systems particularly sensitive to aliasing.
Various techniques have been developed to manage aliasing or the effects
of aliasing.  Such techniques make object-oriented programming languages
safer, more secure, and easier to reason about and optimise, and are
finding applications in databases, concurrency, and visualisation.  In
recent years, disciplined approaches to these problems have been
developed which are expressive enough to enable a natural
object-oriented programming style and simple enough to be understood by
programmers.

The goal of this workshop is to bring together researchers to exchange
and discuss ideas for dealing with aliasing, and to develop an agenda
covering what the workshop participants consider to be the most pressing
issues to investigate in the near future.  As this year marks the 20th
anniversary of The Geneva Convention on the Treatment of Object
Aliasing, which signalled the start of much research on object aliasing,
the workshop may in part be a retrospective of the field.

========================================================================

SDAE: 1st Workshop on Software Product Line Development in Dynamic
Adaptive Environments
http://www.comp.lancs.ac.uk/~noppen/sdae2011/

With the increasing demand for software systems in a large variety of
environments, software companies need to reduce development time and
effort to remain competitive.  Systematic reuse by means of component
technology has become the staple means to attain these goals.  In
particular, Software Product Lines (SPL) have become a popular and
effective means to effectively support families of software products.

SPLs are expected to provide reuse opportunities for a prolonged period
of time.  This longevity exposes the SPL to a massively dynamic and
adaptive environment as requirements specifications evolve, new
development techniques are introduced, and new reuse opportunities
surface.  This requires a new type of SPL that can dynamically respond
to such changes, both from the set of products it supports and the SPL
infrastructure itself.

This workshop aims to bring together researchers and practitioners in
the field of SPL development in dynamic adaptive environments.  It is a
venue for novel research on how SPL development can best address these
ever changing influences.  The workshop also invites submissions of
experience reports from industry on the causes, consequences, and
success stories of dealing with SPL development in dynamic adaptive
environments.

========================================================================

WASDeTT: 4th International Workshop on Academic Software Development
Tools and Techniques
http://wasdett2011.wikispaces.com/

The WASDeTT workshop series is motivated by the observation that tools
and tool building play an important role in applied academic software
engineering research.  The tangible results of research projects are
often embodied in a tool.  Even though tool building is a popular
technique to validate research (e.g., proof-of-concept prototyping
followed by user studies), it is neither simple nor cheap to accomplish.
Given the importance of tool building and the significant cost
associated with it, the WASDeTT workshop allows interested researchers
to share their tool building experiences and to explore how tools can be
built more effectively and efficiently.

The purpose of this workshop is not to focus on any specific kind of
academic tool, but rather to gather researchers working on different
tools.  The workshop is a forum where tool builders can talk about
common issues relevant to all tool builders, and to builders of academic
research prototypes in particular.

========================================================================

WSRCC: 3rd International Workshop on Software Research and Climate
Change
https://sites.google.com/site/wsrcc2011/

This workshop explores the contributions that software research can make
towards the challenge of climate change and sustainable living.
Software is a critical enabling technology in nearly all aspects of
current life.  As a consequence, it is clear that software can have
substantial impact on our reaction to climate change: from building the
computational models used by climate scientists to improve our
understanding of the impact of human activities on earth systems,
through to population education and driving the control systems needed
to build an effective carbon-neutral society.  It is also necessary to
work on reducing the climate impact of computing itself.

The intent of this workshop is to explore how software research can
contribute to the challenge of climate change, to build a community of
researchers interested in responding to this challenge, and to map out a
research agenda.

========================================================================