[MH] ================================================ AMAST Links 03 01

 Third Seminar on Algebra, Logic, and Geometry in Informatics, ALGI-3
         Keio University, Mita, Tokyo, Japan, April 3-5, 1996

   The full version of this announcement is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v03/i01/full/AC0301MH.txt

  The ALGI (Algebra, Logic, and Geometry in Informatics) seminar is a
series of informal peripatetic seminars in Japan (hopefully extending
to other areas of Eastern Asia / Oceania) on the interaction between
informatics and mathematics.

  _Information about ALGI seminars_ can be found at URL:
   http://www.etl.go.jp:8080/People/yoshiki/ALGI-e.html
  _Information for the third meeting_ is also available, at URL:
   http://nicosia.is.s.u-tokyo.ac.jp/~akama/algi3.html

  The third ALGI meeting will be held as one of the post-conference
workshops of Linear Logic 96 (held at Keio University, organized by
Prof. Mitsu Okada).  The scope of ALGI includes Linear Logic, but is
not restricted to it.

  We expect offers of talks about informal, half-baked works, as well
as completed ones.  Participants should fill in the registration form
which is given in the full version of this announcement, and send it to
   akama@is.s.u-tokyo.ac.jp
The details of the meeting will be announced later in the same place.
Some details are in the full version of this announcement. Furthermore:
_Program/registration/hotel information for Linear Logic 96_ at URL:
   http://abelard.flet.mita.keio.ac.jp/person/linear96/Linear96.html
_Listing of hotels_ at URL:
   http://abelard.flet.mita.keio.ac.jp/person/linear96/hotel.html