Ekaterina Komendantskaya -

Registered user since Thu 24 Nov 2016

Name:Ekaterina Komendantskaya

Affiliation:Heriot-Watt University, UK

Personal website:http://www.macs.hw.ac.uk/~ek19/

Contributions

PADL 2023	Committee Member in Program Committee within the PADL 2023-track
miniKanren 2023	Committee Member in Program Committee within the miniKanren 2023-track
POPL 2023	Committee Member in Program Committee within the POPL-track
ProLaLa 2023	Author of Formalising Criminal Law in Catala within the ProLaLa 2023-track
FLOPS 2022	Committee Member in Program Committee within the FLOPS 2022-track
PADL 2022	Committee Member in Programme Committee within the PADL 2022-track
ICFP 2021	Committee Member in Program Committee within the Research Papers-track
TyDe 2021	Author of Actions You Can Handle: Dependent Types for AI Plans within the TyDe 2021-track
CPP 2021	Committee Member in Program Committee within the CPP 2021-track Session Chair of AI and Machine Learning (part of CPP 2021)
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
miniKanren 2020	Committee Member in Program Committee within the miniKanren 2020-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)
APLAS 2019	Ordinary PC member in Program Committee within the Research Papers-track
TyDe 2019	Committee Member in Program Committee within the TyDe 2019-track
ESOP 2019	Author of Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses within the ESOP 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
PADL 2019	Committee Member in Program Committee within the PADL 2019-track Author of Proof Carrying Plans within the PADL 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