Shin-ya Katsumata
Japanese Page
Publication
Research Field
My research field is theoretical computer science.
- I am a PC member of the
11th Asian Symposium on Programming Languages and Systems
APLAS 2013.
APLAS 2013
- I am a PC member of the
eighteenth ACM SIGPLAN International Conference on Functional Programming
ICFP 2013.
ICFP 2013
- I was a PC co-chair of the
fifteenth workshop on programming and programming languages.
PPL 2013
Teaching
Introduction to Programming (at Doshisha University, the first semester, 2013; elementary Processing programming)
Programming I (at Doshisha University, the first semester, 2009-2012; elementary Java programming)
Introduction to computer science (at Kyoto University, the first semester, 2006-2011,2013; untyped lambda calculus and
Church-Turing thesis)
Recent Papers
- Shin-ya Katsumata and Tetsuya Sato.
Preorders on Monads and Coalgebraic Simulations.
In Proc. FoSSaCS '13, LNCS 7794, pp.145--160. Springer, Heidelberg, 2013.
(c) Springer.
(Paper page,PDF)
- Koji Nakazawa and Shin-ya Katsumata.
Extensional Models of Untyped Lambda-Mu Calculus.
In Proc. CL&C '12, Electronic Proceedings in Theoretical Computer Science, volume 97, pp. 35-47, 2012.
(Paper page)
- Shin-ya Katsumata.
Relating computational effects by TT-lifting.
In Inform. and Comput. (Special issue on ICALP 2011), Volume 222, pp. 228-246, 2013.
(ScienceDirect,PDF)
- Shin-ya Katsumata.
Relating Computational Effects by TT-Lifting.
In Proc. ICALP 2011, LNCS 6756, pp. 174-185, 2011.
(c) Springer.
(Springer,PDF)
- Shin-ya Katsumata.
Categorical Descriptional Composition.
In Proc. APLAS 2010, LNCS 6461, pp. 222-238, Springer 2010.
(c) Springer.
(Springer,PDF)
Academic Activities
Program (co)chair: PPL 2013
Program committee member: ICFP 2013, APLAS 2013, FLOPS 2010, PPL 2010, PPL 2008, PPL 2007
Organiser: CSCAT 2010
Organising committee member: Camp-style workshop on GoI, TSMC and IC
Contact Information
Shin-ya Katsumata
Assistant Professor at Research Institute for Mathematical Sciences (RIMS), Kyoto University
Postal address: RIMS,
Kyoto university, Kitashirakawa Oiwakecho, Sakyoku, Kyoto,
606-8502 Japan
Office address: Rm 476, Research Building No. 2,
Yoshida Honmachi, Sakyoku, Kyoto,
606-8501 Japan
Tel: +81-75-753-7274
FAX: +81-75-753-7272