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

[cfp]: algi3


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

			Call for Participation

			 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 "algi3@is.s.u-tokyo.ac.jp".

* Date:  3 April 3:30pm - 5 April.

* Place: Keio University, Mita-Campus (downtown Tokyo, 5 minutes walk from
JR-Tamachi St or Subway-Mita St).  AV Hall, Basement of Library

* Program: To be decided.  

* Schedule

   3 April 3:30pm-5:40 pm
   4 April: 10:00am-5:40pm
   5 April: 10:00am-

* For program/registration/hotel information for Linear Logic 96, see
"http://abelard.flet.mita.keio.ac.jp/person/linear96/hotel.html".

* Registration:

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

* Tentative list of speakers:

Yasuo Kawahara (Kyushu University)
	Categorical Representation Theorem of Fuzzy Relations.

Vaughan Pratt (Stanford University)
	Chu spaces,

Satoshi Matsuoka (Nagoya Institute of Technology)
	A p-time correctness condition for MALL proof nets.

Yohji AKAMA and Seiko MIKAMI (The Univesity of Tokyo)
	Study on Abramsky's Proof Expressions

Berndt Farwer (University of Hamburg)
	Relating object systems to formulae of infinitary linear logic

Yoshiki Kinoshita (ETL)
	A proof of coherence theorem for monoidal categories (talk given in
	Japanese; draft in English available)

Masaru Sirahata (Jaist)
	A note on proof-theoretic aspects of compact closed categories

Masahito Hasegawa (Edinburgh University)
	Recursion from Cyclic Sharing.

Peter O'Hearn (Queen Mary and Westfield College)
	To be announced.

Luke Ong (Oxford University and National University of Singapore)
	A semantic view of classical proofs: type-theoretic,
	categorical, denotational characterizations.


* 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.