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
Winter Term 2013/2014
Winter Term 2012/2013
Winter Term 2011/2012
Winter Term 2010/2011
Winter Term 2008/2009
Category:
- MCL
