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