BEGIN:VCALENDAR
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:
X-WR-TIMEZONE:Europe/Paris
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:
Reachability problems for classical mathematical objects
STATUS:CONFIRMED
ATTENDEE;CN="Igor Potapov
":
MAILTO:no@spam.com
DESCRIPTION:
Reachability is a fundamental problem in the context of many
finite and infinite state systems\, computational models\,
hybrid and dynamical systems\, rewriting systems\, probabili
stic and parametric systems\, and open systems modelled as g
ames. In general terms\, it can be formalized as follows: fo
r a computation model specified via a set of allowed rules o
r transformations\, decide whether a certain state is reacha
ble from a given initial state. The proposed talk will be fo
cused on reachability problems for classical mathematical ob
jects\, which naturally appear in many computational process
es and abstractions. I will mainly focus on such objects as
words\, matrices\, iterative maps\, knots\, braids and will
aim to highlight most recent developments on decidability an
d complexity results in the area and will illustrate connect
ions of reachability questions with fundamental long standin
g open problems in mathematics and computer science.
DTSTART;TZID=Europe/Paris:20160517T110000
DURATION:PT1H
URL;VALUE=URI:http://www.lsv.ens-cachan.fr/Seminaires/?sem=201605171
100
UID:LSVsemLSV.201605171100@lsv.ens-cachan.fr
LOCATION:Auditorium Daniel Chemla (Bât. Institut D'Alembert)
END:VEVENT
END:VCALENDAR