logic-ml メーリングリストの皆様,
神奈川大学の西澤弘毅と申します。
第二十七回 ALGI(代数,論理,幾何と情報科学研究集会)の 暫定プログラムのアナウンスをさせていただきます。 < 重複してお受け取りの節はご容赦願います。>
ご参加をお待ちしております。 ---------------------------------------------------------------------
**************************************************************** * 第二十七回 ALGI(代数,論理,幾何と情報科学研究集会) * * * * 2016年8月27日(土)13:45~8月28日(日)12:45 * * 信州大学 松本キャンパス 人文学部・経法学部 新棟1階 第1講義室 * * * * 暫定プログラムのお知らせと講演募集 * ****************************************************************
ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、 幾何学の情報科学への応用について、および情報科学の代数学や論理学、 幾何学への応用についての研究集会で、年一回の頻度で開催されています。 ALGIの趣旨や過去の集会の情報がウェブページ http://sakura.imi.kyushu-u.ac.jp/algi/ にありますので、参考までに御覧ください。
このたび、第二十七回ALGIを開催することになりました。 会場の手配などは信州大学の田中康平先生にお願いしています。 開催場所は下記のとおりです。
信州大学松本キャンパス 人文学部・経法学部新棟1階 第1講義室 http://www.shinshu-u.ac.jp/guidance/maps/map05.html http://www.shinshu-u.ac.jp/general/extension-courses/pdf/map01-02.pdf
講演枠が1つ空いております。講演を希望される方は、 ・題目 ・講演者名 ・e-mail address ・所属 ・梗概 ・希望時間 ・講演に必要な道具 などの情報を [email protected] までお寄せください。
ALGIは申し込み不要で自由にご参加いただけます。 ただし、一日目の18:30から松本駅周辺で懇親会を予定しておりますので、 懇親会への参加を希望される方は、8/20(土)までに 西澤 (nishizawa AT kanagawa-u.ac.jp) に メールでお知らせください。
また、今回のALGIの前後には次のような集会も予定されています。 併せて参加をご検討下さい。
2016年度 SLACS(記号論理と情報科学研究集会) 日時:2016年8月25日(木),26日(金) 会場:名古屋大学VBL(ベンチャービジネスラボラトリー)3階ベンチャーホール 詳細:http://www.seto.nanzan-u.ac.jp/~sasaki/SLACS2016.html
「空間の代数的・幾何的モデルとその周辺」 日時:2016年8月29日(月)14:00~8月31日(水)12:15 会場:信州大学理学部講義棟 第一講義室 詳細:http://marine.shinshu-u.ac.jp/~kuri/ALG_TOP2016/AGM2016.html
できるだけ多くの皆さんのご講演・ご参加をお待ちしております。
西澤 弘毅(神奈川大学工学部) 古澤 仁(鹿児島大学大学院理工学研究科)