ALGI 14 + Logic (English ver.)

14th ALGI (Algebra, Logic, Geometry and Informatics) 4-5 September 2003 Osaka Prefecture University First Call for Participation and Presentation ALGI is a series of seminars on applications of algebra, logic and geometry to informatics, and also on applications of informatics to these areas of mathematics. Its home page at http://unit.aist.go.jp/informatics/ALGI-e.html contains some information on ALGI and past meetings. The next ALGI meeting will take place at Osaka Prefecture University from 4th to 5th September 2003. This time the meeting will be held as a a part of JAMS (http://www.jams.or.jp/) annual meeting and jointly held with the session Mathematical Logic organised by Mariko Yasugi. Algebra, Geometry, Logic and Informatics (ALGI) * Toshinori Takai(JST) Hitoshi Furusawa(AIST) Mathematical Logic * Mariko Yasugi (Kyoto Sangyo University) In the afternoon of the first day, Takeshi Yamazaki (Osaka Prefecture University) will give a talk on reverse mathematics, from the basics to recent topics. If you intend to give a talk, please send your title, abstract and time you need to Toshinori Takai<t-takai@aist.go.jp>.