Latex file for workshop.pdf