BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.iacapconf.org//iacap-2026//speaker//9BYH3X
BEGIN:VTIMEZONE
TZID:US/Central
BEGIN:DAYLIGHT
DTSTART:20250717T000000
TZNAME:CDT
TZOFFSETFROM:-0500
TZOFFSETTO:-0500
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:20251102T020000
RDATE:20261101T020000
TZNAME:CST
TZOFFSETFROM:-0500
TZOFFSETTO:-0600
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20260308T030000
RDATE:20270314T030000
TZNAME:CDT
TZOFFSETFROM:-0600
TZOFFSETTO:-0500
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Locality and Analog Computing - Chirine Laghjichi
DTSTART;TZID=US/Central:20260717T174000
DTEND;TZID=US/Central:20260717T181000
DTSTAMP:20260726T091013Z
UID:pretalx-iacap-2026-9GZYBV@pretalx.iacapconf.org
DESCRIPTION:This talk aims at comparing two different approaches to analog
  computation\, the BSS approach and computable analysis\, with respect to 
 the condition of locality that expresses the effectiveness of computation.
  It can be defined for machine-based digital models of computation\, such 
 as the Turing machine\, by a restriction on the transition function statin
 g that the number of cells the head can move to compute the next state is 
 finite. A refinement of the definition of locality emerges when we compare
  its formulation in the two accounts of analog models of computation compu
 ting in continuous time. The limitation of the former definition comes fro
 m the presupposition of the discreteness of symbolic computation. This how
 ever isn’t a presupposed property for physical models of computation com
 puting over the reals. Our claim is that locality relies on the finiteness
  of the representation of the information\, relative to the specific manip
 ulation of the reals\, referring to exact values or by approximation. Thus
  if locality participates in the understanding of computation as executed 
 in a step-wise fashion\, can it play a similar role for analog models of c
 omputation computing in continuous time where information is continuously 
 variable and the finiteness of information not presupposed ?
LOCATION:Executive Conference Room
URL:https://pretalx.iacapconf.org/iacap-2026/talk/9GZYBV/
END:VEVENT
END:VCALENDAR