Dr David Hales Dept. of Computer Science University of Szeged H-6701 Szeged, P.O. Box 652 Hungary

Email: dave (at) davidhales.com Web: www.davidhales.com Tel: +44 (0) 208 133 4466 (Global, skype-in with voicemail)