Soft Skills Lectures
Aus International Center for Computational Logic
Slides
How to give a research talk – Emmanuelle Dietz How to write a research paper – Christoph Wernhard Introduction to LaTeX – Peter Steinke Introduction to Beamer – Tobias Philipp Introduction to TikZ and GIT – Norbert Manthey