[isabelle] Isabelle Workshop Program



The (impressive!) program for the Isabelle workshop at Nancy is online now:
http://www.in.tum.de/~nipkow/Isabelle2016/

Please consider attending ITP and the workshop even if you do not present a paper!

See you there

Tobias Nipkow
Larry Paulson
Makarius Wenzel

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.