Soft Skills Lectures
Aus International Center for Computational Logic
Slides
- How to give a research talk – Emmanuelle Dietz part I part II
- How to write a research paper – Christoph Wernhard
- Introduction to LaTeX – Peter Steinke
- [File:beamer-intro.pdf Introduction to Beamer] – Tobias Philipp
- Introduction to TikZ and GIT – Norbert Manthey
