logic-ml メーリングリストの皆様，

鳥取環境大学の西澤弘毅と申します。

直前のご連絡になりましたが、 第二十二回 ALGI（代数，論理，幾何と情報科学研究集会）の プログラム決定のお知らせと参加の募集をさせていただきます。

ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、 幾何学の情報科学への応用について、および情報科学の代数学や論理学、 幾何学への応用についての研究集会で、年一回の頻度で開催されています。 ALGIの趣旨や過去の集会の情報がウェブページ http://sakura.math.kyushu-u.ac.jp/algi/ にありますので、参考までに御覧ください。

このたび、第二十二回ALGIを開催することになりました。

**************************************************************** * 第二十二回 ALGI（代数，論理，幾何と情報科学研究集会） * * * * 2011年8月23日（火）13:15 〜24日（水）12:30 * * 東京大学　柏キャンパス第2総合研究棟3階315会議室（千葉県柏市）* * * * 開催のお知らせと参加・講演の募集 * ****************************************************************

プログラムの詳細はウェブページ http://sakura.math.kyushu-u.ac.jp/algi/22/ に掲載されております。 簡略版は下記の通りです。

ただし、今後講演申込みがございましたら、 23日の休憩時間を減らすなどして１件のみ対応することが可能です。

８月２３日（火）

13:15 - 13:30

オープニング＋連絡など

13:30 - 14:15

星野 直彦（京都大学数理解析研究所） 演題： A characterisation of unique decomposition categories

14:15 - 14:45

休憩

14:45 - 16:00

宮部 賢志（京都大学数理解析研究所） 演題： An optimal semimeasure and its convergence

神志那 純，潮 俊光（大阪大学大学院基礎工学研究科），木下 佳樹（産業技術総合研究所） 演題： 部分観測Mealyオートマトンのスーパバイザ制御への余代数的アプローチ

16:00 - 16:30

休憩

16:30 - 17:30

末永 幸平（京都大学情報学研究科 日本学術振興会特別研究員 (PD)） 演題： Programming with Infinitesimals: A WHILE-Language for Hybrid System Modeling

夕方：懇親会（柏キャンパス内「お魚倶楽部　はま」）

８月２４日（水）10:00 - 10:45

西澤 弘毅（鳥取環境大学） 演題： Relational Representation Theorem for Algebraic Quantales with respect to Completely Coprime Elements and Atoms

10:45 - 11:00

休憩

11:00 - 12:00

倉永 崇（名古屋大学大学院 多元数理科学研究科） 演題： 認知幾何学に向けて

木下 佳樹（AIST） 演題： NBE through Yoneda revisited in Agda

12:00 - 12:30

クロージング＋連絡など

できるだけ多くの皆さんのご参加をお待ちしております。 懇親会への参加希望は、初日に受け付けます。

西澤 弘毅（鳥取環境大学） 古澤 仁（鹿児島大学理学部）

会場の手配などは東京大学の松野裕さんと大島聡史さんにお願いしております。