# 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

- Date
- Tuesday, March 03 2009 at 11:00AM
- Place
- Salle de Conférence (Pavillon des Jardins)
- Speaker
- 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.