BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Rodrigo Torres-Avilés (U Bio Bio)
DTSTART:20200625T180000Z
DTEND:20200625T190000Z
DTSTAMP:20260423T035634Z
UID:OLS/9
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/OLS/9/">Topo
 logical Mixing and Linear Recurrence on SMART</a>\nby Rodrigo Torres-Avil
 és (U Bio Bio) as part of Online logic seminar\n\n\nAbstract\nThe goal of
  this talk is to analize recent work on properties of the subshift derivat
 ed of a particular Turing machine\, nicknamed SMART\, which has a lot of i
 nteresting properties (as topological minimality and aperiodicity). First\
 , we review a combinatorial proof of the Topological Mixing property of th
 e subshift derivated from SMART\, and later\, we deepen to tie general sub
 shift of Turing Machines with more general properties\, as linear recurren
 ce.\n
LOCATION:https://researchseminars.org/talk/OLS/9/
END:VEVENT
END:VCALENDAR