[TYPES] CfP LDTA 2005

Thomas Noll noll at cs.rwth-aachen.de
Fri Sep 17 14:53:43 EDT 2004


******************************************************************
***                      CALL FOR PAPERS                       ***
***                                                            ***
***                     Fifth Workshop on                      ***
***       Language Descriptions, Tools and Applications        ***
***                         LDTA 2005                          ***
***                                                            ***
***               Satellite event of ETAPS 2005                ***
***                       April 3, 2005                        ***
***                  Edinburgh, Scotland, UK                   ***
***                                                            ***
***  http://www-i2.informatik.rwth-aachen.de/Events/LDTA2005/  ***
******************************************************************


SCOPE:

The aim of this one-day workshop is to bring together researchers from
academia and industry interested in the field of formal language
definitions and language technologies, with a special emphasis on
tools developed for or with these language definitions. This active
area of research involves the following basic technologies:

    Program analysis, transformation, and generation
    Formal analysis of language properties
    Automatic generation of language processing tools

For example, language definitions can be augmented in a manner so that
not only compilers or interpreters can be automatically generated but
also other tools such as syntax-directed editors, debuggers, partial
evaluators, test generators, documentation generators, etc. Although
various specification formalisms like attribute grammars, action
semantics, operational semantics, and algebraic approaches have been
developed, they are not widely exploited in current practice.

It is the aim of the LDTA workshops to bridge this gap between theory and
practice. Among others, the following application domains can benefit
from advanced language technologies:

    Software component models and modeling languages
    Re-engineering and re-factoring
    Aspect-oriented programming
    Domain-specific languages
    XML processing
    Visualization and graph transformation
    Programming environments such as Eclipse, Rotor, SUN Java, etc.

The workshop welcomes contributions on all aspects of formal language
definitions, with special emphasis on applications and tools developed
for or with these language definitions.


INVITED SPEAKER:

LDTA 2005 is going to feature an invited talk by Erik Meijer from 
Microsoft Research.


SUBMISSION PROCEDURE AND PUBLICATION: 

Submission will be open from autumn 2004. Papers (of at most 15 pages) 
should be submitted electronically as (optionally compressed/gzipped) 
PostScript or PDF files to one of the program committee chairs. The message 
should also contain a text-only abstract and contact author information.

Please use the ENTCS style available on the ENTCS Macro Home Page 
http://www.math.tulane.edu/~entcs/ for preparing your submission. Final 
versions of accepted papers must not exceed 20 pages and have to conform 
to the proceedings style.

Accepted papers will be published and made available during the workshop. 
After revision, final copies of the accepted papers will be published in 
Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier Science. 
Author's instructions are given here. The authors of the best papers will 
be invited to write a journal version of their paper which will be 
separately reviewed and, after acceptance, be published in a special issue 
devoted to LDTA 2005 of the journal Science of Computer Programming 
(Elsevier Science).


PROGRAM COMMITTEE:
    
John Boyland, University of Wisconsin-Milwaukee, USA (co-chair)
  <Boyland at cs.uwm.edu>
G?rel Hedin, Lund Institute of Technology, Sweden (co-chair)
  <Gorel.Hedin at cs.lth.se>

Shigero Chiba, Tokyo Institute of Technology, Japan
Jim Cordy, Queen's University, Kingston, Canada
Susan L. Graham, University of California, Berkeley, USA
Adrian Johnstone, University of London, UK
Paul Klint, CWI, Amsterdam, The Netherlands
Jens Knoop, Vienna University of Technology, Austria
Eric Madeleine, INRIA, Sophia Antipolis, France
Arnd Poetzsch-Heffter, University of Kaiserslautern, Germany
Ganesh Sittampalam, Oxford University, UK
Anthony Sloane, Macquarie University, Sydney, Australia
Doaitse Swierstra, Utrecht University, The Netherlands
Kris de Volder, University of British Columbia, Vancouver, Canada
Andrew Wendelborn, University of Adelaide, Australia


ORGANIZING COMMITTEE:

Thomas Noll, RWTH Aachen University, Germany
Joost Visser, University of Minho, Braga, Portugal
Eric van Wyk, University of Minnesota, Minneapolis, USA


IMPORTANT DATES:

Submission deadline:  December 1, 2004
Notification:         January 17, 2005
Final version due:    February 15, 2005
Workshop:             April 3, 2005


More information about the Types-list mailing list