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 Edinburgh (5-16/4/2000)Festival Workshop in Foundations and Computations
Heriot-Watt University, Edinburgh
Sunday 16 July-Tuesday 18 July 2000
ULTRA group Useful Logics, Types, Rewriting,
and Applications
This is Roger Hindley, Jonathan Seldin, Catherine Piliere and
Ade Azurat, the second foto is Fairouz Kamareddine
This is Cesar Munoz during his lecture
This is Iain Stewart during his lecture
Attentive participants
Assaf Kfoury and Joe Wells at Edinburgh airport
Gopalan Nadathur during his lecture
Jacques Fleuriot during his lecture
Coffee breaks
Jan van Eijck during his lecture
Therese Hardin during her lecture
Eleni Spiliopoulou during her lecture
Alan Mycroft during his lecture
Catherine Piliere during her lecture
During Banquet
Roger Hindley during his lecture
Gilles Dowek during his lecture
Jonathan Seldinb during his lecture
Yoko Motohama after her lecture
Sarah Rees during her lecture
Massimo Felici during his lecture and Laura Crosilla after her lecture
Last evening of workshop