9 июля Albert Garreta выступит с докладом «Word equations with Monte Carlo Tree Search and black-box string solvers»

Омское отделение Математического центра в Академгородке приглашает вас принять участие в работе Омского Группового семинара.
Вы можете следить за обновлениями и новостями на его сайте.

Семинар состоится 9 июля в 19:00 по Новосибирскому времени (18:00 по Омскому времени, 15:00 по Московскому времени).

Albert Garreta (University of the Basque Country, Бильбао) выступит с докладом «Word equations with Monte Carlo Tree Search and black-box string solvers»

Word equations have long been a relevant problem both from a theoretical and an applied perspective. Concerning the latter, an increased effort has been made over the years in order to develop practical algorithms for (partially) solving them, since word equations arise in many applications such as software analysis, cybersecurity, or even bioinformatics. In this talk we propose new solvers which leverage recent successful general techniques from the field of artificial intelligence and, possibly, already existing heuristic-based word-equation solvers. We propose and test two algorithms: one which uses any solver as a black-box and attempts to improve its performance, and another which tackles word equations with essentially no domain-specific heuristic.

Для участия в семинаре необходимо 9 июля после 18:45 по Новосибирскому времени (17:45 по Омскому времени, 14:45 по Московскому времени) подключиться к конференции Zoom по ссылке https://us02web.zoom.us/wc/join/81220793393.
Вы также можете подключиться вручную в программе Zoom используя идентификатор конференции: 812 2079 3393.