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
Organizers: Kazushige Terui, Tetsuya Sato (RIMS, Kyoto U.), Ichiro Hasuo (Dept. CS, U. Tokyo) |