[Lisa_seminaires] Fwd: Visitor and Talk (Monday 2:30) about learning finite automata