Ekaterina Komendantskaya

Registered user since Thu 24 Nov 2016

Name:Ekaterina Komendantskaya
Affiliation:Heriot-Watt University, UK

Contributions

TyDe 2021 Author of Actions You Can Handle: Dependent Types for AI Plans within the TyDe 2021-track
PADL 2021 Committee Member in Programme Committee within the PADL 2021-track
Session Chair of Applications of Declarative Languages (part of PADL 2021)
APLAS 2020 Author of Neural Networks, Secure by Construction: An Exploration of Refinement Types within the Research Papers-track
CPP 2021 Committee Member in Program Committee within the CPP 2021-track
Session Chair of AI and Machine Learning (part of CPP 2021)
miniKanren 2020 Committee Member in Program Committee within the miniKanren 2020-track
ICFP 2021 Committee Member in Program Committee within the Research Papers-track
PADL 2020 Chair in Program Chairs within the PADL 2020-track
Author of Closing within the PADL 2020-track
Session Chair of Logical Engines and Applications (part of PADL 2020)
TyDe 2019 Committee Member in Program Committee within the TyDe 2019-track
APLAS 2019 Ordinary PC member in Program Committee within the Research Papers-track
PADL 2019 Committee Member in Program Committee within the PADL 2019-track
Author of Proof Carrying Plans within the PADL 2019-track
HCVS 2019 Committee Member in Program Committee within the HCVS-track
Author of Coinduction in Uniform: what's next? within the HCVS-track
ESOP 2019 Author of Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses within the ESOP 2019-track
CoqPL 2018 Committee Member in Program Committee within the -track
Haskell 2017 Committee Member in Program Committee within the Haskell 2017-track
ICFP 2017 Committee Member in Selection Committee within the Student Research Competition-track
Off the Beaten Track 2017 Committee Member in Program Committee within the OBT-track