15 oktober 2009 - The American computer scientist E. Allen Emerson, who in 2007 won the Turing Award -also known as the Nobel Prize for computer science- will on 4 November present a lecture within the context of the Formal Methods week (‘FM week’). From 2 thru 6 November TU/e is organizing the FM week, which with a thousand expected visitors is the greatest event in the world in this specialist field.Software errors cost the global economy a great deal of money and occasionally even pose a threat to security. Many of these complications can be prevented with ‘formal methods’: ICT tools that help untangle major software problems. For more information about the FM week: www.win.tue.nl/fmweek. (JH/TJ)