Jifeng He is an outstanding computer scientist. He was born on August 5, 1943,
in Shanghai, China. In his long academic career, he has made significant and
wide-ranging contributions to the theories of programming and formal software
engineering methods. To celebrate his 70th birthday, we present three LNCS
volumes in his honor.
• Theories of Programming and Formal Methods. Essays Dedicated to Jifeng
He on the Occasion of His 70th Birthday. Papers presented at a symposium
held in Shanghai, September 1–3, 2013. LNCS volume 8051, Springer 2013.
• Unifying Theories of Programming and Formal Engineering Methods. International
Training School on Software Engineering, Shanghai, China, August
26–30, 2013. Advanced Lectures, LNCS volume 8050, Springer 2013.
• Theoretical Aspects of Computing – ICTAC 2013. The 10th International
Colloquium, Shanghai, China, September 4–6, 2013. Proceedings, LNCS volume
8049, Springer 2013.