December 2022 - Discrete Mathematics Group

December 14, 2022July 6, 2024

Sang-il Oum received the Choi Seok-Jeong Award of the year

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.

December 11, 2022July 6, 2024

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“.

Month: December 2022

Sang-il Oum received the Choi Seok-Jeong Award of the year

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

Niloufar Fuladi

Noleen Köhler

Joonkyung Lee (이준경)