Open License Society ______Only software can be perfect

The ATC (Automotive Tcehnology Centre) in Eindhoven organsies a specific workshop on the use of formal methods specifically for the design of complex systems. Speakers are Ed Brinksma and Jan Trestma of the Embedded Systems Institute, Eric Verhulst of Open License Society and Guy Broadfoot of Verum. Date and time: 1st february from 1200 till 1700. Place: see ATC website

Last minute info: the workshop is postponed until further notice.