Главная Тесты ЕГЭ Книги Ресурсы Веб-каталог Форум О портале
сегодня: пятница, 29 мая 2020
Новости мира науки

Казань принимает крупный международный форум в области информатики (13.06.2010)

V Международный англоязычный симпозиум «Computer Science in Russia» (CSR) начнет завтра свою работу в Казани.

Симпозиум «Computer Science in Russia» (CSR) представлен серией конференций, ежегодно проводящихся на территории России. Предыдущие научные мероприятия прошли в Новосибирске (CSR-2009), Москве (CSR-2008), Екатеринбурге (CSR-2007) и Санкт-Петербурге (CSR-2006). Это один из значительных международных научных форумов в области информатики.

Организаторами масштабного мероприятия выступают Правительство Республики Татарстан, Российский фонд фундаментальных исследований, Министерство информатизации и связи РТ, Институт информатики АН РТ и Казанский федеральный университет.

Пятый форум впервые будет проходить в Казани и включит работу двух международных ассоциированных семинаров. Завтра в конференц-зале восточного крыла главного здания Казанского федерального университета начнет свою работу семинар «Семантика, спецификация и верификация программ: теория и применение». 16 июня состоится открытие симпозиума CSR-2010 в малом зале КСК КГУ «УНИКС», который продлится до 20 июня. 21 июня пройдет семинар «Высокопродуктивные вычисления».

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

Симпозиум привлек внимание таких ученых, как Александр Разборов из Чикагского университета (США), Прабхакар Рагхаван из Стенфордовского университета (США), Ричард Йозса из Кембриджа (Великобритания) и др.

Рабочие языки докладов – русский и английский, сообщает пресс-центр Казанского университета.

***Ив

Татар-информ

Год учителя

© Создание сайта, реклама в интернете - WebMar.ru
При использовании материалов с сайта гиперссылка обязательна.
наша почта