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:
On the Reachability Analysis of Acyclic Networks of Pushdown
Systems
STATUS:CONFIRMED
ATTENDEE;CN="Tayssir Touili
":
MAILTO:no@spam.com
DESCRIPTION:
We address the reachability problem in acyclic networks of p
ushdown systems. We consider communication based either on s
hared memory or on message passing through unbounded lossy c
hannels. We prove mainly that the reachability problem betwe
en recognizable sets of configurations (i.e.\, definable by
a finite union of products of finite-state automata) is deci
dable for such networks\, and that for lossy channel pushdow
n networks\, the channel language is effectively recognizabl
e. This fact holds although the set of reachable configurati
ons (including stack contents) for a network of depth (at le
ast) 2 is not rational in general (i.e.\, not definable by a
multi-tape finite automaton). Moreover\, we prove that for
a network of depth 1\, the reachability set is rational and
effectively constructible (under an additional condition on
the topology for lossy channel networks). This is a joint wo
rk with Mohamed Faouzi Atig and Ahmed Bouajjani.
DTSTART;TZID=Europe/Paris:20090310T110000
DURATION:PT1H
URL;VALUE=URI:http://www.lsv.ens-cachan.fr/Seminaires/?sem=200903101
100
UID:LSVsemLSV.200903101100@lsv.ens-cachan.fr
LOCATION:Salle de ConfĂ©rence (Pavillon des Jardins)
END:VEVENT
END:VCALENDAR