17th january 2018
jberger[at]math[dot]lmu[dot]de

- events:
- third CORE meeting (LMU Munich)
- second workshop on mathematical logic and its applications (Kanazawa, Japan)
- Hausdorff trimester program: types, sets and constructions (Hausdorff Research Institute for Mathematics, Bonn)

- list of publications
- survey article: constructive convex programming
- preprint: convexity and unique minimum points
- research project: constructive operations research (CORE)
- lecture: the fan theorem (winter 2017)
- lecture: mathematical and statistical methods for pharmacists (winter 2017)
- lecture: logic (winter 2016)
- seminar of the logic group
- game: find the cat