JAIST Logic Workshop
| Date: | 2018/12/12 (Wed) 10:30 |
|---|---|
| Place: | I-56 (Collaboration Room 7), JAIST |
| Group: | Logic Unit |
Website:
https://sites.google.com/view/priestfest2018/related-events
Program:
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"
| Contact | Nao Hirokawa |
|---|