Ken Sakayori -

Registered user since Sat 6 Apr 2019

Name:Ken Sakayori

Country:Italy

Affiliation:University of Bologna

Contributions

ICFP 2022	Italy in Evaluators within the Artifact Evaluation-track
APLAS 2021	Author of Termination Analysis for the $\pi$-Calculus by Reduction to Sequential Program Termination within the Research Papers-track
SAS 2021	Author of Symbolic Automatic Relations and Their Applications to SMT and CHC Solving within the SAS-track
ESOP 2019	Author of A Categorical Model of an i/o-typed pi-calculus within the ESOP 2019-track