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
・所属
・梗概
・希望時間
・講演に必要な道具
などの情報を nishizawa@kanagawa-u.ac.jp までお寄せください。


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


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


西澤 弘毅(神奈川大学工学部)
古澤 仁(鹿児島大学大学院理工学研究科)

--
西澤弘毅
神奈川大学 工学部 情報システム創成学科
〒221-8686 神奈川県横浜市神奈川区六角橋3-27-1
nishizawa@kanagawa-u.ac.jp
TEL(代 表)045-481-5661 (内線:3378)