[Haskell] LDTA 07 CfP - deadline extended

[Eric Van Wyk]

[DEADLINE EXTENDED: Title and Abstract due Dec 4, Papers due Dec 11]

                     Call for Papers
                          for
                   Seventh Workshop on
      Language Descriptions, Tools and Applications

                        LDTA 2007

             A satellite event of ETAPS 2007
             March 25, 2007 in Braga, Portugal

        (Cooperation with ACM SIGPLAN to be confirmed)

              http://www.di.uminho.pt/ldta07

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, and documentation generators. 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, NetBeans and Visual Studio
   - Modern runtime platforms including .Net, Rotor, Java Virtual Machine

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. Experience papers describing
novel or compelling uses of language definition-based methods in real
world projects are particularly sought.

Invited Speaker:

The invited speaker for LDTA 2007 is Uwe Assmann from TU Dresden.

Important Dates:

  - Submission deadline:           December 4, 2006 (title and abstract)
                                   December 11, 2006 (paper)
  - Notification:                  January 16, 2007
  - Final version due:             February 16, 2007
  - Workshop:                      March 25, 2007

Submission Procedure and Publication:

Submission will be open from autumn 2006.  Three classes of papers
are solicited: research papers, experience reports and short tool-demo
papers. Experience reports must describe the use of a language-based
tool to solve a non-trivial applied problem with an emphasis on the
advantages and disadvantages of the tool. Tool-demo papers should
contain a brief description of the tool and include a section that
clearly explains what will be demonstrated.

Research papers and experience reports should be at most 15 pages in
length and tool-demo papers should be at most 4 pages in length.  All
classes of paper should be submitted electronically as PostScript or
PDF files to both of the program committee chairs, Tony Sloane at
asloane at ics.mq.edu.au and Adrian Johnstone at adrian at cs.rhul.ac.uk.
The message should also contain a text-only abstract and contact author
information.

Additional submission details, along with LaTeX style files, are
available on the LDTA 2007 web page: http://www.di.uminho.pt/ldta07.
The final versions of accepted papers will be published in Electronic
Notes in Theoretical Computer Science (ENTCS), Elsevier Science, and
will be made available during the workshop.

The authors of the best full-length 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 a special issue devoted to LDTA 2007 of the
journal Science of Computer Programming (Elsevier Science).

Program Committee:

  - Judith Bishop, University of Pretoria, South Africa
  - Claus Brabrand, BRICS, University of Aarhus, Denmark
  - Nigel Horspool, University of Victoria, Canada
  - Johan Jeuring, Utrecht University, The Netherlands
  - Adrian Johnstone, Royal Holloway, University of London, UK
    (co-chair), adrian at cs.rhul.ac.uk
  - Steven Klusener, Vrije Universiteit, The Netherlands
  - Kent Lee, Luther College, USA
  - Brian Malloy, Clemson University, USA
  - Terence Parr, University of San Francisco, USA
  - Michael Schwartzbach, BRICS, University of Aarhus, Denmark
  - Tony Sloane, Macquarie University, Australia (co-chair),
    asloane at ics.mq.edu.au
  - Jurgen Vinju, CWI, The Netherlands

Organizing Committee:

  - Thomas Noll, RWTH Aachen University, Germany,
    noll at cs.rwth-aachen.de
  - Alcino Cunha, University of Minho, Braga, Portugal,
    alcino at di.uminho.pt