Helmut Veith (1971-2016)

My friend and colleague Helmut Veith died yesterday.  His death is a great and shocking loss to his family and friends, and the logic community, especially in Austria.

We need more people like him. I miss him.

• TU Vienna obituary in German and English.
• A scholarship fund in Helmut’s honour is being set up.  Contributions to the Helmut Veith Award can be made to “Zentrum für Informatikforschung”, IBAN: AT36 1200 0515 8258 2701, BIC: BKAUATWW, reference: “Helmut Veith Award”

Two exciting new things from the Open Logic Project. The first one is another sample textbook. I’ve previously written about how to get your textbook to print, and for my course “Logic II (Phil 379)” this term, I’ve done that. Properly: perfect bound paperbacks, with a nice cover, proper front and back matter, professional illustrations, and an (I think) appealing book design. The source for generating it is on GitHub (of course): github.com/rzach/phil379. If you want to compile it, just clone that repository into the courses/ subdirectory of your local OLP clone. It should compile out of the box.  There are three files you can compile: phil379-screen.tex makes a multi-color PDF suitable for on-screen reading; phil379-print.tex makes a black-and-white PDF suitable for printing via lulu.com.  The third is cover-lulu-quarto.tex, which generates the PDF lulu.com uses for the cover. You can see the product on the builds site:
The second exciting thing is that we’ve started to put photos of logicians into the text. Right now, they’re imported into the biographies. The photos themselves are not in the main repository, however. We have a separate repository for them: github.com/OpenLogicProject/photos. We’ve separated them because (a) the licensing issues are more complicated: some of the photos are under copyright, and we wanted everything in the main repository to be available under a Creative Commons license; (b) the main repository would become very large if it included all these pictures. To use the pictures, clone the photos repository into the assets/ subdirectory of your local OLP clone. (If the files aren’t there, the biographies including them will happily compile but leave out the photos.) There’s a PDF with all the photos also on the build site.