11.843, Confs: Algebraic Methods in Lang Processing-AMILP 2000

Wed Apr 12 20:57:48 UTC 2000

LINGUIST List:  Vol-11-843. Wed Apr 12 2000. ISSN: 1068-4875.

Subject: 11.843, Confs: Algebraic Methods in Lang Processing-AMILP 2000

Moderators: Anthony Rodrigues Aristar, Wayne State U.<aristar at linguistlist.org>
            Helen Dry, Eastern Michigan U. <hdry at linguistlist.org>
            Andrew Carnie, U. of Arizona <carnie at linguistlist.org>

Reviews: Andrew Carnie: U. of Arizona <carnie at linguistlist.org>

Associate Editors:  Ljuba Veselinova, Stockholm U. <ljuba at linguistlist.org>
		    Scott Fults, E. Michigan U. <scott at linguistlist.org>
		    Jody Huellmantel, Wayne State U. <jody at linguistlist.org>
		    Karen Milligan, Wayne State U. <karen at linguistlist.org>

Assistant Editors:  Lydia Grebenyova, E. Michigan U. <lydia at linguistlist.org>
		    Naomi Ogasawara, E. Michigan U. <naomi at linguistlist.org>
		    James Yuells, Wayne State U. <james at linguistlist.org>

Software development: John Remmers, E. Michigan U. <remmers at emunix.emich.edu>
                      Sudheendra Adiga, Wayne State U. <sudhi at linguistlist.org>
                      Qian Liao, E. Michigan U. <qian at linguistlist.org>

Home Page:  http://linguistlist.org/

The LINGUIST List is funded jointly by Eastern Michigan University,
Wayne State University, and donations from subscribers and publishers.

The LINGUIST Fund Drive for 2000 has begun.  We need your help to
continue providing the LINGUIST services!  Come to the URL
http://linguistlist.org/donation.html and make a donation.
Editor for this issue: Jody Huellmantel <jody at linguistlist.org>
 ==========================================================================
Please keep conferences announcement as short as you can; LINGUIST
will not post conference announcements which in our opinion are
excessively long.

=================================Directory=================================

1)
Date:  Wed, 12 Apr 2000 12:57:50 +0200 (MET DST)
From:  Dirk Heylen <heylen at cs.utwente.nl>
Subject:  Algebraic Methods in Language Processing (AMILP 2000)

-------------------------------- Message 1 -------------------------------

Date:  Wed, 12 Apr 2000 12:57:50 +0200 (MET DST)
From:  Dirk Heylen <heylen at cs.utwente.nl>
Subject:  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 (anijholt at cs.utwente.nl) or the workshop secretary
(Charlotte Bijron: bijron at cs.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/ .

---------------------------------------------------------------------------
LINGUIST List: Vol-11-843