Update informatics2013.tex