Monthly Archives: May 2017

3 posts

Debian/TeX Live 2017 is ready

TeX Live 2017 is expected to be released next week, and the Debian packages for it are already uploaded to the Debian servers. Time to prepare for release parties and stack up prosecco! I have uploaded all the packages matching with the planned release of TeX Live 2017 to Debian/experimental, and most of them should be already available there. texlive-extra […]

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author

Gaisi Takeuti, 1926-2017

Two days ago one of the most influential logician of the 20th century has passed away, Gaisi Takeuti (竹内 外史). I had the pleasure to meet this excellent man, teacher, writer, thinker several times while he was the president of the Kurt Gödel Society. I don’t want to recall his achievements in mathematical logic, in particular proof theory, because I […]

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author
BachoTeX conference photo

BachoTeX 2017

A week of typesetting, typography, bookbinding, bibliophily, not to forget long chats with good friends and loads of beer. That is BachoTeX, the best series of conferences I have ever been. This year BachoTeX was held for the 25th time, and was merged with the TUG Meeting for a firework of excellent presentations and long hours of brain storming, hacking, […]

Email this to someonePrint this pageShare on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInFlattr the author