[Club2] Talk by Makarius Wenzel: Wed. Dec 19, 14:00, Church

[Andrei Popescu]

Dear All,  
Makarius is visiting and is giving a talk on the Isabelle/jEdit prover interface.  Details follow. 
Regards,    Andrei 
Makarius WenzelIsabelle/jEdit jam session====================================================Wed. Dec. 19, 14:00, Room 01.09.014 ("Alonzo Church") 
After almost 5 years of development, Isabelle/jEdit is moving towardsits 3rd official release early 2013.  Many things have been achieved,many things are still missing.  The whole complex of explaining theconcepts behind the Prover IDE is still underdeveloped, but see therecent paper
 http://www4.in.tum.de/~wenzelm/papers/async-repl.pdf andits references.
Instead of giving another scientific talk, the purpose of this relaxedsession just before Christmas is to see what works out in practice andwhat not -- to exchange ideas and techniques for using the systemeffectively in everyday life of theorem proving and librarymaintenance.  Users of Isabelle/jEdit are welcome to contribute
 theirown tips and tricks.  Non-users (or rather not-yet-users) may learnthat there is life beyond Emacs, and actually some conceptual progressin prover interaction after several decades.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20121129/ea977acb/attachment.html>