[Termtools] live session at WST06?

[Johannes Waldmann]

Are we going to have a "live session" during WST06?

Something like: audience suggests a problem,
prover(s) are run on it, author explains proof (if requested).

Would need some preparation (video projector, one machine with all
provers installed, and ideally a unified input GUI,
available over HTTP, in case we have WLAN)

I'd be willing to help with this, using Andreas Gebhardt's program
http://autotool.imn.htwk-leipzig.de:8080/websrs/

Best regards,
-- 
-- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
---- http://www.imn.htwk-leipzig.de/~waldmann/ -------

_______________________________________________
Termtools mailing list
Termtools at lists.lri.fr
http://lists.lri.fr/mailman/listinfo/termtools