Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop