I’m currently in Plzen (Czech Republic) having a good time at the ESCO 2016 conference. In my talk on the subject of Implementing Mathematics: Domain-Specific Languages and Automated Computing, I gave an overview of FEniCS and talked about how we’re doing things all wrong by trying to implement clever algorithms to obfuscate mathematics into long strings of computer code.
As a side note, the pilsner here in Plzen is quite alright.
Pilsner