ALGI: Seminar on Algebra, Logic and Geometry in Informatics

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. 

Our mailing list

Please join our Google groups to get some information for ALGI or the related topics.

Please do not forget to change mail address or withdrawal from membership if necessary. Email addresses being undeliverable beyond a certain period will be deleted from the group.

Future Meeting

The thirty-fifth ALGI meeting will be held on Summer 2024. (Organiser: Hayato Saigo, Koki Nishizawa, Norihiro Tsumagari)

Past Meetings

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)

The twentyfirst ALGI meeting has been held on September 6 - September 7, 2010, at Epoch Ritsumei 21, 3F K310, Biwako-Kusatsu Campus, Ritsumeikan University as one of the ISMS sessions. (Organiser: Koki Nishizawa, Hitoshi Furusawa.)

The twentysecond ALGI meeting has been held at The University of Tokyo (Kashiwa Campus), August 23-24, 2011, as one of the ISMS sessions. (Organiser: Koki Nishizawa, Hitoshi Furusawa.)

The twentythird ALGI meeting has been held at School of Computer Science and Systems Engineering, Kyushu Institute of Technology, on September 6 - 7, 2012, as one of the ISMS sessions.

The twentyfourth ALGI meeting has been held in Kyoto on September 24 -26, 2013. This has been organised together with SLACS 2013 as a RIMS workshop and one of the ISMS sessions.

The twentyfifth ALGI meeting has been held at Yokohama campus, Kanagawa University on August 19 - 20, 2014, as one of the ISMS sessions. 

The twentysixth ALGI has been held at Tottori University of Environmental Studies on August 31 - September 1, 2015, as one of the ISMS sessions. 

The twentyseventh ALGI meeting has been held at Matsumoto Campus, Shinshu University on August 27 - 28, 2016, as one of the ISMS sessions. 

The twenty-eighth ALGI meeting has been held at Kagoshima University on August 28 - 29, 2017, as one of the ISMS sessions. Thanks to Hitoshi Furusawa for local arrangements. (Organiser: Koki Nishizawa, Norihiro Tsumagari)

The twentyninth ALGI meeting has been held at Sojo University in Kumamoto, on August 27-28, 2018, as one of the ISMS sessions. (Organiser: Koki Nishizawa, Norihiro Tsumagari)

The thirtieth ALGI meeting has been held at IMI, Kyusyu University in Fukuoka, on August 31-September 1, 2019, as IMI Workshop of the Joint Research Projects and one of the ISMS sessions. (Organiser: Akitoshi Kawamura, Yoshihiro Mizoguchi, Koki Nishizawa, Norihiro Tsumagari)

The thirtyfirst ALGI meeting has been held online on September 3 - 4, 2020, as one of the ISMS sessions. (Organiser: Hiroyuki Miyoshi, Koki Nishizawa, Norihiro Tsumagari)

The thirtysecond ALGI meeting has been held online on September 9- 10, 2021, as one of the ISMS sessions. (Organiser: Ryoma Sin'ya, Koki Nishizawa, Norihiro Tsumagari)

The thirtythird ALGI meeting has been held on September 11- 12, 2022, at Akita ALVE, as one of the ISMS sessions. (Organiser: Ryoma Sin'ya, Koki Nishizawa, Norihiro Tsumagari)

The thirty-fourth ALGI meeting has been held on September 15- 16, 2023, at Shonan Institute of Technology, as one of the ISMS sessions.  (Organiser: Naosuke Matsuda, Koki Nishizawa, Norihiro Tsumagari)