anhinga_anhinga: (Default)
http://cca-net.de/cca2006/
November 1-5, 2006, Gainesville, Florida
Submission deadline: July 2, 2006
Update: New submission deadline: August 1, 2006
anhinga_anhinga: (Default)
They sometimes allow me to read an interesting text, which I would not be aware of otherwise.

Yuri I. Manin. Georg Cantor and his heritage

Found via the following negative review (in Russian):

http://www.livejournal.com/users/bbixob/37413.html
anhinga_anhinga: (Default)
Вспомнил, что первая статья Скотта, которую я читал, в библиотеке была только на микрофишах. Мама притащила домой лабораторный микроскоп, и можно было читать эти микрофиши, прижимая их предметным стеклом, причем при увеличении в 16 раз было мелковато, а при х32 уже были видны дефекты прижима, так что приходилось все время переключать...

еще чепуха )
anhinga_anhinga: (Default)
Саша Шень очень сильно повлиял на мою жизнь. Среди прочего, он научил меня хорошей версии функ-ана в "народном университете", и рассказал мне, что есть такой Dana Scott, который делает топологические модели языков программирования.

синхронность )

ЗЫ. кы-ы-ы-ы-ысь )

Update: третья ссылка на Шеня в френд-ленте: Конкурс Пьера Делиня.
anhinga_anhinga: (Default)
I started to look at some new work in software continualization recently, in particular, at models using ordinary dinamical systems (both discrete and continuous time), as opposed to more popular models which use non-Hausdorff topology.

In particular, I wanted to refer to the papers by Howard Blair and his colleagues from Syracuse University developing such models for logic programming Read more... )

Profile

anhinga_anhinga: (Default)
anhinga_anhinga

July 2021

S M T W T F S
    123
45678910
11121314151617
18 192021222324
25262728293031

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 12th, 2025 12:48 am
Powered by Dreamwidth Studios