皆様，

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

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

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

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

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