ThisvolumecontainstheproceedingsofMPC2002, thesixthinternationalc- ferenceontheMathematicsofProgramConstruction.Thisseriesofconferences aims to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing c- puter programs (whether implemented in hardware or software). The focus is ontechniquesthatcombineprecisionwith conciseness, enablingprogramsto be constructed by formal calculation. Within this theme, the scope of the series is verydiverse, including programmingmethodology, programspeci?cationand transformation,...