В понедельник, 14 июня, в Казанском (Приволжском) федеральном университете начнет работу международный симпозиум Computer Science in Russia (CSR). Серия подобных конференций ежегодно проводится на территории России, предыдущие состоялись в Новосибирске, Москве, Екатеринбурге и Санкт-Петербурге. Специалисты называют симпозиум одним из значительных международных форумов в области информатики.
По мнению организаторов, форум даст возможность обсудить перспективы информационных технологий. Тематика конференции охватывает области теории сложности вычислений и алгоритмов, криптографию, теорию и практику структур данных, комбинаторную оптимизацию, формальные языки и автоматы, алгоритмы для распределенных систем, теорию доказательств и применение логики в информатике, верификацию моделей. Как сообщили в пресс-службе К(П)ФУ, симпозиум привлек внимание таких ученых, как Александр Разборов из Чикагского университета (США), Прабхакар Рагхаван из Стенфордовского университета (США), Ричард Йозса из Кембриджа (Великобритания) и других специалистов в области информатики.