BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//labri.fr//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:c7b39b93-8c27-4fb6-bb6d-6e1466c04a48
X-WR-CALNAME:[LX] Isa Vialard
X-WR-TIMEZONE:Europe/Paris
BEGIN:VTIMEZONE
TZID:Europe/Paris
TZUNTIL:20261025T010000Z
BEGIN:STANDARD
TZNAME:CET
DTSTART:20241027T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RDATE:20251026T030000
END:STANDARD
BEGIN:DAYLIGHT
TZNAME:CEST
DTSTART:20240331T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RDATE:20250330T020000
RDATE:20260329T020000
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:c7b39b93-8c27-4fb6-bb6d-6e1466c04a48
DTSTAMP:20260915T112519Z
CLASS:PUBLIC
DESCRIPTION:Well quasi orderings (WQOs) are at the heart of the theory of W
 ell-Structured Systems (WSTS)\, a class of computational models that broug
 ht numerous important advances for the automatic verification of infinite-
 state systems. Recent developments in this field links the complexity of W
 QO-based algorithms to ordinal measures of WQOs : the maximal order type\,
  ordinal height and ordinal width.\n\nOne main challenge is to compute the
  ordinal invariants of complex well quasi-orders built from simpler well q
 uasi-orders through classical operation\, such as the Cartesian product\, 
 and high-order constructions\, like the finite words embedding. In my thes
 is\, I computed compositionally the maximal order type of the direct produ
 ct\, the width of the multiset embedding\, and the height and width of the
  multiset ordering. Furthermore\, I compute the width of the Cartesian pro
 duct in restricted cases and studied the ordinal measures of the finite po
 werset.In the process\, I developed several tools and techniques\, notably
  a game-theoretical approach to computing width using the notion of quasi-
 incomparable families of subsets. To tackle the width of the multiset orde
 ring\, I introduced and studied a fourth ordinal invariant\, the friendly 
 order type. \n\n\nImport automatique depuis https://framagenda.org/remote.
 php/dav/public-calendars/D3yqF7nwys9amfyY?export par sync_icals_to_drupal.
 py pour M2F
DTSTART;TZID=Europe/Paris:20241107T130000
DTEND;TZID=Europe/Paris:20241107T140000
LOCATION:LaBRI
SEQUENCE:0
SUMMARY:[LX] Isa Vialard
TRANSP:OPAQUE
END:VEVENT
END:VCALENDAR