Curry Club Augsburg: inaugural meeting

The inaugural meeting of the newly formed Curry Club Augsburg will happen on Thu 23-Apr-2015 19:00 at OpenLab.

The club was initiated by a group of Haskell enthusiasts, and has the potential to cover a wide perspective of Higher-order Functional Programming, Category Theory, Type Theory, Theorem Proving, and more.

After the first meeting, there will be an opportunity to consume actual Curry at an Indian restaurant in medieval downtown of Augsburg.

Very hot indeed!

Release candidates for Isabelle2015

The release of Isabelle2015 is scheduled for this spring, presumably the end of May, or the start of June. As usual, there are several weeks for thorough testing of release candidates that are available here:

With ever increasing size and complexity of the system and its many add-on tools, it is important to take testing of release candidates seriously. Problems can be solved before the release, not after it!

The main forum for discussion is on isabelle-users mailing list.

The convergence towards the final release happens on the following repository.

Update: The final release of Isabelle2015 (May 2015) is now available from the Isabelle website. The above release candidates will disappear eventually.