MPC 2002
\| Home \| Programme \| Workshops \| Venue \| Contacts \|

MPC 2002 Programme

The authors have provided some extra materials which are included below; for abstracts and (LINK password needed) full papers, see the online version of the proceedings (Springer).

Dexter Kozen: Some Results in Dynamic Model Theory (invited talk)
J. von Wright: From Kleene Algebra to Refinement Algebra
Juan Eduardo Duran: Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications (not presented)
Yanhong A. Liu, Fuxiang Yu: Solving Regular Path Queries
Wim H. Hesselink: Eternity Variables to Simulate Specifications (slides, corrected paper, extended paper (draft))
Ian J. Hayes: Reasoning about Timeouts
Marieke Huisman: Verification of Java's AbstractCollection class: a case study (slides)
Robert Giegerich: Algebraic Dynamic Programming (invited talk) (El Mamun's Caravan, ADP-homepage)
Ralf Hinze: Constructing tournament representations: An exercise in pointwise relational programming (slides)
Shin-Cheng Mu, Richard Bird: Inverting Functions as Folds
William Harrison, Tim Sheard, James Hook: Fine Control of Demand in Haskell
Jeannette Wing: Mathematics in Computer Science Curricula (invited talk)
Kevin Backhouse, Roland Backhouse: Logical Relations and Galois Connections
Ralf Hinze, Johan Jeuring, Andres Loeh: Type-indexed data types

	webpages hosted by Computer Science @ Kent

	Contact the MPC Webmaster Last Updated: 30 May, 2002 11:30 Web Address: