Preliminary Call for Participation
2nd AMAST workshop on
Algebraic Methods in Language Processing (AMILP 2000)

Dates: May 20 - 22, 2000
Location: Iowa City, Iowa, USA
Website: http://parlevink.cs.utwente.nl/

AMILP 2000 is the second AMAST workshop on Algebraic Methods in Language
Processing. Like its predecessor, held in 1995 at the University of
Twente, Enschede, the Netherlands, papers will be presented on formal
language theory, programming language theory and natural language
theory. A common theme in these papers is the use of mathematics, in
particular the use of an algebraic approach. Due to this approach
traditional boundaries between the areas may disappear, allowing
researchers to learn from areas that were uncommon to them before.

Part of the papers that will be presented during AMILP 2000 were
obtained from a Call for Contributions which was issued in December
1999. In addition to this several researchers have been asked to
contribute because of their continuous contributions to the field or
because of recent research results of which the program committee became
aware. The careful choice of speakers for this event makes AMILP 2000 a
wonderful occasion to get acquainted with ongoing research, and with the
embedding of this research in a longer history as presented by some well
known invited speakers.

There will be a proceedings volume in the "TWLT" series containing full
papers. For previous volumes in the series:
http://parlevink.cs.utwente.nl/Conferences/twltseries.html
The proceedings will be available during the workshop. A selection of the
presented papers will be considered for publication in a special issue
of the journal Theoretical Computer Science.

This AMILP workshop is organized in the context provided by the
Algebraic Methodology and Software Technology (AMAST) organisation which
has hosted several large international conferences and workshops. This
AMILP 2000 will be organized in Iowa City just before the AMAST 2000
conference which is held from May 23 - 27. For details of location,
travel and accommodation for AMILP please check the AMAST 2000 website
http://www.cs.uiowa.edu/amast2000/

AMILP 2000 Program Committee
Chair: A. Nijholt (University of Twente, Enschede, Netherlands)
G. Scollo (University of Catania, Catania, Italy)
T. Rus (University of Iowa, Iowa City, USA)
D. Heylen (University of Twente, Enschede, Netherlands)

Any questions concerning the workshop can be directed to the chairman of
the program committee (anijholt@cs.utwente.nl) or the workshop secretary
(Charlotte Bijron: bijron@cs.utwente.nl ).

The preliminary programme of the AMILP 2000 workshop includes the
following talks:

Invited Talks
-------------
- Pierre Boullier (INRIA, France):
‘Counting’ with Range Concatenation Grammars.
- Aravind K. Joshi (Computer & Information Science, Philadelphia, USA):
Strong Generative Power of Formal Systems.
- Hélène Kirchner (LORIA-CNRS & INRIA Lorraine, France):
Objects, constraints, rules and strategies in ELAN.
- Gheorghe Paun (Institute of Mathematics, Bucuresti, Romania):
Molecular computing and formal languages: a mutually beneficial
cooperation.
- Ed Stabler and Ed Keenan (University of California, Los Angeles, USA):

Title to be announced.

Other Talks
------------
- Peter Asveld (University of Twente, Netherlands):
Algebraic aspects of families of fuzzy languages.
- Domenico Cantone, Andrea Formisano, E. Omodreo and Calogero Zarba
(DMI, University of Catania, & DMPA, University of L’Aquila):
From dyadic 1st order specification to map calculus.
- Jozef Kelemen, Alica Kelemenová & Carlos Martín-Vide (Silesian
University, Opava, Czech Republic and Rovira I Virgili University,
Spain):
On the emergence of infinite languages from finite ones.
- Maura Cerioli and Gianna Reggio (DISI, University of Genova, Italy):
Translation of UML diagrams to CASL specifications.
- Tom Cornell (University of Tübingen, Germany):
Parsing and grammar engineering with tree automata.
- Denys Duchier (University of Saarland, Saarbrücken, Germany):
A Model Eliminative Treatment of Quantifier Free Dominance Logic.
- Jens Michaelis, Uwe Mönnich & Frank Morawietz (University of Tübingen,
Germany):
Algebraic description of derivational minimalism.
- James Rogers (University of Central Florida, Orlando, USA):
wMSO Theories as grammar formalisms.
- Teo Rus (University of Iowa, Iowa City, USA):
Algebraic definition of programming languages.
- Karl-Michael Schneider (University of Passau, Germany):
Tabular parsing and algebraic transformations.

Registration, Lodging and Location
The workshop will be held at the premises of the University of Iowa in
Iowa City. The registration fee is $150.00. It entitles you to the
proceedings, refreshements during the breaks, lunches, and an informal
reception. Details about registration, lodging and location will become
available on the AMILP 2000 website at http://parlevink.cs.utwente.nl/