Logical Methods in Computer Science

Spotted in Lambda the Ultimate - Programming Languages Weblog

This is the trend of the future, by-passing the big publishers