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:20210101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20220404
DTEND;VALUE=DATE:20220407
DTSTAMP:20260420T102124
CREATED:20220311T230000Z
LAST-MODIFIED:20240707T080124Z
UID:5370-1649030400-1649289599@dimag.ibs.re.kr
SUMMARY:IBS ECOPRO Opening conference
DESCRIPTION:To celebrate the opening of the IBS ECOPRO (Extremal Combinatorics and Probability) Group\, we will organize a 3-day online conference from April 4 to April 6. \nOfficial Website: https://www.ibs.re.kr/ecopro/event/opening/ \nInvited Speakers\n\n\n\n\n\nNoga Alon\nPrinceton University \n\n\n\n\n\nJózsef Balogh\nUniversity of Illinois at Urbana-Champaign \n\n\n\n\n\nJeff Kahn\nRutgers University \n\n\n\n\n\n\n\nMihyun Kang\nGraz University of Technology \n\n\n\n\n\nJeong Han Kim\nKIAS \n\n\n\n\n\nNati Linial\nHebrew University of Jerusalem \n\n\n\n\n\n\n\nOleg Pikhurko\nUniversity of Warwick \n\n\n\n\n\nBenny Sudakov\nETH Zürich \n\n\n\n\n\nTibor Szabó\nFreie Universität Berlin \n\n\n\n\n\n\n\nVan Vu\nYale \n\n\n\n\n\n\n\n\nProgram\n\n\n\n\nTime in Korea\nMonday\nTuesday\nWednesday\n\n\n\n\n7:15 PM\nKim\n\n\n\n\n8:00 PM\nPikhurko\nKang\nVu\n\n\n8:45 PM\nKahn\nBalogh\nSzabó\n\n\n9:30 PM\nAlon\nSudakov\nLinial\n\n\n\n\n\nOrganizers\n\nJaehoon Kim\, KAIST\nHong Liu\, IBS Extremal Combinatorics and Probability Group\nSang-il Oum\, IBS Discrete Mathematics Group / KAIST\nTuan Tran\, IBS Discrete Mathematics Group
URL:https://dimag.ibs.re.kr/event/ibs-ecopro-opening-conference/
LOCATION:Zoom ID: 878 0445 3986 (ibsecopro) [CLOSED]
CATEGORIES:Workshops and Conferences
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20220411T163000
DTEND;TZID=Asia/Seoul:20220411T173000
DTSTAMP:20260420T102124
CREATED:20220401T073000Z
LAST-MODIFIED:20240707T080114Z
UID:5326-1649694600-1649698200@dimag.ibs.re.kr
SUMMARY:Younjin Kim (김연진)\, On the extremal problems related to Szemerédi's theorem
DESCRIPTION:In 1975\, Szemerédi proved that for every real number $\delta > 0 $ and every positive integer $k$\, there exists a positive integer $N$ such that every subset $A$ of the set $\{1\, 2\, \cdots\, N \}$ with $|A| \geq \delta N$ contains an arithmetic progression of length $k$. There has been a plethora of research related to Szemerédi’s theorem in many areas of mathematics. In 1990\, Cameron and Erdős proposed a conjecture about counting the number of subsets of the set $\{1\,2\, \dots\, N\}$ which do not contain an arithmetic progression of length $k$. In the talk\, we study a natural higher dimensional version of this conjecture\, and also introduce recent extremal problems related to Szemerédi’s theorem.
URL:https://dimag.ibs.re.kr/event/2022-04-11/
LOCATION:Room B232\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20220413T163000
DTEND;TZID=Asia/Seoul:20220413T173000
DTSTAMP:20260420T102124
CREATED:20220413T073000Z
LAST-MODIFIED:20240707T080102Z
UID:5378-1649867400-1649871000@dimag.ibs.re.kr
SUMMARY:Jakub Gajarský\, Model Checking on Interpretations of Classes of Bounded Local Clique-Width
DESCRIPTION:The first-order model checking problem for finite graphs asks\, given a graph G and a first-order sentence $\phi$ as input\, to decide whether $\phi$ holds on G. Showing the existence of an efficient algorithm for this problem implies the existence of efficient parameterized algorithms for various commonly studied problems\, such as independent set\, distance-r dominating set\, and many others. \nWhile the first-order model-checking problem is likely not efficiently solvable in general\, efficient algorithms exist for various restricted graph classes\, such as graphs of bounded degree\, planar graphs etc. After the existence of an efficient model checking algorithm was shown for nowhere dense classes of graphs (which include most of commonly studied classes of sparse graphs)\, the attention turned to the more general setting of graph classes which can be obtained from sparse graphs using graph transformations called interpretations/transductions. However\, despite efforts of several groups of researchers\, no positive algorithmic result has been achieved since 2016\, when the existence of an efficient algorithm was shown for graph classes interpretable in graphs of bounded degree. \nWe present a fixed-parameter tractable algorithm for first-order model checking on interpretations of graph classes with bounded local clique-width. Notably\, this includes interpretations of planar graphs (and more generally\, of locally bounded treewidth) and vastly generalizes the result for interpretations of graphs of bounded degree. To obtain this result we developed a new tool which works in a very general setting of dependent classes and which we believe can be an important ingredient in achieving similar results in the future. \nThis is joint work with Édouard Bonnet\, Jan Dreier\, Stephan Kreutzer\, Nikolas Mählmann\, Pierre Simon\, Szymon Toruńczyk.
URL:https://dimag.ibs.re.kr/event/2022-04-13/
LOCATION:Zoom ID: 869 4632 6610 (ibsdimag)
CATEGORIES:Virtual Discrete Math Colloquium
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20220425T163000
DTEND;TZID=Asia/Seoul:20220425T173000
DTSTAMP:20260420T102124
CREATED:20220425T073000Z
LAST-MODIFIED:20240707T080049Z
UID:5322-1650904200-1650907800@dimag.ibs.re.kr
SUMMARY:Boram Park (박보람)\, Odd coloring of sparse graphs
DESCRIPTION:We introduce an odd coloring of a graph\, which was introduced very recently\, motivated by parity type colorings of graphs. A proper vertex coloring of graph $G$ is said to be odd if for each non-isolated vertex $x \in V (G)$ there exists a color $c$ such that $c$ is used an odd number of times in the neighborhood of $x$. The recent work on this topic will be presented\, and the work is based on Eun-Kyung Cho\, Ilkyoo Choi\, and Hyemin Kown.
URL:https://dimag.ibs.re.kr/event/2022-04-25/
LOCATION:Room B232\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20220427T163000
DTEND;TZID=Asia/Seoul:20220427T173000
DTSTAMP:20260420T102124
CREATED:20220427T073000Z
LAST-MODIFIED:20240705T173041Z
UID:5399-1651077000-1651080600@dimag.ibs.re.kr
SUMMARY:Michael Savery\, Induced subgraphs of induced subgraphs of large chromatic number
DESCRIPTION:We prove that for every graph F with at least one edge there are graphs H of arbitrarily large chromatic number and the same clique number as F such that every F-free induced subgraph of H has chromatic number at most c=c(F). (Here a graph is F-free if it does not contain an induced copy of F.) This generalises recent theorems of Briański\, Davies and Walczak\, and of Carbonero\, Hompe\, Moore and Spirkl. We further show an analogous statement where clique number is replaced by odd girth. This is joint work with Antonio Girão\, Freddie Illingworth\, Emil Powierski\, Alex Scott\, Youri Tamitegama and Jane Tan.
URL:https://dimag.ibs.re.kr/event/2022-04-27/
LOCATION:Zoom ID: 869 4632 6610 (ibsdimag)
CATEGORIES:Virtual Discrete Math Colloquium
END:VEVENT
END:VCALENDAR