Sergey Goncharov -

Registered user since Mon 17 Sep 2018

Name:Sergey Goncharov

Country:Germany

Affiliation:University of Erlangen-Nuremberg

Personal website:https://www8.cs.fau.de/sergey

Contributions

POPL 2023	Author of Towards a Higher-Order Mathematical Operational Semantics within the POPL-track
HOPE 2020	Committee Member in Program Committee within the HOPE 2020-track
FOSSACS 2019	Committee Member in Program Committee within the FOSSACS 2019-track Session Chair of Categories and (Co)algebra (part of FOSSACS 2019)
GaLoP 2019	Author of Universal property of the monad for infinite trace strategies (work in progress) within the GaLoP-track
QAPL 2019	Author of An Adequate Semantics for Hybrid While within the QAPL-track
HOPE 2018	Author of A Metalanguage for Guarded Iteration within the HOPE 2018-track