Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Some Photos of
[go: Go Back, main page]
ULTRA logo ULTRA group
Useful Logics, Types, Rewriting,
and Applications		 UKII logo UKII
 UK Institute of Informatics,
UK

Some Photos

  1. Bob Constable giving the banquet speech.
  2. Don Sannella's son Cailin at registration.
  3. During Coffee Break.
  4. Dirk van Dalen and his wife Dokie.
  5. A photo of Dirk van Dalen, his wife Dokie and Fairouz Kamareddine
  6. A photo of Dirk van Dalen with Gordon Plotkin
  7. A photo of Fairouz Kamareddine
  8. Another photo of Fairouz Kamareddine
  9. A photo of Gordon Plotkin and Bob Constable
  10. A photo of Henk Barendregt dancing.
  11. A photo of Inge Bethke and Jan Willem Klop.
  12. A photo of Jos Baeten and his wife Maria.
  13. A photo of Mariangola Dezani with Fairouz Kamareddine
  14. A photo of Mariangola Dezani with Pawel Urzyczyn
  15. A photo of Mariangola Dezani
  16. A photo of Pawel Urzyczyn