Hyunwoo Lee (이현우), Random matchings in linear hypergraphs
Room B332 IBS (기초과학연구원)For a given hypergraph
10 events found.
IBS-DIMAG workshop on combinatorics and geometric measure theory
Room B109 IBS (기초과학연구원)Website: https://cgmt.dimag.kr/ Arrival Date: July 14, 2024 Sunday. Departure Date: July 20, 2024 Saturday. Organizers Ben Lund (IBS Discrete Mathematics Group) Doowon Koh (Chungbuk National University) Sang-il Oum (IBS Discrete …
2024 Summer School on Combinatorics and Algorithms (2024 조합론 및 알고리즘 여름학교)
Bldg. N1, KAISTThe 2024 Summer School on Combinatorics and Algorithms is a venue for students and early-career researchers to learn selected topics in theoretical computer science and discrete mathematics. It will be …
2024 Korean Student Combinatorics Workshop (KSCW2024, 2024 조합론 학생 워크샵)
Gongju Hanok Village, GongjuVenue Gongju Hanok Vilage (공주한옥마을) Organizers Donggyu Kim (김동규), KAIST and IBS Discrete Mathematics Group Seokbeom Kim (김석범), KAIST and IBS Discrete Mathematics Group Seonghyuk Im (임성혁), KAIST and IBS …
Euiwoong Lee (이의웅), Parameterized Approximability of F-Deletion Problems
Room B332 IBS (기초과학연구원)For a family F of graphs, the F-Deletion Problem asks to remove the minimum number of vertices from a given graph G to ensure that G belongs to F. One …
Daniel Král’, Matroid depth and width parameters
Room B332 IBS (기초과학연구원)Depth and width parameters of graphs, e.g., tree-width, path-width and tree-depth, play a crucial role in algorithmic and structural graph theory. These notions are of fundamental importance in the theory …
Peter Nelson, Formalizing matroid theory in a proof assistant
Room B332 IBS (기초과학연구원)For the past few years, I've been working on formalizing proofs in matroid theory using the Lean proof assistant. This has led me to many interesting and unexpected places. I'll …
2024 Workshop on (Mostly) Matroids
IBS Science Culture CenterThe 2024 Workshop on (Mostly) Matroids will be held in-person at the Institute for Basic Science (IBS), Daejeon, South Korea, from August 19, 2024 to August 23, 2024. We expect …
Dillon Mayhew, Monadic second-order definability for gain-graphic matroids
Room B332 IBS (기초과학연구원)Every (finite) matroid consists of a (finite) set called the ground set, and a collection of distinguished subsets called the independent sets. A classic example arises when the ground set …
2024 Combinatorics Workshop (2024 조합론 학술대회)
Chungbuk National UniversityWebsite: https://cw2024.combinatorics.kr/ Location Chungbuk National University, Cheongju, Korea. Advisory Committee Committee of Discrete Mathematics, The Korean Mathematical Society (Chair: Sang-il Oum, IBS Discrete Mathematics Group / KAIST) Sponsors IBS Discrete …