Dr. Markus (Makarius) Wenzel
Official web page
at LRI
Historical web page
at TUM
Papers
via
DBLP
Notable links:
Conferences on Intelligent Computer Mathematics (CICM 2012)
THEDU 2011
(associated with
CADE23
)
Isabelle 2011 (Paris)
Isar 2010 (Orsay)
UITP 2010
PLMMS 2010
Calculemus