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

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

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

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

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

**************************************************************** * 第二十三回 ALGI（代数，論理，幾何と情報科学研究集会） * * * * 2012年9月6日（木）午後〜7日（金） * * 九州工業大学　情報工学部（福岡県飯塚市） * * * * 暫定版プログラムのお知らせと参加の募集 * ****************************************************************

プログラムの簡略版は下記の通りです。 アブストラクトや、会場の詳細な情報は後日お知らせいたします。

なお、7日（金）の 11:00 からの講演枠がまだ空いております。 講演を希望される方は西澤（koki@kankyo-u.ac.jp）まで ご連絡ください。

9月6日（木）

13:15〜13:30 　オープニング＋連絡など

13:30〜14:15

河原康雄 　題目：Heyting 代数値関係における所属関係

14:30〜15:30

只野誉（大阪大学大学院 理学研究科 数学専攻） 　題目： 　Numerical solutions of K"{a}hler-Einstein equations on toric del Pezzo surfaces

15:45〜16:30

津曲紀宏（京都大学 数理解析研究所） 　題目：Galois connections for abstraction of probabilistic systems

16:45〜17:45

丸山善宏（オックスフォード大学大学院） 　演題：Categorical Universal Logic:Lawvere-Tierney Topology and Logical Translation.

夕方

懇親会

9月7日（金）

10:00〜10:45

西澤弘毅（鳥取環境大学） 　演題：weak split fork について

11:00〜11:45 　空き

12:00〜12:20

田中慎一（（株）日立ソリューションズ） 　演題：量子論理における含意結合子の強弱関係

12:20〜13:00 　クロージング＋連絡など

できるだけ多くの皆さんのご参加をお待ちしております。

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

会場の手配などは九州工業大学の藤尾光彦先生にお願いしています．