From Traces To (Formal) Models Slides of the talk I gave at LIMOS, Clermont-Fd, France on February 13, 2014. $ git clone git://github.com/willdurand/fttfm-slides.git --recursive $ open index.html