BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//labri.fr//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:894f9bf6-52e8-444e-baf7-57618171e3ca
X-WR-CALNAME:[M2F] Michaël Thomazo (Inria\, ENS Paris)
X-WR-TIMEZONE:Europe/Paris
BEGIN:VTIMEZONE
TZID:Europe/Paris
TZUNTIL:20280326T010000Z
BEGIN:STANDARD
TZNAME:CET
DTSTART:20251026T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RDATE:20261025T030000
RDATE:20271031T030000
END:STANDARD
BEGIN:DAYLIGHT
TZNAME:CEST
DTSTART:20260329T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RDATE:20270328T020000
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:894f9bf6-52e8-444e-baf7-57618171e3ca
DTSTAMP:20260610T120112Z
CLASS:PUBLIC
DESCRIPTION:Analysing Temporal Reasoning in Description Logics Using Formal
  Grammars\n\nIn this joint work with Anton Gnatenko and Camille Bourgaux\,
  we establish a connection between reasoning in fragments of the temporal 
 description logic TEL  (an extension of TEL with operators from LTL) and t
 he so-called conjunctive grammars. This allows us to close some open probl
 em regarding the ultimate periodicity of TEL models\, and the undecidabili
 ty of query answering. It also provides decidability results for new inter
 esting fragements of TEL\, and paves the way towards practical reasoners. 
 \n\n\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:20260616T140000
DTEND;TZID=Europe/Paris:20260616T150000
LOCATION:LaBRI
SEQUENCE:0
SUMMARY:[M2F] Michaël Thomazo (Inria\, ENS Paris)
TRANSP:OPAQUE
END:VEVENT
END:VCALENDAR
