|
||||||||||||
сегодня: пятница, 29 марта 2024
|
Новости мира науки
Казань принимает крупный международный форум в области информатики (13.06.2010)V Международный англоязычный симпозиум «Computer Science in Russia» (CSR) начнет завтра свою работу в Казани. Организаторами масштабного мероприятия выступают Правительство Республики Татарстан, Российский фонд фундаментальных исследований, Министерство информатизации и связи РТ, Институт информатики АН РТ и Казанский федеральный университет. Пятый форум впервые будет проходить в Казани и включит работу двух международных ассоциированных семинаров. Завтра в конференц-зале восточного крыла главного здания Казанского федерального университета начнет свою работу семинар «Семантика, спецификация и верификация программ: теория и применение». 16 июня состоится открытие симпозиума CSR-2010 в малом зале КСК КГУ «УНИКС», который продлится до 20 июня. 21 июня пройдет семинар «Высокопродуктивные вычисления». По мнению организаторов, данное мероприятие даст возможность обсудить перспективы информационных технологий. Тематика конференции охватывает области теории сложности вычислений и алгоритмов, криптографию, теорию и практику структур данных, комбинаторную оптимизацию, формальные языки и автоматы, алгоритмы для распределенных систем, теорию доказательств и применение логики в информатике, верификацию моделей. Симпозиум привлек внимание таких ученых, как Александр Разборов из Чикагского университета (США), Прабхакар Рагхаван из Стенфордовского университета (США), Ричард Йозса из Кембриджа (Великобритания) и др. Рабочие языки докладов – русский и английский, сообщает пресс-центр Казанского университета. ***Ив |
Новости мира науки
Мероприятия Конференции Конкурсы, олимпиады Гранты, стипендии Стажировки Фонды Образование Семинары Форумы Тренинги Курсы повышения квалификации Полезные ссылки О портале |
|