{Європейська дівоча олімпіада з інформатики 2023}