Filip Sieczkowski - ICFP 2018

Registered user since Sat 11 Jun 2016

Name:Filip Sieczkowski

Country:Poland

Affiliation:University of Wrocław

Research interests:Verification, Program Logics, Module Systems, Continuations

Contributions

ICFP 2018	Hope Co-chair in Organizing Committee
HOPE 2018	Co-chair in Organizing Committee within the HOPE 2018-track
ML 2018	Programming with Abstract Algebraic Effects Committee Member in Program Committee within the ML 2018-track
Show activities from other conferences