Departmental Seminar, CIS, University of Strathclyde
Wollic 2012 in Buenos Aires, Argentina, September 2012.
Dagstuhl Seminar on Coalgebraic Logics, October 2012.
Representing Streams at the Lorentz Center, Leiden, December 2012.
The Imperial College Logic seminar
The DL Complexity Navigator.
The On-Line Encyclopedia of Integer Sequences.