[logic-ml] Talk by Prof. Jacques Sakarovitch (March 2, 2018)