posted by user: szschaler || 4924 views || tracked by 14 users: [display]

LDTA 2010 : 10th Workshop on Language Descriptions, Tools, and Applications


Conference Series : Language Descriptions, Tools and Applications
When Mar 20, 2010 - Mar 28, 2010
Where Paphos, Cyprus
Abstract Registration Due Nov 27, 2009
Submission Deadline Dec 4, 2009
Notification Due Feb 5, 2010
Categories    software engineering   language engineering

Call For Papers

*** abstracts: (Nov. 27, 2009) // full papers: (Dec. 04, 2009) ***

10th Workshop on Language Descriptions, Tools, and Applications
(LDTA 2010)
[ ]
Paphos, Cyprus
During ETAPS (March 20-28, 2010)

===Call For Papers 2010===

This is the Call For Papers for the Tenth Workshop on
Language Descriptions, Tools, and Applications (LDTA 2010):
- [ ]

LDTA is a two-day satellite event of ETAPS which will take place
during ETAPS (March 20-28, 2010) in Paphos, Cyprus.
- [ ]


LDTA is an application and tool oriented forum on meta programming in
a broad sense. A meta program is a program that takes other programs
as input or output. The focus of LDTA is on generated or otherwise
efficiently implemented meta programs, possibly using high level
descriptions of programming languages. Tools and techniques presented
at LDTA are usually applicable in the context of "Language
Workbenches" or "Meta Programming Systems" or simply as parts of
advanced programming environments or IDEs. The applications areas
include, but are not limited to:

* Program analysis, transformation, generation, and verification
* Implementation of Domain Specific Languages (both graphical and textual)
* Reverse engineering and reengineering
* Refactoring and other source-to-source transformations
* Application modelling (MDE, MDA, Software Factories,
Software product lines)
* Grammar engineering / Grammarware
* Language definition and language prototyping
* Debugging, profiling, and testing

LDTA is a well-established workshop next to other conferences and
workshops on (programming) language engineering topics such as SLE and
GPCE. LDTA is traditionally a forum where computer science theories are
put to the test of real-world software engineering issues, for example
by applying:

* context-free grammars to parser generation for real programming languages
* attribute grammars to static analyzer and compiler generation
* term rewriting to source-to-source transformation
* action semantics to programming language implementation
* model checking to software verification

Note that LDTA solicits submissions from any technological or
theoretical domain, as long as the paper is within the application

==Submission Procedure and Publication==

Submissions in the following categories are admissible:
* research papers
* tool papers
* experience papers

The final version of the accepted papers will, pending approval, be
published in the ACM Digital Library and will also be made available
during the workshop.

Each submission must:
* clearly and unambiguously state in which of the three categories it falls;
* be original, i.e. not published or submitted elsewhere;
* contain a clear motivation;
* contain a thorough analysis of the claimed contributions (for example by
comparing to related work);
* be written in less than 15 pages (research papers and experience reports),
or less than 10 pages (tool papers); and
* use the standard LaTeX article style
(\documentclass[10pt]{article}, \usepackage{authblk} for affiliations)

Please submit your abstract and paper using EasyChair:
- [ ].

The authors of each submission are required to give a presentation at
LDTA 2010. The authors of the tool papers are required to include an
interactive demonstration in their presentations.

The authors of the best papers will be invited to write a journal
version of their paper which will be separately reviewed and, assuming
acceptance, be published in journal form. As in past years, this will
be done in a special issue devoted to LDTA 2010 of the journal Science
of Computer Programming (Elsevier Science).

==Program Committee==

Claus Brabrand, IT University of Copenhagen, Denmark (co-chair)
Pierre-Etienne Moreau, Nancy-Université & LORIA, France (co-chair)

Emilie Balland, INRIA, France
John Boyland, University of Wisconsin, USA
Giorgios Robert Economopoulos, University of Southampton, UK
Magne Haveraaen, University of Bergen, Norway
Nigel Horspool, University of Victoria, Canada
Shan Shan Huang, Logic Blox, USA
Johan Jeuring, Utrecht University, The Netherlands
Ondrej Lhotak, University of Waterloo, Canada
Shane Markstrum, University of California, USA
Peter D. Mosses, Swansea University, UK
Klaus Ostermann, Philipps-Universität Marburg, Germany
Marc Pantel, University of Toulouse, France
Elizabeth Scott, Royal Holloway, University of London, UK
Eli Tilevich, Virginia Tech, USA
Eelco Visser, Delft University of Technology, The Netherlands
Joost Visser, Software Improvement Group, The Netherlands
Tobias Wrigstad, Purdue, USA

==Important Dates==

Abstract submission deadline: (Friday) November 27, 2009
Paper submission deadline: (Friday) December 04, 2009
Notification of acceptance: (Friday) February 05, 2010
Workshop dates: (weekend) during ETAPS, March 20-28, 2010

Related Resources

SETTA 2020   Symposium on Dependable Software Engineering Theories, Tools and Applications
ACM-CSSE 2020-Ei/Scopus 2020   2020 3nd International Conference on Computer Science and Software Engineering (CSSE 2020)
MNLP 2020   4th IEEE Conference on Machine Learning and Natural Language Processing
ICSE 2021   43rd International Conference on Software Engineering, 23-29 May 2021
ACM--NLPIR--Ei Compendex and Scopus 2020   ACM--2020 4th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2020)--Scopus, Ei Compendex
AIFU 2020   6th International Conference on Artificial Intelligence and Applications
CLNLP 2020   2020 International Conference on Computational Linguistics and Natural Language Processing (CLNLP 2020)
OOPSLA 2020   Conference on Object-Oriented Programming Systems, Languages,and Applications
LCTES 2020   The 21st ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
SEFM 2020   Software Engineering and Formal Methods