以下の通り，第1回研究会を開催いたしました．
日時: 2019年3月5日 (火) 16:00～17:30
場所: 京都大学 数理解析研究所 (RIMS) 2階 204室
参加者: 15名
講演者: Bakh Khoussainov (University of Auckland)
題目: Games played on finite graphs
概要: This talk is an introduction to games played on finite graphs. The games we consider are two player full information games of infinite duration. We consider various classes of games: McNaughton games, reachability games, Büchi games, and parity games, and some of their relatives. We provide various complexity-theoretic results related to finding the winners of these games and pose a couple of open questions.