Logical Methods in Computer Science

Logical Methods in Computer Science, a new open-access, online, refereed journal, freely available on the web. And whose name do we see on the editorial board but Swansea’s very own type theory guru (and my personal exam team nemesis) Anton Setzer. Nice.