Семинар

 
Семинар

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

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

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

Дополнительно анонсы семинаров публикуются в телеграмм канале семинара, где можно обсудить доклады.


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

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

Ждем всех!


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

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




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


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


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

Translate
Контакты

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

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

Список конференций

https://teamup.com/ksderjcf2fk8h8tjp4 

Посетители сайта