<div dir="ltr">JAIST Logic Workshopのご案内<br>(重複してお受け取りの際はご容赦ください。)<br><br>ボーフム大学の大森仁と申します。<br><br>直前の案内になってしまいましたが、以下の通りワークショップが開かれます。<br><br>-------------------------------------<br>JAIST Logic Workshop<br>【日時】2018年12月12日 10:30--<br>【場所】I-56 (Collaboration Room 7), JAIST<br>【ウェブサイト】<a href="https://sites.google.com/view/priestfest2018/related-events">https://sites.google.com/view/priestfest2018/related-events</a><br>【プログラム】<br>10:30--12:00 Zach Weber "On the metatheory for paraconsistent truth"<br>12:00--14:00 Lunch<br>14:00--15:30 Heinrich Wansing "Refutation as falsification"<br>15:30--15:45 Coffee<br>15:45--17:15 Thomas Ågotnes "TBA"<br>-------------------------------------<br><br>Wansing先生とWeber先生は15日から17 日にかけて京大で開かれる研究集会でも話をされます。<br>詳細はこちらをご覧ください：<a href="https://sites.google.com/view/priestfest2018/home">https://sites.google.com/view/priestfest2018/home</a><br><br>以上、どうぞ奮ってご参加下さい。よろしくお願いいたします。<br><br>大森仁<br></div>