The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.
The seminar is open to public and does not require any form of registration.
In the research for XML static type systems, one challenge is to deal with XPath powerful navigational features. I will present a fixpoint modal logic designed for reasoning on finite trees, along with a satisfiability-testing algorithm that performs well in practice. The fully implemented system allows to effectively solve a whole class of problems involving XPath queries, regular tree types and any boolean combination of them (like query containment, and query satisfiability in the presence of schemas).