1

Logic and Computation in the Real World: CiE 2007

E-Article
2

Revision Sequences and Computers with an Infinite Amount of Time

E-Article
3

Logical Approaches to Computational Barriers: CiE 2006

E-Article
4

Computability in Europe 2008

E-Article
5

The Extent of Constructive Game Labellings

E-Article
6

Computability in Europe 2009

E-Article