[TYPES/announce] Last CFP: SLE 2012 - International Conference on Software Language Engineering
Görel Hedin
gorel at cs.lth.se
Sat May 26 08:15:36 EDT 2012
========================================================================
LAST CALL FOR PAPERS (Main track)
Fifth International Conference on Software Language Engineering (SLE 2012)
Sept 25-28, 2012, Dresden, Germany
General chair: Uwe Assmann
Program co-chairs: Krzysztof Czarnecki and Görel Hedin
http://planet-sl.org/sle2012
The program will include invited talks, main track, poster track, minitutorials, and a doctoral symposium. Collocated events include GPCE 2012, FOSD 2012, and ITSLE 2012.
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.
========================================================================
MAIN TRACK
Co-chairs: Krzysztof Czarnecki and Görel Hedin
Research papers, industrial experience papers, tool demo papers.
Postproceedings in LNCS, Springer.
Selected papers invited to submit to special issue of SCP, Elsevier
EAPLS best paper award
Submission deadlines: Abstracts: June 4, Full papers: June 11
POSTER TRACK
Co-chairs: Anya Helene Bagge and Dimitris Kolovos
On-line proceedings
Submission deadline: July 10
DOCTORAL SYMPOSIUM
Co-chairs: Ulrich Eisenecker and Christian Bucholdt
On-line proceedings
Submission deadline: July 10
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.
PROGRAM COMMITTEE (Main track)
Emilie Balland, INRIA Bordeaux - Sud-Ouest, France
Paulo Borba, Federal University of Pernambuco, Brazil
Claus Brabrand, IT University of Copenhagen, Denmark
Jordi Cabot, École des Mines de Nantes, France
Krzysztof Czarnecki, University of Waterloo, Canada (co-chair)
Dragan Gasevic, Athabasca University, Canada
Jeremy Gibbons, University of Oxford, UK
Jeff Gray, University of Alabama, USA
Görel Hedin, Lund University, Sweden (co-chair)
Markus Herrmannsdoerfer, Technische Universität München, Germany
Zhenjiang Hu, National Institute of Informatics, Japan
Paul Klint, CWI, Amsterdam, The Netherlands
Julia Lawall, INRIA/LIP6, France
Kim Mens, Université catholique de Louvain, Belgium
Mira Mezini, Technische Universität Darmstadt, Germany
Daniel Moody, Ozemantics Pty Ltd, Sydney, Australia
Pierre-Etienne Moreau, Ecole de Mines de Nancy, France
Peter Mosses, Swansea University, UK
Ralf Möller, Hamburg University of Technology, Germany
Klaus Ostermann, University of Marburg, Germany
Bijan Parsia, University of Manchester, UK
Arnd Poetzsch-Heffter, Technische Universität Kaiserslautern, Germany
Lukas Renggli, Google, Zurich, Switzerland
Bernhard Rumpe, Aachen University, Germany
Joao Saraiva, Universidade do Minho, Portugal
Michael Schwartzbach, University of Aarhus, Denmark
Friedrich Steimann, Fernuniversität in Hagen, Germany
Mark van den Brand, Eindhoven University of Technology, The Netherlands
Eric Van Wyk, University of Minnesota, USA
Jeff Z. Pan, University of Aberdeen, UK
Steffen Zschaler, King's College, London, UK
For further information, see http://planet-sl.org/sle2012
More information about the Types-announce
mailing list