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