Module: ppl/w3ppl Branch: master Commit: 31508eeda0c31d39daf63c8b667c3f761737d5b2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=31508eeda0c...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Nov 13 08:30:17 2009 +0100

Updated Pat's home page.

---

htdocs/About/About.raw | 6 +++--- htdocs/Contribute/Contribute.raw | 2 +- htdocs/Credits/Credits.raw | 4 ++-- htdocs/seminars_2003_2004.raw | 2 +- 4 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/htdocs/About/About.raw b/htdocs/About/About.raw index d79c341..cb8c39e 100644 --- a/htdocs/About/About.raw +++ b/htdocs/About/About.raw @@ -68,7 +68,7 @@ She worked on the documentation of the library.

<P> Since the beginning of June 2001 -<A HREF="http://www.comp.leeds.ac.uk/hill/">Patricia M. Hill</A> +<A HREF="http://www.cs.unipr.it/~hill/">Patricia M. Hill</A> joined the effort and has been, since then, part of the stable development team.

@@ -178,7 +178,7 @@ releases of the library.

After investigating previous work on a domain called Z-polyhedra [<A HREF="@BASE_DIR@Documentation/bibliography#Ancourt91th">Anc91</A>], -<A HREF = "http://www.comp.leeds.ac.uk/hill/">Pat Hill</A> +<A HREF = "http://www.cs.unipr.it/~hill/">Patricia Hill</A> began a project aimed at the development of a domain of grids, a generalization of the well-known lattice domain.

@@ -187,7 +187,7 @@ In October 2003, <A HREF = "http://www.comp.leeds.ac.uk/katyd/">Katy Dobson</A> started work as a research student at the University of Leeds under the supervision of -<A HREF = "http://www.comp.leeds.ac.uk/hill/">Pat Hill</A> +<A HREF = "http://www.cs.unipr.it/~hill/">Patricia Hill</A> to work on the representation of the Grid Domain and algorithms needed for the main operators on this domain.

diff --git a/htdocs/Contribute/Contribute.raw b/htdocs/Contribute/Contribute.raw index bb0cbf7..dc18070 100644 --- a/htdocs/Contribute/Contribute.raw +++ b/htdocs/Contribute/Contribute.raw @@ -188,7 +188,7 @@ progetto a Leeds sotto la direzione di Patricia Hill (vedi oltre).

If you are a student of the University of Leeds and you think that a thesis or project may interest you, please get in touch with -<A HREF="http://www.comp.leeds.ac.uk/hill/">Patricia M. Hill</A>. +<A HREF="http://www.cs.unipr.it/~hill/">Patricia M. Hill</A>. If you would like to spend some time abroad, then why not consider a year in Parma? There is now an <EM>Erasmus</EM> link between the Universities of diff --git a/htdocs/Credits/Credits.raw b/htdocs/Credits/Credits.raw index 1994a42..a824435 100644 --- a/htdocs/Credits/Credits.raw +++ b/htdocs/Credits/Credits.raw @@ -20,8 +20,8 @@ maintained and improved by the following people: (University of Parma) </LI> <LI> - <A HREF="http://www.comp.leeds.ac.uk/hill/">Patricia M. Hill</A> - (University of Leeds) + <A HREF="http://www.cs.unipr.it/~hill/">Patricia M. Hill</A> + (University of Parma) </LI> <LI> <A HREF="http://www.cs.unipr.it/~zaffanella/">Enea Zaffanella</A> diff --git a/htdocs/seminars_2003_2004.raw b/htdocs/seminars_2003_2004.raw index 34f41af..5eda361 100644 --- a/htdocs/seminars_2003_2004.raw +++ b/htdocs/seminars_2003_2004.raw @@ -61,7 +61,7 @@ Convexity Recognition of the Union of Polyhedra</A></EM>.

<DT>November 19, 2003</DT> <DD> -<A HREF="http://www.comp.leeds.ac.uk/hill/"> +<A HREF="http://www.cs.unipr.it/~hill/"> Dr. Patricia M. Hill</A><BR> <EM><A HREF="http://www.cs.unipr.it/Seminars/2003/PMHill20031119"> Discrete Numerical Domains for the Analysis of Software</A></EM>.