Festival Workshop in Foundations and Computations

Heriot-Watt University, Edinburgh

Sunday 16 July-Tuesday 18 July 2000

ULTRA logo ULTRA group
Useful Logics, Types, Rewriting,
and Applications
UKII logo UKII
UK Institute of Informatics,
UK
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