ACAN: Algebraic and Coalgebraic Approaches to Non-Classical Logics

Home

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

Jose Gil-Ferez (JAIST)
Raul Leal (ILLC, University of Amsterdam)
Yoshihiro Maruyama (Grad. School of Letters, Kyoto University)
Milan Petrik (JAIST)
Katsuhiko Sano (Grad. School of Letters, Kyoto University)

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)

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

Comments