[logic-ml] SLACS2017プログラム確定のお知らせと懇親会追加募集

[安部達也]

皆様
（複数のメイリングリストに送信しています。重複して受信の際はご容赦ください。）

SLACS2017幹事、千葉工大の安部です。
講演・懇親会参加へお申し込みいただいた方々、ありがとうございました。

今回は、以下のご案内をさせていただきます。

1. プログラムが確定しましたのでお知らせします。
2. 懇親会の参加について追加募集（若干名）を行います。


SLACS2017（記号論理と情報科学）
http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/

日時
    2017年8月8日（火）から2017年8月9日（水）
    （前日まで数学基礎論サマースクールが明治大学で行われています。）
場所
    千葉県習志野市津田沼2-17-1 千葉工業大学津田沼キャンパス 6号館3階633室
参加費
    無料。ただし、懇親会費（3000から5000円程度）は別途徴収します。

1. プログラム（敬称略）は以下のとおり決定しました。

8月8日（火）

オープニング
    13:25–13:30
セッション1：座長 未定
    13:30–14:05 山形頼之（産総研） Validity of bilateral classical logic and its application
    14:05–14:40 武原直紀（東工大） 論理式完備ハイティング代数による直観主義二階命題論理のカット除去定理について
セッション2：座長 未定
    15:00–15:35 伴睦久（東京大） Self-identification on Social Software
    15:35–16:10 福田陽介（京都大） 準複数結論自然演繹による爆発則の再定式化
セッション3：座長 未定
    16:30–17:05 内藏理史（東京大） 再帰的な確率的プログラムの実行時間の二次のモーメントのための述語変換子
    17:05–17:40 西脇友一（東京大） Contextual Modality through Iterated Enrichment
懇親会
    18:00–20:00 福盛園（JR津田沼駅近く）SLACS2017のウェブページに地図を載せています

8月9日（水）

セッション4：座長 未定
    10:00–10:35 酒井千尋（奈良女子大） TBA
    10:35–11:10 上村太一（京都大） TBA
セッション5：座長 未定
    11:30–12:05 木村大輔（東邦大） TBA
    12:05–12:40 中澤巧爾（名古屋大） TBA
クロージング
    12:40–12:45

2. 懇親会会場を決定しました。当日飛び入りは不可能とのことですが、事前
に連絡しておけば（会場の広さの都合上）若干名であれば対応可能とのことで
すので、追加募集いたします。参加を希望される方は幹事までご連絡ください。
先着順に受け付けますのでご希望にそえないこともありますがご了承ください。