Где вы посоветуете опубликовать?
Хорошо, что растет интерес к использованию теории категорий в компьютерной науке и в России, жалею что не успел подготовить свой материал к вашему мероприятию...Дело в том что, я готовлю материал посвященный категорному подходу описания систем фреймов и типов, и несколько в сомнениях, где ее опубликовать, от чего собственно зависит стиль изложения(более математический или более прикладной). Может вы еще поскажете на каких ближайших мероприятиях подобную работу имеет смысл представить.