|
|
|
-
Member of the Program Committee for the 20th International Symposium on
Logic-Based Program Synthesis and Transformation
LOPSTR 2010 .
-
Co-programme chair for the
25th International Conference for Logic Programming
ICLP 2009; Pasadena, California; July 14-17, 2009;
-
Co-chair and co-organizer for the 17'th Workshop on
Logic-based methods in Programming Environments
WLPE'07; Porto, Protugal; September 13, 2007;
a satellite workshop of ICLP'07 .
-
Member of the Program Committee for
ICLP 2007 the 23rd International Conference on Logic Programming.
-
Member of the Program Committee for
WLPE'06.
-
Member of the Program Committee for
LOPSTR'06.
-
Program Chair for LOPSTR'05,
held in Imperial College, London, September 2005.
-
Member of the Program Committee for
ICLP 2005 .
-
Member of the Program Committee for
LOPSTR'04 and also LOPSTR in 2001, 2000, 1999.
-
Co-organiser of the International
Summer School on Computational Logic in Maratea, Italy
from the 24th - 30th August 2002.
-
Member of the Program Committee for ICLP01 -
International Conference on Logic programming
-
Co-organiser of the International
Workshop on Component-based Software Development in Computational Logic
(COCL'98).
-
Workshop/tutorial chair for the 1998
Joint International Conference and Symposium on Logic Programming.
-
Organiser (with Antonio Brogi)
of Logic-Based Composition
of Software (LOCOS), a Post Conference Workshop for ICLP'97.
-
Organiser (with Andy
King and John Gallagher)
of the Workshop on
Constraint Programming for Reasoning about Programming (CPP'97).
-
Treasurer for
The Association for Logic Programming (ALP).
-
From 1998 to 2001,
the Editor of the
ALP Newsletter.
Brief CV
I am a Senior Research Fellow in the Computational Logic Group at the University
of Leeds. I hold a B.Sc in Pure and Applied Maths from University of Bristol,
and a PhD in Combinatorial Group Theory from the Open University at Milton
Keynes. Since 1986 have been researching in Logic Programming. I worked
at Bristol before moving to Leeds in 1990.
My picture
a recent picture
Contact details:
School of Computing
University of Leeds
Leeds LS2 9JT, ENGLAND.
Email: p.m.hill (at) leeds (dot) ac (dot) uk
Fax: +44 (0)113 343 5468
Time in:
Leeds ,
Italy
and New Zealand
|
