Openproof day will be a day of events discussing a variety of topics related to the work of the project, including:
* Presentation of existing courseware packages including plans for future improvements,
* Discussion with instructors on the use of existing courseware packages,
* Presentation of courseware packages for future release,
* Presentation of recent research in data mining student work in logic.
Wish I could go, but we’ll have a logic event at Calgary with Aldo Antonelli, Nuel Belnap, and Krister Segerberg that weekend. If anyone wants to report on Openproof Day here, you’re welcome to guest-blog.