[TYPES/announce] Second Call for Submissions: SLE 2012 Poster Track and Doctoral Symposium

[Görel Hedin]

========================================================================
SECOND CALL FOR SUBMISSIONS to Poster Track and Doctoral Symposium

Fifth International Conference on Software Language Engineering (SLE 2012)
Sept 25-28, 2012, Dresden, Germany
General chair: Uwe Assmann
http://planet-sl.org/sle2012
SLE is co-located with GPCE, FOSD, and ITSLE.

Call for submissions to Poster Track and the Doctoral Symposium closes July 10.
Call for papers to the main track is closed.

The 5th International Conference on Software Language Engineering (SLE) is devoted to topics related to artificial languages in software engineering. SLE encourages communication among communities that have traditionally looked at software languages from different and yet complementary perspectives. Of particular relevance to SLE are technologies, methods, experiments, and case studies on software languages from modelware, grammarware and ontologyware perspectives.
========================================================================

POSTER TRACK
On-line proceedings
Submission deadline: July 10

For the poster track, we solicit short papers of length between 5 and 6 pages in topics of interest to the SLE community, and we encourage authors to report on early work and applications. Poster papers will be evaluated based on novelty and clearness of presentation. Submitted papers must not have been previously published or currently be submitted for publication elsewhere.

Authors of accepted short papers will present their posters during a poster session at the conference.

Poster track co-chairs:
- Dimitris Kolovos, University of York
- Anya Helene Bagge, University of Bergen

Poster track program committee:
- Emilie Balland, INRIA
- Laurence Tratt, Middlesex University
- Alessandro Rossini, University of Bergen
- Pieter Van Gorp, Eindhoven University of Technology
- Anne Etien, LIFL - University of Lille 1
- Antonio Cicchetti, Mälardalen University
- Louis Rose, University of York
- Zinovy Diskin, McMaster University / University of Waterloo

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

DOCTORAL SYMPOSIUM
On-line proceedings
Submission deadline: July 10

The International Conference on Software Language Engineering (SLE) aims to bring together the different sub-communities of the software-language-engineering community to foster cross-fertilisation and to strengthen research overall.

Within this context the Doctoral Symposium at SLE 2012 contributes towards these goals by providing a forum for both early and late-stage PhD students to present their research and get detailed feedback and advice from researchers both in and out of their particular research area.

The main objectives of this event are:

- to provide PhD students with an opportunity to write about and present their research
- to provide PhD students with constructive feedback on their work from their peers and from established researchers in their own and in different SLE sub-communities
- to build bridges for potential research collaboration
- to foster integrated thinking about SLE challenges crossing the boundaries between sub-communities
- to encourage discussion about research methodology

Besides research topics as mentioned in the SLE conference positioning, we explicitly solicit papers that address

- unusual cross-domain aspects of software languages,
- practical application of software language engineering concepts in real world examples, commercial or non-commercial, or
- usage and usability aspects of software languages for non-IT and non-research audience
as well.

Furthermore, we encourage PhD students to submit papers about research aspects of and connected to software language engineering, even if not explicitly mentioned in the positioning of SLE and doctoral symposium in order to start exchange of such research ideas in the community.

Doctoral Symposium co-chairs:
- Prof. Dr. Ulrich W. Eisenecker, University of Leipzig
- Christian Bucholdt, Credit Suisse AG, Zürich

Doctoral Symposium program committee:
- Roberto Lopez Herrejon, Johannes Kepler University of Linz, AT
- Michael Haupt, Oracle
- Rick Rabiser, Johannes Kepler University of Linz, AT
- Zoltan Porkolab, Eötvös Loránd University, HU
- Valentino Vranic, University of Technology Bratislava, SK
- Sebastian Günther, Vrije University Brussels, BE
- Gunther Saake, University of Magdeburg, DE
- Ulrich Breymann, University of Applied Sciences Bremen, DE
- Johannes Müller, University of Leipzig, DE
- Christian Kästner, University of Marburg, DE
- Mark van den Brand, Eindhoven University of Technology, NL
- Jörg Liebig, University of Passau, DE
- Jaako Järvi, Texas A&M University, College Station, USA
- Arnaud Hubaux, University of Namur, BE
- Steffen Becker, University of Paderborn, DE
- Heike Wehrheim, University of Paderborn, DE 
- David Benavides, University of Seville, ES
- Oscar Nierstrasz, University of Bern, CH
- Michal Valenta, University of Technology Prague, CZ
- Jaroslav Poruban, Technical University of Kosice, SK

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

SLE TOPICS OF INTEREST
The topics of interest include, but are not limited to the following:

Formalisms used in designing and specifying languages and tools that analyze language descriptions: Examples are formalisms for grammars, schemas, ontologies, and metamodels; tools that detect inconsistencies in metamodels or analyze grammars to build a parser; and formal logics and proof assistants that verify properties of language specifications.

Language implementation techniques: These include advances in traditional compiler generator tools such as parser/scanner generators, attribute grammar systems, term-rewriting systems, functional-programming-based combinator libraries; also of interest are metamodel-based and ontology tools implementing constraint, rule, view, transformation, and query formalisms and engines.

Program and model transformation tools: Examples are tools that support program refinement and refactoring, model-based development, aspect and model weaving, model extraction, metamodeling, model transformations, reasoning on models, round-trip engineering, and runtime system transformation.

Composition, integration, and mapping tools for managing different aspects of software languages or different manifestations of given language: Examples are tools for mapping between the concrete and abstract syntax of a language and for managing textual and graphical concrete syntax for the same or closely related languages.

Transformations and transformation languages between languages and models: transformation descriptions and tools or XML/RDF/ontology/object/relational mappings; also, reasoning for and about transformations.

Language evolution: Included are extensible languages and type systems and their supporting tools and language conversion tools. Ontologies and APIs, when considered as languages, are subject to evolution; thus tools and techniques that assist developers in using a new version of an ontology or an API or a competing implementation in a program are also of interest.

Approaches to the elicitation, specification, and verification of requirements for software languages: Examples include the use of requirements engineering techniques in domain engineering and in the development of domain-specific languages and the application of logic-based formalisms for verifying language and domain requirements.

Language development frameworks, methodologies, techniques, best practices, and tools for the broader language lifecycle covering phases such as analysis, testing, and documentation. For example, frameworks for advanced type or reasoning systems, constraint mechanisms, tools for metrics collection and language usage analysis, assessing language usability, documentation generators, visualization backends, generation of tests for language-based tools, knowledge and process management approaches, as well as IDE support for many of these activities are of interest.

Design challenges in SLE: Example challenges include finding a balance between specificity and generality in designing domain-specific languages, between strong static typing and weaker yet more flexible type systems, or between deep and shallow embedding approaches, as, for example, in the context of adding type-safe XML and database programming support to general purpose programming languages.

Applications of languages including innovative domain-specific languages or "little" languages: Examples include policy languages for security or service oriented architectures, web-engineering with schema-based generators or ontology-based annotations. Of specific interest are the engineering aspects of domain-specific language support in all of these cases.

For further information, see http://planet-sl.org/sle2012