Links' Seminars and Public Events |
2016 | |
---|---|
Thu 27th Oct 10:00 am 6:00 pm | Links day |
Thu 27th Oct all day | links day |
Thu 20th Oct 2:00 pm 4:00 pm | 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 | Seminar Christof Löding "Lille-Salle B21" |
Thu 13th Oct 2:00 pm 5:30 pm | comité de projet |
Thu 13th Oct to Fri 14th Oct all day | visit christof löding |
Fri 30th Sep all day | arrivée de Jose Lozano |
Thu 29th Sep 2:00 pm 4:00 pm | Seminar Links by Aurélien Lemay "Lille-Salle B21" |
Tue 27th Sep all day | Ircica fetes ces 10 ans Lille |
Fri 9th Sep 2:00 pm 4:00 pm | Momar Sakho "Lille-Salle B21" |
Wed 7th Sep 11:00 am 12:00 pm | jason demagoj |