Redirecting you to http://www.ip.kyusan-u.ac.jp/J/ms/event/pt18/proof_theory_2018.html