Сегодня в 14:00 (через полтора часа :)) будет семинар по моделям, пишущим код
Выступят ваш покорный слуга, Nathanaël Fijalkow из CNRS и Института Алана Тьюринга, Zeyu Sun и Qihao Zhu из Университета Пекина и Jordi Klarenbeek, который пишет курсач в TU/e под моим руководством :)
http://einreise.tilda.ws/