The full version of this announcement is available.
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.
Information for the third meeting is also available.
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.jpThe 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 . Listing of hotels .