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

Visit website for this news | Export event in iCalendar format

 Ingmar Meinecke
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.


About LSV

Agenda

Export agenda in iCalendar format | Past seminars

Tue, Jan 22
Tue, Jan 29
Tue, Feb 5
Tue, Feb 19

Past seminars