СПбГУ впервые принимает международную конференцию по теоретической информатике LATA 2019

В Санкт-Петербургском университете открылась международная конференция по теоретической информатике Language and Automata Theory and Applications — LATA 2019. Около 50 ученых из 19 стран мира — в частности, из Германии, Франции, Польши, США и Японии — четыре дня будут обсуждать нюансы обработки текста математическими методами и последние разработки в этой области. Конференция проводится в мире уже в 13-й раз, но впервые — в Петербурге и России.

С помощью математических моделей разрабатываются методы анализа данных, представленных в виде символьных строк. По такому принципу действуют системы автоматического перевода или системы обработки языков программирования. На основе математических моделей строится, в частности, работа поисковиков и контекстной рекламы в интернете. Кроме того, эти методы позволяют решать логические задачи и даже исследовать философские вопросы. Именно этому аспекту применения теоретической информатики был посвящен доклад профессора Калифорнийского университета в Беркли (США) Эдварда А. Ли, открывший мероприятие.

«На этой конференции собралось сообщество, очень сильное в формальных рассуждениях, мыслящее математическими системами. Что стараюсь сделать я: взять темы, исторически совсем не формальные, казалось бы не подчиняющиеся структурированию, философские, и описать их языком, понятным машине. И я рассчитываю на то, что коллеги либо найдут пробелы в моих рассуждениях, либо смогут найти новые доказательства другими способами. Надеюсь, это станет новой традицией — связывать философские идеи на этом уровне», — сказал Эдвард А. Ли.

Как отметил организатор конференции в России, профессор СПбГУ Александр Охотин, математическими моделями можно описать многое. «Поиском ответов на вопрос "как устроен мир?" занимается не только философия, но и естественные науки. Поэтому вполне закономерно, что математики задумываются о том, как, исходя из своих знаний, выдвигать какие-либо гипотезы в области философии», — пояснил Александр Охотин.

При этом он подчеркнул, что, несмотря на возможность описывать философские дилеммы математически, этому вопросу был посвящен только вступительный доклад. В остальном же ученые будут говорить о конкретных математических и прикладных вопросах, возникающих в области применения теории языков и автоматов. Среди них: алгоритмы для анализа последовательностей ДНК в биоинформатике (профессор Эско Укконен, Финляндия), методы поиска в сжатых данных (профессор Павел Гавриховский, Польша), обработка текстов на квантовых компьютерах (профессор Томоюки Ямаками, Япония).

В центре внимания докладчиков конкретная тема: применение теории языков и автоматов. Сегодня ею активно занимаются в исследовательской лаборатории имени П. Л. Чебышева СПбГУ.

«Санкт-Петербургский университет становится одним из мировых центров по исследованиям в нашей области. Поэтому было вполне естественно провести конференцию именно здесь», — отметил главный организатор серии конференций LATA, профессор Университета Ровиры и Вирхили (Испания) Карлос Мартин-Виде.