Apologies if you receive multiple copies of this message. ********************************************************** *** Fourth Workshop on *** *** Language Descriptions, Tools and Applications *** *** LDTA 2004 *** *** *** *** APRIL, 3, 2004 *** *** BARCELONA, SPAIN *** *** *** *** http://www.di.uminho.pt/LDTA04 *** ********************************************************** The workshop will be held in conjunction with the 7th European Joint Conferences on Theory and Practice of Software (ETAPS), March 27 - April 4, 2004 - http://www.lsi.upc.es/etaps04 ----------------------------------------------------------------------- IMPORTANT DATES ----------------------------------------------------------------------- December 1st 2003 Submission of full paper January 5th 2004 Submission of a tool demo paper January 15th 2004 Notification February 15th 2004 Final version due April 3rd 2004 LDTA 2004 Invited Speaker: --------------- Jim Cordy, Professor and Director, School of Computing, Queen's University, Canada 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. Some of the scientific areas that take advantage from these active research fields are: - Program analysis, transformation, 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 and interpreters can be automatically generated but also other tools such as syntax-directed editors, debuggers, partial evaluators, test generators, documentation generators, etc. These beneficial results are well known and we would like to make them widely exploited in current practice. Domains of applications that are of interest for this workshop are among others: - Language components, modeling languages - Re-engineering, re-factoring - Aspect-oriented programming, adaptive programming - Domain-specific languages - XML processing - Visualization and graph transformation 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. We also encourage contributions on the use of these methodologies in education. Tool demonstrations: -------------------- The one day LDTA 2004 workshop program will also include a session on tool demonstrations. Submission procedure and publication: ------------------------------------- Authors should submit a full paper (15-20 pages) to LDTA 2004 program committee chairs. Tool demo papers (2 pages) should also be submitted to the PC chairs. Further information will be available at the LDTA 2004 home page. Accepted papers will be published and 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 2004 of the journal Science of Computer Programming (Elsevier Science). Organizing Committee: --------------------- Isabelle Attali, INRIA Sophia Antipolis, France Thomas Noll, Aachen University of Technology, Germany Joao Saraiva, University of Minho, Portugal Program committee co-chairs: ---------------------------- Gorel Hedin, Lund Institute of Technology, Sweden Eric Van Wyk, University of Minnesota, USA Program Committee members: -------------------------- John Boyland, University of Wisconsin, USA Olivier Danvy, University of Aarhus, Denmark Jose Labra Gayo, Oviedo University, Spain Paul Klint, CWI, The Netherlands Jens Knoop, Vienna University of Technology, Austria Erik Meijer, Microsoft Research, USA Didier Parigot, INRIA, France Paul Roe, QUT, Australia Ganesh Sittampalam, Oxford University Computing Laboratory, England Anthony Sloane, Macquarie University, Australia Yannis Smaragdakis, Georgia Institute of Technology, USA Doaitse Swierstra, Utrecht University, The Netherlands Kris de Volder, University of British Columbia, Canada