LSV Seminar

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.

Past Seminars

A weighted mu-calculus on words

 Ingmar Meinecke
Tuesday, March 03 2009 at 11:00AM
Salle de Conférence (Pavillon des Jardins)
Ingmar Meinecke (Universität Leipzig, Allemagne)

We define a weighted mu-calculus on finite and infinite words. Hereby, the mu-calculus does not use conjunction and the weights are taken from semirings satisfying certain completeness and continuity properties. For important semirings like distributive complete lattices, the tropical and the probabilistic semiring, we show that the formulas of the conjunction-free weighted mu-calculus define exactly the class of omega-rational formal power series.

About LSV