[TYPES] ETAPS Workshop on the Grand Challenge of Software Verification

Peter O'Hearn ohearn at dcs.qmul.ac.uk
Sun Feb 20 08:03:52 EST 2005

This is an announcement of

Workshop on a Grand Challenge in Software Verification: Theory and 
Language Technology
ETAPS Workshop

The workshop will be held on Sunday 3 April, in Edinburgh.

The speakers are

   Bernard Steffen (Dortmund)
   Eric Poll (Nijmegen)
   Andrew Ireland (Heriot-Watt)
   David Naumann (Stevens)
   Richard Bornat (Middlesex)
   Martin Rinard (MIT)
   Jakob Rehof (Microsoft)

Further information on the workshop can be found on

and registration is on

Peter O'Hearn

More information about the Types-list mailing list