conf.researchr.org / Eijiro Sumii
Eijiro Sumii

Registered user since Tue 25 Aug 2015

Name: Eijiro Sumii

Affiliation: Tohoku University

Personal website: http://www.kb.ecei.tohoku.ac.jp/~sumii/

Contributions

PEPM 2020Committee Member in Program Committee within the PEPM 2020-track
TyDe 2019Committee Member in Program Committee within the TyDe 2019-track
APLAS 2019Author of Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion within the Research Papers-track
ICFP 2018ICFP'16 Program Chair in Steering Committee
ICFP 2017ICFP'16 Program Chair in Steering Committee
POPL 2017Committee Member in Program Committee within the POPL-track
ICFP 2016Session Chair of Keynote 1 (part of Keynote Talks)
Program Chair in Program Committee within the Research Papers-track
ICFP'16 Program Chair in Steering Committee
Program Chair in Organizing Committee