:: ::

Семинар

 
Семинар

Заседания семинара Сектора Визуализации проходят в Институте Математики и Механики УрО РАН (см. Контакты) в комнате 303 каждый четверг. Начало в 16.00.

На семинарах рассматриваются актуальные вопросы визуализации высокопроизводительных вычислений, человеко-машинного взаимодействия и смежные вопросы.

Семинар проводится с 1995 года, на текущий момент заслушано более 280 докладов. В сентябре 2010 года принято решение публиковать повестку семинара в сети Интернет. 



 
Когда: 28 ноября 2013 в 19:00
Где: В комнате 303 нового здания ИММ УрО РАН

В докладе будет (неформально!) рассказано о деталях и сложностях разработки реализации системы типов для языка Си-99.
Разговор пойдёт, в основном, о тонкостях кодирования бесконечных рекурсивных типов, и некоторых
недостатках предлагаемых теорий. Если повезёт, то это будет первый
доклад из трёх  с нарастающей степенью формализации на тему о семантике языков программирования, и о том, о
чём молчат пропагандисты Haskell :)

Ждем всех!



Количество просмотров: Счетчик посещений Counter.CO.KZ - бесплатный счетчик на любой вкус!

Есть вопрос или комментарий?..




Ваше имя Электронная почта
Получать почтовые уведомления об ответах:

| Примечание. Сообщение появится на сайте после проверки модератором.


Вернуться в раздел Семинар

Контакты

+7 (343) 362-81-45
averbukh@imm.uran.ru

г. Екатеринбург, ул. Софьи Ковалевской 16, каб. 306
Открыть контакты
Поиск на сайте
Translate
Посетители сайта