Email Record: LATIN 2012: Theoretical informatics