Dr. Markus (Makarius) Wenzel

• Official web page at LRI
• Historical web page at TUM
• Papers via DBLP

Notable events

• Isabelle Users Workshop 2012 (at ITP 2012) — Not physically present at this event!
• Conferences on Intelligent Computer Mathematics (CICM 2012)
• UITP 2012 (at CICM 2012)
• THEDU 2012 (at CICM 2012)

Isabelle tutorials

• Isabelle/HOL tutorial at LRI/Orsay (14/15-May-2012)
• Isabelle 2011 (Paris)
• Isar 2010 (Orsay)

Some Projects

• PIDE (Prover IDE)
• Paral ITP (Pervasive Parallelism in Interactive Theorem Proving Systems)
  with LRI / ForTesSE, INRIA Rocquencourt / pi.r2, INRIA Saclay / Typical