Janet Casey wrote:

Can you tell me ehat the current homepage is for PPL, please?

Yes, it is always the same: http://www.cs.unipr.it/ppl/ All the best, Roberto P.S. I don't know if this is related to your question, but we have been disconnected from the Internet for the bigger part of the last 24 hours. -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it