If you are looking for my web page - it's gone. I don't teach in D.C.U. anymore. I'm going to U.C.D. ( N.U.I., Dublin ) to work with Tony Veale in January 2003. This page will stay up until I link to my new pages in U.C.D.

My email: jer.hayes [ no spam ] @ computing.dcu. ie should still work if you need to contact me.

For any questions about the Logic Course please see Alistar Sutherland.

Thanks to Josef Van Genabith for supervising me over the last few years and to everyone at D.C.U. who has made my tenuous stay enjoyable.