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

[Peter O'Hearn]

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
   http://www.dcs.qmul.ac.uk/~ohearn/DSE-Workshop/etaps05.html

and registration is on
   https://www.etaps05.inf.ed.ac.uk/Registration

Peter O'Hearn