The latest issue of the e-journal, Electronic Notes in Theoretical Computer Science, has a nice summary articleÂ by Michael Huth onÂ his workÂ using topology for computer program semantics (vol. 161, pp. 3–23, 2006).
Logician Solomon Feferman, who did his PhD under Alfred Tarski, has just written a short article on Tarski’s influence on computer science.Â It seems that this influence was wider than just that between cylindrical algebras and relational database theory.
Alerted by a post of sigfpe, I learnt about George Spencer-Brown’s 1972 book Laws of Form.Â Reading Louis Kauffman’s accountÂ of the theory, I was struck by the similarity to Robin Milner‘s theory of bigraphs (see here for papers).Â FromÂ a talk I heard him give a few years ago, I believe that Milner’s theory wasÂ originally intended as a rigorous category-theoretic account of hyperlinks in computer networks.Â Has anyone explored the connections between these two mathematical theories?
Statisticians among us may be interested in Gapminder, free data visualization software from Sweden developed originally to assist in communicating information about global development. The software makes use of web animation tools such as Flash.
The latest issue of Plus Magazine is now out, with articles about Godel and NASA.
The University of Liverpool (UK) has a vacancy for a post-doc researcher and for a PhD student, both in automated mechanism design. The expertise we are looking for includes game theory, mechanism design and auction theory, mathematical economics, and computational versions of same.Â These posts are part of a major UK research project on market-based control of complex computational systems.
For readers in the UK, the London Mathematical Society (LMS) is offering two lectures on popular mathematics in LondonÂ and Birmingham this summer.Â Â
The AMS has a new page devoted to mathematics and art.
Plus Magazine has a competition for new writers about mathematical subjects.