Online Computation And Logic In The Real World Third Conference On Computability In Europe Cie 2007 Siena Italy June 18 23 2007 Proceedings 2007