BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/265
DTSTAMP:20230914T125917Z
SUMMARY:Logics and Automata for Classical and Real Time Unambiguous Languag
 es
DESCRIPTION:Speaker: Simoni S. Shah\n\nAbstract: \nRegular languages exhibi
 t considerable structure. The characterization of various classes of regul
 ar languages using classical and temporal logics\, automata and varieties 
 of monoids\, as an attempt towards unification of diverse frameworks\, has
  been an important theme and area of research for many decades. In this th
 esis\, we investigate logic-automata connections for unambiguous languages
  over finite words and also timed words.\n\nUnambiguous star-free regular 
 languages (UL) originally introduced by Schutzenberger\, have various char
 acterizations within classical logics (FO2[\n
URL:https://www.tcs.tifr.res.in/web/events/265
DTSTART;TZID=Asia/Kolkata:20120417T160000
DTEND;TZID=Asia/Kolkata:20120417T173000
LOCATION:A-414 (A-Block Conference Room)
END:VEVENT
END:VCALENDAR