Noleen Köhler gave a talk on classes of graphs on which the parameterized complexity of the FO model checking on their subclasses can be explained by the twin-width at the Discrete Math Seminar

On January 17, 2023, Noleen Köhler from the LAMSADE, CNRS gave a talk at the Discrete Math Seminar on classes of graphs on which the first order model checking is FPT on its subclass if and only if the twin-width is bounded. The title of her talk was “Twin-Width VIII: Delineation and Win-Wins“.

Mamadou Moustapha Kanté gave a talk on the recognizability and the MSO definability of a class of matroids having the strongly pigeonhole property at the Discrete Math Seminar

On January 10, 2023, Mamadou Moustapha Kanté from the Université Clermont Auvergne gave a talk at the Discrete Math Seminar on the recognizability and the MSO definability for classes of matroids of bounded path-width having the strongly pigeonhole property. The title of his talk was “MSOL-Definable decompositions“.

Youngho Yoo gave a talk on the approximation algorithm for the traveling salesman problem on cubic graphs at the Discrete Math Seminar

On January 3, 2023, Youngho Yoo from Texas A&M University gave a talk at the Discrete Math Seminar on the approximation algorithm for the traveling salesman problem on cubic graphs by showing an upper bound on the length of a shortest closed spanning walk in a simple 2-connected subcubic graph. The title of his talk was “Approximating TSP walks in subcubic graphs“.

Stijn Cambie gave a talk on the number of maximal independent sets at the Discrete Math Seminar

On December 28, 2022, Stijn Cambie from the IBS Extremal Combinatorics and Probability Group gave a talk at the Discrete Math Seminar on various problems on the number of independent sets, including the problem of finding a graph with a given number of independent sets of fixed size. The title of his talk was “The 69-conjecture and more surprises on the number of independent sets“.

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

Seonghyuk Im (임성혁) gave a talk on the resolution of the Elliott-Rödl conjecture on embedding hypertrees in a Steiner triple system at the Discrete Math Seminar

On November 22, 2022, Seonghyuk Im (임성혁) from KAIST and the IBS Extremal Combinatorics and Probability Group gave a talk at the Discrete Math Seminar on the resolution of the Elliott-Rödl conjecture on embedding hypertrees in a Steiner triple system . The title of his talk was “A proof of the Elliott-Rödl conjecture on hypertrees in Steiner triple systems.”

Sebastian Wiederrecht gave a talk on the structure of graphs without certain matching minors and its applications in counting perfect matchings and computing permanents at the Discrete Math Seminar

On November 15, 2022, Sebastian Wiederrecht from the IBS Discrete Mathematics Group gave a talk at the Discrete Math Seminar on the structure of graphs without certain matching minors and its applications in counting perfect matchings and computing permanent. The title of his talk was “Excluding single-crossing matching minors in bipartite graphs“.

Hugo Jacob gave an online talk on the parameterized algorithm to approximate the tree-partition-width of graphs at the Virtual Discrete Math Colloquium

On November 9, 2022, Hugo Jacob from the ENS Paris-Saclay gave an online talk at the Virtual Discrete Math Colloquium on the parameterized algorithm to approximate the tree-partition-width of graphs at the Virtual Discrete Math Colloquium. The title of his talk was “On the parameterized complexity of computing tree-partitions“.

IBS 이산수학그룹 Discrete Mathematics Group
기초과학연구원 수리및계산과학연구단 이산수학그룹
대전 유성구 엑스포로 55 (우) 34126
IBS Discrete Mathematics Group (DIMAG)
Institute for Basic Science (IBS)
55 Expo-ro Yuseong-gu Daejeon 34126 South Korea
E-mail: dimag@ibs.re.kr, Fax: +82-42-878-9209
Copyright © IBS 2018. All rights reserved.