logic-mlメーリングリストの皆様，
神奈川大学の西澤弘毅と申します。
第二十六回 ALGI（代数，論理，幾何と情報科学研究集会）の 暫定プログラムのお知らせと懇親会の参加募集をさせていただきます。 また、講演の募集も引き続きお待ちしています。
**************************************************************** * 第二十六回 ALGI（代数，論理，幾何と情報科学研究集会） * * * * 2015年8月31日（月）13:45～9月1日（火）12:45 * * 公立鳥取環境大学 本部講義棟27講義室（鳥取県鳥取市） * * * * 暫定プログラムのお知らせ * **************************************************************** < 重複してお受け取りの節はご容赦願います。>
ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、 幾何学の情報科学への応用について、および情報科学の代数学や論理学、 幾何学への応用についての研究集会で、年一回の頻度で開催されています。 ALGIの趣旨や過去の集会の情報がウェブページ http://sakura.imi.kyushu-u.ac.jp/algi/ にありますので、参考までに御覧ください。
このたび、第二十六回ALGIを開催することになりました。 暫定プログラムを以下に記します。上記のウェブページにも記載されています。
８月３１日（月）
13:45 ～ 14:00 オープニング＋連絡など 14:00 ～ 14:30 未定 14:30 ～ 15:00 春山 栞（奈良女子大学）（共著者 鴨浩靖、酒井千尋、春山栞） 演題：ユークリッド幾何の問題の数式処理システムへの応用 15:00 ～ 15:15 休憩 15:15 ～ 15:45 西田 美幸（奈良女子大学）（共著者 西田美幸、大和田菜摘） 演題：証明図エディタの作成(仮) 15:45 ～ 16:15 河野 友亮（東京工業大学） 演題：最小量子論理の特殊な含意とカット除去定理について 16:15 ～ 16:30 休憩 16:30 ～ 17:00 未定 17:00 ～ 17:30 未定
夕方 懇親会（鳥取駅周辺）
９月１日（火）
9:00 ～ 9:30 蔵岡 誉司（国立米子工業高等専門学校） 演題：TBA 9:30 ～ 10:00 田中 康平（信州大学） 演題：Discrete Euler integration and sensor networks 10:00 ～ 10:15 休憩 10:15 ～ 10:45 未定 10:45 ～ 11:15 未定 11:15 ～ 11:30 休憩 11:30 ～ 12:00 未体 12:00 ～ 12:30 未定 12:30 ～ 12:45 クロージング＋連絡など
懇親会への参加を希望される方は、8/27（木）までに 西澤 (nishizawa AT kanagawa-u.ac.jp) に メールでお知らせください。
引き続き講演も募集しておりますので、講演を希望される方は、 ・題目 ・講演者名 ・e-mail address ・所属 ・梗概 ・希望時間 ・講演に必要な道具 などの情報を西澤までお寄せください。
なお、会場の手配などは公立鳥取環境大学の吉田聡先生にお願いしています。
できるだけ多くの皆さんのご講演・ご参加をお待ちしております。
西澤 弘毅（神奈川大学工学部） 古澤 仁（鹿児島大学理学部）