Первая рабочая конференция "Формальное описание концепций программирования"