[isabelle] Don’t Make Your Readers Scream



We are starting to see calls for papers, so I’ve decided to circulate a brief note offering advice on how to get your paper accepted:

http://www.cl.cam.ac.uk/~lp15/Pages/Scream.html

Comments are also welcome.

Larry Paulson






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