[Prev][Next][Index][Thread]

a satellite meeting to Linear'96




[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]


Dear all,

On behalf of the ALGI community in Japan, I send the announcement
of the third ALGI seminar which will be held as a satellite meeting
to Linear'96 in April. 

ALGI is a seminar series organized by the reseachers in Japan with the 
strong interest in the application of category theory to computer science.

Thank you very much,

Masaru Shirahata

==============================================================
			 The Third Seminar on

	      Algebra, Logic, and Geometry in Informatics
			       (ALGI 3)

			   April 3-5, 1996

		       Keio University, Mita, Tokyo

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 "http://www.etl.go.jp:8080/People/yoshiki/ALGI-e.html".  For
the third meeting, watch
"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
below and send it to "akama@is.s.u-tokyo.ac.jp". The details of the
meeting will be announced later in the same place.

* Date:  3 April afternoon - 5 April.

* Place: Keio University, Mita.

* Program: To be decided.  

* Schedule

   3 April: From some time in the afternoon. 
   4 April: From morning, 
      Rest during 1330-1430, for van Dalen symposium being held meantime. 
   5 April: From morning. 

* For program/registration/hotel information for Linear Logic 96, see
"http://abelard.flet.mita.keio.ac.jp/Linear96.html".  The listing of
hotels can be found at
"http://abelard.flet.mita.keio.ac.jp/person/linear96/hotel.html".

* Registration:

Please send the registration form to Yohji AKAMA (akama@is.s.u-tokyo.jp). 

* General inquiry:
 
Yohji AKAMA, Department of Information Science, The University of
Tokyo Hongoh, 7-3-1, Bunkyo-ku,Tokyo, 113, Japan.

03(3812)4177(direct), 03(3812)2111(ext.4097), 03(3818)1073(fax)
akama@is.s.u-tokyo.ac.jp 

=====================================================================
ALGI Registration form

Please use the following format: 

I intend to come to the 3rd meeting of the ALGI seminar. 

* I intend to give a talk entitled .........
* I will need approximately......minutes

Name ....................................... 
Address ....................................
............................................
Email .....................................
Tel .....................................
Fax .....................................

*Delete if inapplicable

Please inform us if you need anything else besides blackboard and OHP

Please inform us (in)convenient day of your talk.