BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Discrete Mathematics Group - ECPv6.15.20//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Discrete Mathematics Group
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:20240101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20250729T163000
DTEND;TZID=Asia/Seoul:20250729T173000
DTSTAMP:20260416T162154
CREATED:20250706T060914Z
LAST-MODIFIED:20250707T012610Z
UID:11110-1753806600-1753810200@dimag.ibs.re.kr
SUMMARY:Colin Geniet\, Merge-width
DESCRIPTION:This talk is an introduction to the recent notion of merge-width\, proposed by Jan Dreier and Szymon Torúnczyk. I will give an overview of the context and motivations for merge-width\, namely the first-order model checking problem\, and present the definition\, some examples\, and some basic proof techniques with the example of χ-boundedness.\nThis is based on joint work with Marthe Bonamy.
URL:https://dimag.ibs.re.kr/event/2025-07-29/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
END:VCALENDAR