• Sign in
  • Sign up
conf.researchr.org / Eijiro Sumii
  • APLAS 2019 profile
  • ICFP 2016 profile
  • ICFP 2017 profile
  • ICFP 2018 profile
  • ICFP 2019 profile
  • ICFP 2021 profile
  • POPL 2017 profile
  • POPL 2020 profile
  • POPL 2021 profile
  • POPL 2023 profile
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

  • 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
Share
xMon 11 Dec 18:01
using conf.researchr.org (v1.62.0)
Support page
Sign Up