[logic-ml] JAIST Logic Workshopのご案内

[Hitoshi Omori]

JAIST Logic Workshopのご案内
(重複してお受け取りの際はご容赦ください。)

ボーフム大学の大森仁と申します。

直前の案内になってしまいましたが、以下の通りワークショップが開かれます。

-------------------------------------
JAIST Logic Workshop
【日時】2018年12月12日 10:30--
【場所】I-56 (Collaboration Room 7), JAIST
【ウェブサイト】https://sites.google.com/view/priestfest2018/related-events
【プログラム】
10:30--12:00 Zach Weber "On the metatheory for paraconsistent truth"
12:00--14:00 Lunch
14:00--15:30 Heinrich Wansing "Refutation as falsification"
15:30--15:45 Coffee
15:45--17:15 Thomas Ågotnes "TBA"
-------------------------------------

Wansing先生とWeber先生は15日から17 日にかけて京大で開かれる研究集会でも話をされます。
詳細はこちらをご覧ください：https://sites.google.com/view/priestfest2018/home

以上、どうぞ奮ってご参加下さい。よろしくお願いいたします。

大森仁
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20181208/e148a8ab/attachment.html>