RIMS Workshop, Mon 16 - Wed 18 May 2011

This workshop is organized on the occasion of the visit of Prof.Dr. Yde Venema, a modal logician from ILLC, University of Amsterdam, as a visiting professor at RIMS, Kyoto University. It will feature Yde's two talks, invited talks by
and contributed talks, as well as tutorial talks by two organizers:
  • Kazushige Terui on algebraic approaches to substructural logics
  • Ichiro Hasuo on coalgebra for modal logic(ians)

Kazushige Terui, Tetsuya Sato (RIMS, Kyoto U.), Ichiro Hasuo (Dept. CS, U. Tokyo)