BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Discrete Mathematics Group - ECPv6.15.20//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://dimag.ibs.re.kr
X-WR-CALDESC:Events for Discrete Mathematics Group
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Asia/Seoul
BEGIN:STANDARD
TZOFFSETFROM:+0900
TZOFFSETTO:+0900
TZNAME:KST
DTSTART:20230101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20240729
DTEND;VALUE=DATE:20240803
DTSTAMP:20260415T184259
CREATED:20240126T071556Z
LAST-MODIFIED:20240705T154124Z
UID:8206-1722211200-1722643199@dimag.ibs.re.kr
SUMMARY:2024 Korean Student Combinatorics Workshop (KSCW2024\, 2024 조합론 학생 워크샵)
DESCRIPTION:Venue\nGongju Hanok Vilage (공주한옥마을) \nOrganizers\n\nDonggyu Kim (김동규)\, KAIST and IBS Discrete Mathematics Group\nSeokbeom Kim (김석범)\, KAIST and IBS Discrete Mathematics Group\nSeonghyuk Im (임성혁)\, KAIST and IBS Extremal Combinatorics and Probability Group\nHyunwoo Lee (이현우)\, KAIST and IBS Extremal Combinatorics and Probability Group\n\n 
URL:https://dimag.ibs.re.kr/event/kscw2024/
LOCATION:Gongju Hanok Village\, Gongju
CATEGORIES:Workshops and Conferences
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20240806T163000
DTEND;TZID=Asia/Seoul:20240806T173000
DTSTAMP:20260415T184259
CREATED:20240530T224927Z
LAST-MODIFIED:20240710T060308Z
UID:8733-1722961800-1722965400@dimag.ibs.re.kr
SUMMARY:Daniel Král'\, Matroid depth and width parameters
DESCRIPTION: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 of graph minors\, fixed parameter complexity and the theory of sparsity. \nIn this talk\, we will survey structural and algorithmic results that concern width and depth parameters of matroids. We will particularly focus on matroid depth parameters and discuss the relation of the presented concepts to discrete optimization. As an application\, we will present matroid based algorithms that uncover a hidden Dantzig-Wolfe-like structure of an input instance (if such structure is present) and transform instances of integer programming to equivalent ones\, which are amenable to the existing tools in integer programming. \nThe most recent results presented in the talk are based on joint work with Marcin Briański\, Jacob Cooper\, Timothy F. N. Chan\, Martin Koutecký\, Ander Lamaison\, Kristýna Pekárková and Felix Schröder.
URL:https://dimag.ibs.re.kr/event/2024-08-06/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20240813T163000
DTEND;TZID=Asia/Seoul:20240813T173000
DTSTAMP:20260415T184259
CREATED:20240621T071458Z
LAST-MODIFIED:20240726T000121Z
UID:8784-1723566600-1723570200@dimag.ibs.re.kr
SUMMARY:Peter Nelson\, Formalizing matroid theory in a proof assistant
DESCRIPTION: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 talk about what formalization looks like in practice from the perspective of a combinatorialist.
URL:https://dimag.ibs.re.kr/event/2024-08-13/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20240819
DTEND;VALUE=DATE:20240824
DTSTAMP:20260415T184259
CREATED:20240214T010957Z
LAST-MODIFIED:20240705T154107Z
UID:8250-1724025600-1724457599@dimag.ibs.re.kr
SUMMARY:2024 Workshop on (Mostly) Matroids
DESCRIPTION:The 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 that most people would arrive on Sunday\, August 18 and leave on Saturday\, August 24. \nOur hope is that this workshop will continue the tradition of previous workshops held in Sittard (2008)\, Maastricht (2010\,2012)\, Princeton (2014)\, Eindhoven(2016)\, Waterloo (2017)\, and Baton Rouge (2019). The focus will be on all aspects of matroid theory\, including its connection to graph theory\, algebraic geometry\, and other areas of mathematics. \n 
URL:https://dimag.ibs.re.kr/event/wmm2024/
LOCATION:IBS Science Culture Center
CATEGORIES:Workshops and Conferences
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20240827T163000
DTEND;TZID=Asia/Seoul:20240827T173000
DTSTAMP:20260415T184259
CREATED:20240530T224746Z
LAST-MODIFIED:20240729T124158Z
UID:8730-1724776200-1724779800@dimag.ibs.re.kr
SUMMARY:Dillon Mayhew\, Monadic second-order definability for gain-graphic matroids
DESCRIPTION: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 is a finite set of vectors from a vector space\, and the independent subsets are exactly the subsets that are linearly independent. Any such matroid is said to be representable. We can think of a representable matroid as being a geometrical configuration where the points have been given coordinates from a field. Another important class arises when the points are given coordinates from a group. Such a class is said to be gain-graphic.  \nMonadic second-order logic is a natural language for matroid applications. In this language we are able to quantify only over subsets of the ground set. The importance of monadic second-order logic comes from its connections to the theory of computation\, as exemplified by Courcelle’s Theorem. This theorem provides polynomial-time algorithms for recognising properties defined in monadic second-order logic (as long as we impose a bound on the structural complexity of the input objects). It is natural to ask which classes of matroids can be defined by sentences in monadic second-order logic. When the class consists of the matroids that are coordinatized by a field we have a complete answer to this question. When the class is coordinatized by a group the problem becomes much harder. \nThis talk will contain a brief introduction to matroids. Based on work with Sapir Ben-Shahar\, Matt Conder\, Daryl Funk\, Angus Matthews\, Mike Newman\, and Gabriel Verret.
URL:https://dimag.ibs.re.kr/event/2024-08-27/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20240828
DTEND;VALUE=DATE:20240831
DTSTAMP:20260415T184259
CREATED:20240117T144439Z
LAST-MODIFIED:20240705T154134Z
UID:8135-1724803200-1725062399@dimag.ibs.re.kr
SUMMARY:2024 Combinatorics Workshop (2024 조합론 학술대회)
DESCRIPTION:Website: https://cw2024.combinatorics.kr/ \nLocation\nChungbuk National University\, Cheongju\, Korea. \nAdvisory Committee\n\nCommittee of Discrete Mathematics\, The Korean Mathematical Society (Chair: Sang-il Oum\, IBS Discrete Mathematics Group / KAIST)\n\nSponsors\n\nIBS Discrete Mathematics Group.\nKorean Mathematical Society
URL:https://dimag.ibs.re.kr/event/2024-08-28/
LOCATION:Chungbuk National University
CATEGORIES:Workshops and Conferences
END:VEVENT
END:VCALENDAR