---------- Пересланное сообщение ----------
Коллеги,
Как вы уже знаете, с 8 по 11 января к нам в ИСИ приезжает Дмитрий
Викторович Царьков (
http://www.cs.manchester.ac.uk/~tsarkov/),
к.ф.-м.н. , н.с. Университета г. Манчестер, основной разработчик
табличной системы вывода FACT++ для логики описаний понятий. Сегодня мы
наконец определились с расписанием. Дмитрий прилетает в Новосибирск
только вечером 8 января, а улетает рано утром 11 января. Поэтому его
доклады состоятся 9 и 10 января с 10:00 до 12:00 в семинарской комнате
ИСИ (254), остальное время мы спланируем совместно по желанию участников
(например, возможно кто-то захочет рассказать о своей работе, провести
обсуждение, дискуссию). Желающих принять участие прошу прислать заявки
до 08 января для оформления разрешения на вход в здание института; в
заявке прошу сообщить фамилию, имя , отчество и место работы.
Шилов Н.В.
-----8<-----
Если есть интересующиеся, я перешлю заявки.
Всего наилучшего,
Иван Михайлов
OpenLink Software
http://virtuoso.openlinksw.com
ИСИ СО РАН
http://www.iis.nsk.su