On December 13, 2022, Sang-il Oum of the IBS Discrete Mathematics Group received the Choi Seok-Jeong Award of the year (올해의 최석정상) from the Minister of Science and ICT of Korea. This is the 2nd year of this award named after Choi, Seok-jeong, known for discovering a pair orthogonal Latin squares of order 9 for the first time ahead of Euler.
Giannos Stamoulis gave a talk on the model checking for first-order logic extended with disjoint paths predicates in H-minor-free graphs at the Discrete Math Seminar
On December 6, 2022, Giannos Stamoulis from Université de Montpellier gave at the Discrete Math Seminar on a fixed-parameter tractable algorithm for the model checking for the first-order logic extended with disjoint paths predicates in H-minor-free graphs. The title of his talk was “Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes“.