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

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

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

大森仁