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

SLACS2018幹事の北海道大学の佐野勝彦です。講演・懇親会参加へお申し込みいただき、どうもありがとうございました。今回は

1) プログラム、2) 懇親会参加の追加募集、

の二点についてお知らせします。

SLACS 2018（記号論理と情報科学） https://sites.google.com/view/slacs-2018/home 日時: 2018年8月8日（水）（午後2時開始）から2018年8月9日（木） 場所: 〒060-0810 北海道札幌市北区北10条西7丁目　北海道大学人文・社会科学総合研究教育棟（W棟）5階 W517教室 参加費: 無料。ただし、懇親会費は別途徴収します。

1) プログラムは以下のように決まりました。

[8/8 (水) 午後] 14:00 – 14:10 Opening 14:10 – 14:50 中村誠希 (東京工業大学 情報理工学院）「古典論理で極小な論理式だけで公理化できる論理に関する予想」の反例について 15:05 – 15:45 佐野勝彦 (北海道大学 文学研究科） Goldblatt-Thomason-style characterization for intuitionistic inquisitive logic 16:00 – 16:40 福田陽介（京都大学情報学研究科） On a linear-logical decomposition of intuitionistic modal logic S4 18:00 – 懇親会 @ 咲か蔵

[8/9 (木) 午前] 10:10 – 10:50 安部達也 (千葉工業大学 人工知能・ソフトウェア技術研究センター) 並行プログラム論理の証明の導出に関する諸問題 11:05 – 11:45 蘇 有安 Youan Su (北海道大学 文学研究科）Glivenko-Kuroda Translation in Logics for the Knowability Paradox 11:45 – 13:30 昼休み

[8/9 (木) 午後] 13:30 – 14:00 林大智 (北海道大学 文学研究科）型付きと型無しの公理的真理理論の関係について 14:15 – 14:55 上村太一 (ILLC, University of Amsterdam) Cubical Assemblies and the Independence of the Propositional Resizing Axiom 15:05 – 15:45 松田直祐（神奈川大学理学部情報科学科） 新しい combinatory reduction の提案 15:45 – 15:55 Closing

ホームページ（https://sites.google.com/view/slacs-2018/home%EF%BC%89%E3%81%AB%E3%81%AF%E6%...

2) 札幌駅北口近くに懇親会場を決定しました（飲み放題付きの4000円のコースです）。会場に多少余裕がありますので、追加募集いたします。懇親会への参加を希望される方は、次のフォームで幹事まで連絡をお願いいたします（すでに連絡してくださった方は連絡不要です）。その際、以下について回答をお願いいたします。Subject を

「SLACS2018懇親会申込」

にしておいていただけるとありがたいです。

8/6(月)の午前中

までにご連絡いただけると助かります。人数に制限がありますので先着順になる可能性があることを申し添えておきます。

----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 氏名：（例）佐野勝彦 所属：（例）北海道大学 文学研究科 e-mail アドレス: 区分：一般/学生 ← 懇親会費設定に利用する場合があります 要望等：（例）懇親会の費用の領収書はもらえますか？ ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< -----