Eijiro Sumii -

Registered user since Tue 25 Aug 2015

Name:Eijiro Sumii

Country:Japan

Affiliation:Tohoku University

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

Contributions

POPL 2023	Committee Member in Program Committee within the POPL-track
PEPM 2021	Committee Member in Program Committee within the PEPM 2021-track
ICFP 2021	Committee Member in Program Committee within the Research Papers-track
PEPM 2020	Committee Member in Program Committee within the PEPM 2020-track
TyDe 2019	Committee Member in Program Committee within the TyDe 2019-track
APLAS 2019	Author of Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion within the Research Papers-track
ICFP 2018	ICFP'16 Program Chair in Steering Committee
ICFP 2017	ICFP'16 Program Chair in Steering Committee
POPL 2017	Committee Member in Program Committee within the POPL-track
ICFP 2016	Session 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