1/12 Sebastian Uchitel is invited to be on the ICSE 2013 Program Committee, San Francisco, USA
1/12 TOSEM paper accepted: Nicolas D'Ippolito, Victor Braberman, Nir Piterman, and Sebastian Uchitel. Synthesising non- anomalous event-based controllers for liveness goals.
12/12 Philippe Clauss from INRIA-CAMUS visits us for the week.