Click here for a Japanese version.
This is a series of seminars on applications of algebra, logic and geometry to informatics, and applications of informatics to these areas of mathematics. ALGI is organized especially for people in informal semantics of programming languages, as there were no such in this field, while there are already several series of seminars in Japan for people in the field between mathematical logic and theoretical computer science.
The 21th ALGI meeting will be held on September 6 - September 7, 2008, at Epoch Ritsumei 21, 3F K310, Biwako-Kusatsu Campus, Ritsumeikan University.
Local Organiser: Yoshihiro Fukumoto.
Here is a record of the first ALGI meeting, held on 13-14/Oct/1995 at ETL.
The second ALGI meeting, held on 11-12/Jan/1996 at HARL.
The third meeting was held as a post conference workshop of the Linear Logic '96. (Organiser: Yohji Akama)Contact
The fourth was held in January 1997 at Kyushu University, organised by Hiroyuki Sato.
The fifth was held in January 1998 at Chiba University, organised by Takafumi Sakurai.
From 29 June until 4 July 1998, Category Theory Summer School was oranised by Masaru Shirahata and Yoshiki Kinoshita. Thanks to Koji Nakatogawa and other people in Hokkaido University for local arrangements.
The sixth was held from 5 and 6 August 1998 at Osaka University, as one of the sessions of the annual meeting of JAMS (Japan Association for Mathematical Sciences). (Organiser: Yoshiki Kinoshita
The seventhwas held in August 1999, also as one of the JAMS (Japan Assiciation for Mathematical Sciences) sessions.
The eighth will be held on 13, 14 December, 1999, in Sakunami-onsen. (Organiser: Izumi Takeuchi)
The ninth was held at Osaka Prefecture University as one of the JAMS (Japan Assiciation for Mathematical Sciences) sessions. (Organisers: Hitoshi Furusawa and Yoshiki Kinoshita) (CFP, program)
The tenth was held as one of the JAMS (Japan Assiciation for Mathematical Sciences) sessions. (Organiser: Hitoshi Furusawa)
The eleventh was held on 3, 4, and 5 December, 2001, in Kinosaki-Onsen. (Organiser: Masahito Hasegawa)
The twelfth was held on 5, 6 September, 2002, at Osaka University as one of the JAMS (Japan Assiciation for Mathematical Sciences) sessions. (Organiser: Hitoshi Furusawa) The session was joint one with a session on Mathematical Logic organised by Mariko Yasugi.
The thirteenth was held on 16-20/Dec/2002 at Research Institute for Mathematical Sciences Kyoto University. (The program is here)
The fourteenth has been held on 4, 5 September, 2003, at Osaka Prefecture University as one of the JAMS (Japan Assiciation for Mathematical Sciences) sessions. (Organiser: Toshinori Takai, Hitoshi Furusawa) The session was joint one with a session on Mathematical Logic organised by Mariko Yasugi. (The program is here)
The fifteenth has been held on 15, 16 September, 2004, at Kobe University as one of the JAMS (Japan Assiciation for Mathematical Sciences) sessions. (Organiser: Toshinori Takai, Hitoshi Furusawa) The session was joint one with a session on Mathematical Logic organised by Mariko Yasugi.
The sixteenth has been held on 31th October and 1st November at Kyusyu University as one of the JAMS sessions with 21st Century COE ``Development of Dynamic Mathematics with High Functionality''. (Organiser: Toshinori Takai, Hitoshi Furusawa) The session is joint one with a session on Mathematical Logic organised by Takeshi Yamazaki.
The seventeenth has been held on 12, 13 October, 2006, at Nara Woman's University as one of the ISMS (International Society for Mathematical Sciences ) sessions. (Organiser: Toshinori Takai, Hitoshi Furusawa).
The eighteenth has been held on 3rd and 4th September 2007 at Kagoshima University as one of the ISMS (International Society for Mathematical Sciences ) sessions. (Organiser: Toshinori Takai, Hitoshi Furusawa)
The nineteenth has been held on August 27 - August 29, 2008 at Kagoshima University as one of the ISMS sessions. We have organised ALGI19 together with SLACS2008. (Organiser: Toshinori Takai, Hitoshi Furusawa)
The twentieth has been held on September 14 - September 15, 2009 at Tottori University of Environmental Studies as one of the ISMS sessions. (Organiser: Koki Nishizawa, Hitoshi Furusawa)
We made a mailing list for ALGI meetings; drop a message with a subject "SUBSCRIBE", and a body consisting only of the following line:
subscribe "your address"