Formal Methods in W3C Standards Talks Formal Methods in W3C Standards Add to calendar Event details Date: 19 July 2005, 00:00–00:00 Coordinated Universal Time Location: Newcastle, UK Speakers: Brian Matthews Website: Workshop on Web Languages and Formal Methods