Ann: the year ahead - 2023

[Mark Tarver]

I'm beginning the road map for 2023 rather late due to the hangover from 2022.
Normally I would sketching the road map in January, but 2022, as they say in
America, was a doozy.

I think, along with many, I will not look back on 2022 with much nostalgia.
The main achievement, sandwiched between pneumonia in early 2022 and
Covid in late 2022, was the creation of an Education Channel for Shen and
that is something that is the foundation for future development.  The
previous year saw the creation of a new look website backed by Shen technology,
a new TBoS and an entirely new kernel beginning the S series.

The keynote of 2023 is publication.  And that means that we will see a series
of books backed by videos on the Education channel and the release of open
source to accompany the books.  

First amongst these releases will be a book on the Logic Lab scheduled for
late spring or early summer.  The 3 part video series will precede it. I hope to cover sample systems on modal logic and constructive type theory in that book.  

We'll also see a reissue of Logic, Proof and Computation with code built around the S series kernel.   The old code is superannuated.

This reissue will include revised material on logic programming and resolution.
It will also include my new soundness and completeness results for the system of
first-order logic developed in LPC which is original to that book.  This
will emerge mid to late summer.

Further on, I'll issue a revised hardcopy version of the Standard Library including
for the first time a section on type secure graphics using the TCL/tk interface.
Beyond that is conjectural, but there is a lot of written material on concurrent programming and formal verification remaining to be published and this will appear in due course, but maybe not all this year.

So a lot of published material!  But the books will be short, unlike TBoS - not tomes -
and therefore relatively cheap - in the £10 region.  Not pocket busters.

So a glass, gentlemen, to a brighter year ahead.

Mark

[Joel McCracken]

Oh, I did not realize that Language, Proof, and Computation uses Shen. I look forward to reading the new version whenever it is ready.

This all sounds great, I can't wait to see all of this!

--
You received this message because you are subscribed to the Google Groups "Shen" group.
To unsubscribe from this group and stop receiving emails from it, send an email to qilang+un...@googlegroups.com.
To view this discussion on the web, visit https://groups.google.com/d/msgid/qilang/02a9c91f-88bd-4788-b4ad-6b39cd34cf8dn%40googlegroups.com.