[ecoop-info] Deadline approaching - FOAL'16 Workshop at MODULARITY 2016

[Henrique Rebêlo]

[Our apologies for multiple posts, but the more copies of this CfP you get
the more relevant it may be for you...]

Reminder - Call for Papers
Foundations of Aspect-Oriented Languages 2016
Co-located with the 15th International Conference on Modularity
(MODULARITY 2016) in Malaga, Spain, March 2016

   http://www.eecs.ucf.edu/~leavens/FOAL/index-2016.shtml

A one day workshop affiliated with MODULARITY '16 at Málaga, Spain on
March 14 or 15, 2016.

Themes and Goals
FOAL is a forum for research in foundations of aspect-oriented and
other advanced separation of concern mechanisms. Areas of interest
include but are not limited to:
* Semantics of advanced separation of concern mechanisms,
* Specification and verification for languages with such mechanisms
* Type systems,
* Static analysis,
* Theory of testing,
* Theory of composition,
* Theory of translation (compilation) and rewriting,
* Comparison of different advanced modularization and separation of
concern mechanisms.

The workshop aims to foster work in foundations, including formal
studies, promote the exchange of ideas, and encourage workers in the
semantics and formal methods communities to consider advanced
separation of concern mechanisms. All theoretical and foundational
studies of this topic are welcome. Even though the workshop title
contains the term "aspect-oriented", the workshop is not limited to
aspect-oriented programming languages, but welcomes topics on other
advanced separation of concern mechanisms such as feature-oriented or
context-oriented programming.

The goals of FOAL are to:


* Make progress on the foundations of aspect-oriented and other
advanced separation of concern mechanisms.
* Exchange ideas about semantics and formal methods for
aspect-oriented and other languages with advanced separation of
concerns.
* Foster interest within the programming language theory and types
communities in languages with advanced separation of concerns.
* Foster interest within the formal methods community in
aspect-oriented programming and other advanced separation of concern
mechanisms, and the problems of reasoning about them.

Workshop Format
The planned workshop format is primarily presentation of papers and
group discussion. Talks will come in two categories: regular (25
minutes plus 5 minutes of discussion) and short (10 minutes plus 5
minutes of discussion). The short talks will allow for presentations
of topics for which results are not yet available, perhaps for
researchers who are seeking feedback on ideas or seek collaborations.
We also plan to ensure sufficient time for discussion of each
presentation by limiting the overall number of talks.

Submissions
Invitation to the workshop will be based on papers selected by the
program committee; those wishing to attend but not having a paper to
submit should contact the organizers directly to see if there is
sufficient space in the workshop.

FOAL solicits regular and short papers on all areas of formal
foundations of advanced separation of concern mechanisms. Submissions
will be read by the program committee and designated reviewers. Papers
will be selected for regular and short presentation at the workshop
based on their length, scientific merit, innovation, readability, and
relevance. Papers previously published or already being reviewed by
another conference are not eligible. Some papers may not be selected
for presentation, and some may be selected for presentation in shorter
talks than their paper length would otherwise command. We will limit
the length of paper presentations and the number of papers presented
to make sure that there is enough time for discussion.

Six page papers presented at the workshop can be included in the ACM
Digital Library, at the discretion of the authors. Authors of accepted
papers who wish to have their papers in the ACM Digital Library will
be asked to transfer copyright to the ACM. However, as FOAL is a
workshop, publication of extended versions of the papers in other
venues will remain possible.

Important Dates
Paper Submission Deadline	23:00 UTC, 15 January 2016
Notification of Acceptance	06 February 2016
Final Versions of Papers Due	13 February 2016
Workshop	                14 or 15 March 2016


Program Committee
We are pleased to have another outstanding program committee for FOAL 2016.

Henrique Rebêlo — Universidade Federal de Pernambuco (PC Chair)
Erik Ernst — Google
David Lorenz— The Open University of Israel
Eric Tanter — University of Chile
Atsushi Igarashi — Kyoto University
Robert Dyer — Bowling Green State University
Mehdi Bagherzadeh — Iowa State University
Thomas Thüm — TU Braunschweig


-- 
...............................................................................................................................
Henrique Rebelo
http://www.cin.ufpe.br/~hemr
Centro de Informática
Universidade Federal de Pernambuco , Brazil