Niki Vazou - ICFP 2018

Write a Blog >>

Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States

Registered user since Wed 23 Sep 2015

Name:Niki Vazou

Affiliation:University of Maryland, USA

Personal website:https://nikivazou.github.io/

Contributions

ICFP 2018	Committee Member in Program Committee within the Research Papers-track Session Chair of Proof Techniques and Mechanization (part of Research Papers) TyDe Co-chair in Organizing Committee PLMW Co-Chair in Organizing Committee
PLMW @ ICFP 2018	Co-chair in Organizing Committee within the PLMW @ ICFP 2018-track Interactive Game
Haskell 2018	Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functional Pearl) Session Chair of Session 5 (part of Haskell 2018) Committee Member in Program Committee within the Haskell 2018-track
HIW 2018	Session Chair of Types (part of HIW 2018) Committee Member in Program Committee within the HIW 2018-track
TyDe 2018	Session Chair of Effect Handlers & Abstract Machine (part of TyDe 2018) Welcome! Committee Member in Organizing Committee within the TyDe 2018-track Co-chair in Program Committee within the TyDe 2018-track Session Chair of Keynote (part of TyDe 2018)
Show activities from other conferences

ICFP 2018-profile
View general profile