Shinya Katsumata
Japanese Page
Publication
Research Field
My research field is theoretical computer science.
Teaching
Introduction to Programming (at Doshisha University, the first semester, 201316; elementary Processing programming)
Programming I (at Doshisha University, the first semester, 20092012; elementary Java programming)
Introduction to computer science (at Kyoto University, the first semester, 200611,201316; untyped lambda calculus and
ChurchTuring thesis)
Recent Papers

Soichiro Fujii,
Shinya Katsumata, and
PaulAndrÃ© MelliÃ¨s
.
Towards a Formal Theory of Graded Monads.
In Proc. FoSSaCS '16, LNCS 9634, pp. 513530. Springer, Heidelberg, 2016.
(c) Springer.
 Shinya Katsumata and Tetsuya Sato.
Codensity Liftings of Monads.
In Proc. CALCO '15, Volume 35 of LIPIcs.
(Paper page)
 Shinya Katsumata.
Parametric Effect Monads and Semantics of Effect Systems.
In Proc. POPL '14, pp. 633645, ACM, 2014.
(Paper page,Slides for PPL2014(Japanese))
 Shinya Katsumata and Tetsuya Sato.
Preorders on Monads and Coalgebraic Simulations.
In Proc. FoSSaCS '13, LNCS 7794, pp.145160. Springer, Heidelberg, 2013.
(c) Springer.
(Paper page,PDF,Corrections)
 Koji Nakazawa and Shinya Katsumata.
Extensional Models of Untyped LambdaMu Calculus.
In Proc. CL&C '12, Electronic Proceedings in Theoretical Computer Science, volume 97, pp. 3547, 2012.
(Paper page)
Academic Activities
Program (co)chair: LOLA 2015, PPL 2013
Program committee member: CMCS 2016, ICALP 2015, MFPS XXX, APLAS 2013, ICFP 2013, FLOPS 2010, PPL 2010, PPL 2008, PPL 2007
Organiser: CSCAT 2010
Organising committee member: Campstyle workshop on GoI, TSMC and IC
Contact Information
Shinya Katsumata
Assistant Professor at Research Institute for Mathematical Sciences (RIMS), Kyoto University
Postal address: RIMS,
Kyoto university, Kitashirakawa Oiwakecho, Sakyoku, Kyoto,
6068502 Japan
Office address: Rm 476, Research Building No. 2,
Yoshida Honmachi, Sakyoku, Kyoto,
6068501 Japan
Tel: +81757537274
FAX: +81757537272