Seminars

Links' Seminars and Public Events Add to google calendar
2016
Thu 27th Oct
10:00 am
6:00 pm
Add event to google
Links day
Thu 27th Oct
 all day
Add event to google
links day
Thu 20th Oct
2:00 pm
4:00 pm
Add event to google
Seminar Links by Vincent Hugot: "Top-Down Transducers for Data Trees"
Abstract:
Tree transducers have a wide range of application domains ranging from compiler construction,
program analysis, and computational linguistics, to semi-structured databases and file system
transformations. A common application of these domains is to specify and verify transformations
of data trees, i.e., trees whose nodes are labeled by data values from an infinite domain. Most
existing classes of tree transducers and their formal studies, however, are restricted to trees over
finite signatures without data. In this paper, we lift the most prominent class of top-down tree
transducers to data trees, such that its good properties are preserved. In particular, we show that
top-down transducers for data trees have a decidable equivalence problem, without imposing any
linearity restriction as in previous approaches based on symbolic top-down tree transducers.
"Lille-Salle B21"
Thu 13th Oct
2:00 pm
3:00 pm
Add event to google
Seminar Christof Löding
"Lille-Salle B21"
Thu 13th Oct
2:00 pm
5:30 pm
Add event to google
comité de projet
Thu 13th Oct
to Fri 14th Oct
 all day
Add event to google
visit christof löding
Fri 30th Sep
 all day
Add event to google
arrivée de Jose Lozano

Thu 29th Sep
2:00 pm
4:00 pm
Add event to google
Seminar Links by Aurélien Lemay

"Lille-Salle B21"
Tue 27th Sep
 all day
Add event to google
Ircica fetes ces 10 ans
Show in Google map
Lille
Fri 9th Sep
2:00 pm
4:00 pm
Add event to google
Momar Sakho
"Lille-Salle B21"
Wed 7th Sep
11:00 am
12:00 pm
Add event to google
jason demagoj

Lien Permanent pour cet article : https://team.inria.fr/links/fr/seminars/