Introductory Weeks of Previous Terms
From International Center for Computational Logic
Introductory Weeks of Previous Terms
Winter Term 2016/2017
- How to give a research talk: part I, part II – 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 – Sibylle Möhle
Winter Term 2014/2015
- How to give a research talk: part I, part II – 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
