Курс профессора prof. Andre Scedrov (University of Pennsylvania, Philadelphia) на факультете математики НИУ ВШЭ - 3,4,6 июня
Также все желающие приглашаются на семинар Лаборатории №1, где Andre Scedrov прочтет доклад A Rewriting Framework for Activities Subject to Regulations.
| 30.05.2013 | |