LINGUIST List 11.843

Wed Apr 12 2000

Confs: Algebraic Methods in Lang Processing-AMILP 2000

Editor for this issue: Jody Huellmantel <jodylinguistlist.org>

Directory

1. Dirk Heylen, Algebraic Methods in Language Processing (AMILP 2000)

Programme and 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. 

AMILP 2000 Program

Saturday, May 20
13.30 Registration
14.30 Opening
 Anton Nijholt (University of Twente)
14.45 Invited Talk
 Aravind K. Joshi (Computer & Information Science, Philadelphia, USA)
 Strong Generative Power of Formal Systems. 
15.30 Break
16.00 Invited Talk
 Gheorghe Paun (Institute of Mathematics, Bucuresti, Romania):
 Molecular computing and formal languages: a mutually beneficial
 cooperation.
16.45 Talk by AMAST Chairman
 Teo Rus (University of Iowa, Iowa City, USA):
 Algebraic definition of programming languages.
17.30 Closing

Sunday, May 21
09.15 Jozef Kelemen, Alica Kelemenova� & Carlos Martin-Vide
 (Silesian University, Opava, Czech Republic and
 Rovira I Virgili University, Spain)
 On the emergence of infinite languages from finite ones.
10.00 Peter R.J. Asveld 
 (University of Twente, Netherlands): 
 Algebraic aspects of families of fuzzy languages.
10.45 Coffee Break
11.15 Invited Talk by
 Theo Janssen (University of Amsterdam, Netherlands):
 An algebraic approach to grammatical theories of natural languages.
12.00 Lunch Break
13.30 Invited Talk by 
 Helene Kirchner
 (LORIA-CNRS & INRIA Lorraine, France):
 Objects, constraints, rules and strategies in ELAN.
14.15 Gianni Reggio, Maura Cerioli and E. Astesiano
 (DISI, University of Genova, Italy):
 An Algebraic Semantics of UML Supporting its Multiview Approach.
15.00 Break
15.15 Domenico Cantone, Andrea Formisano, E. Omodreo and Calogero Zarbu
 (DMI, University of Catania, & DMPA, University L'Aiquila):
 From dyadic 1st order specification to map calculus.
16.00 Denys Duchier
 (University of Saarland, Saarbruecken, Germany):
 A Model Eliminative Treatment of Quantifier Free Dominance Logic.
16.45 Invited Talk by
 Rani Nelken and Nissim Francez
 A calculus for interrogatives based on their algebraic semantics
17.30 Closing

Monday, May 22
09.00 Invited Talk by 
 Pierre Boullier (INRIA, France):
 'Counting' with Range Concatenation Grammars.
09.45 Karl-Michael Schneider
 (University of Passau, Germany):
 Tabular parsing and algebraic transformations.
10.30 Coffee Break
11.00 Tom Cornell
 (University of Tuebingen, Germany):
 Parsing and grammar engineering with tree automata.
11.45 James Rogers
 (University of Central Florida, Orlando, USA):
 wMSO Theories as grammar formalisms.
14.00 Jens Michaelis, Uwe Moennich & Frank Morawietz
 (University of Tuebingen, Germany):
 Algebraic description of derivational minimalism.
14.45 Invited Talk by 
 Ed Stabler and Ed Keenan (University of California, Los Angeles, USA):
 Structural similarity.
15.30 Break
15.45 Maurice Nivat (University of Paris 7, Paris, France)
 Conclusions, next AMILP discussion.
16.15 Closing
 G. Scollo (University of Catania, Italy)
16.30 End of workshop

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, 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 (anijholtcs.utwente.nl) or the workshop secretary
(Charlotte Bijron: bijroncs.utwente.nl ). 

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 are 
available on the AMILP 2000 website at html://parlevink.cs.utwente.nl/ .