# Shin-ya Katsumata

Japanese Page
Publication
## Research Field

My research field is theoretical computer science.
- I am a PC member of the
Mathematical Foundations of Programming Semantics
Tirthiest Conference (MFPS XXX).
- 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-14; 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-11,2013-14; untyped lambda calculus and
Church-Turing thesis)
## Recent Papers

- Shin-ya Katsumata.
**Parametric Effect Monads and Semantics of Effect Systems**.

In Proc. POPL '14, pp. 633-645, ACM, 2014.
(Paper page,Slides for PPL2014(Japanese))
- 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,Corrections)
- 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)

## Academic Activities

Program (co)chair: PPL 2013

Program committee member: MFPS XXX, APLAS 2013, ICFP 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