JAIST Logic Workshop

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