Online Logic Language Information And Computation 15Th International Workshop Wollic 2008 Edinburgh Uk July 1 4 2008 Proceedings 2008