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

2023

POPL

Committee Member in Program Committee within the POPL-track

2021

ICFP

Committee Member in Program Committee within the Research Papers-track

PEPM

Committee Member in Program Committee within the PEPM 2021-track

2020

PEPM

Committee Member in Program Committee within the PEPM 2020-track

2019

APLAS

Author of Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion within the Research Papers-track

TyDe

Committee Member in Program Committee within the TyDe 2019-track

2018

ICFP

ICFP'16 Program Chair in Steering Committee

2017

ICFP

ICFP'16 Program Chair in Steering Committee

POPL

Committee Member in Program Committee within the POPL-track

2016

ICFP