Contact
Privacy
DMCA
Robuta
https://www.fos.kuis.kyoto-u.ac.jp/mailman3/hyperkitty/list/logic-ml@fos.kuis.kyoto-u.ac.jp/thread/LBCARPWZK7LBS2WIHF4NYIRNPVLDXASH/?sort=date
Talk by Adam Prenosil (13 Oct 11:00-) - Logic-ml - fos.kuis.kyoto-u.ac.jp