conf.researchr.org / Oleg Kiselyov
Registered user since Thu 7 Jan 2016
Contributions
2024
APLAS
- PC Chair in Organizing Committee
- Program Chair in Organizing Committee within the Research Papers-track
- Session Chair of Probabilistic and Declarative Programming (part of Research Papers)
- PC Chair in Program Committee within the Research Papers-track
- Session Chair of Keynote 1 (part of Keynote)
- Session Chair of Type theory and Semantic Frameworks (part of Research Papers)
- Session Chair of Keynote 2 (part of Keynote)
FLOPS
2023
ML
OCaml
2022
OCaml
FLOPS
2020
2019
2018
2017
CUFP
- Tutor of Tutorial C2: Extensible Effects: understanding them, implementing them, using them within the CUFP 2017-track
- Tutor of Tutorial C2: Extensible Effects: understanding them, implementing them, using them (part 3) within the CUFP 2017-track
- Tutor of Tutorial C2: Extensible Effects: understanding them, implementing them, using them (part 2) within the CUFP 2017-track