[logic-ml] 証明論研究集会 & SLACS のご案内

[Toshihiko Kurata]

皆様，

2015年度の「証明論研究集会」と「記号論理と情報科学研究集会 （SLACS）」について，
合同開催の案内をメイルさせて頂きます．どちらの研究集会も数理論理学，計算の理論，
情報科学などの理論・応用に関係する様々な話題が発表されていて研究者・学生の貴重な
相互交流の場となっています．完成された研究のみならず発展途上の話題も大歓迎ですの
で，気軽に講演・参加を御検討下さい．

開催日：2015年12月14日（月）〜16日（水）
場所：南山大学名古屋キャンパスS棟(教室棟)7階S74教室
世話役：佐々木克巳（南山大学） 倉田俊彦（法政大学）

詳細はHP
https://sites.google.com/site/ptslacs2015/
をご覧頂けたらと思います．

講演を希望される方は，御手数ですが
-------------------------------------
題目
講演者名
所属
e-mail アドレス
概要
講演時間
懇親会参加希望
その他の希望（講演日など）
-------------------------------------
を pt.slacs2015 at gmail.com までメイル下さい．申込期限は12月04日（金）とします．

それでは，よろしくお願いいたします．

-- 
Toshihiko Kurata, Hosei University
e-mail: kurata at hosei.ac.jp