Preface This report contains the papers presented at FTfJP ’07: 9th workshop on Formal Techniques for Java-like Programs held on July 31st, 2007 in Berlin, Germany. This workshop is the ninth in a series of workshops aimed at applying formal techniques to extant modern object-oriented languages. Newer languages such as Java and C# provide good platforms to bridge the gap between formal tech- niques and practical program development, because of their reasonably clear semantics and standardized libraries. It is our hope that this workshop will en- courage the further deployment of well-considered formal techniques. To that end, this year’s workshop included a panel discussion on progress in this area. There were 20 submissions. Each submission was reviewed by at least 3 pro- gramme committee members. The committee decided to accept 9 papers. I thank the providers of EasyChair which made chairing the workshop much easier than if I had to do everything myself, especially while temporarily residing in China. Thanks also to the programme committee members who put in a lot of work in a very tight reviewing schedule, and for the productive round-the-globe email discussion. I thank Nanjing University and the State Key Laboratory for Novel Software Technology for hosting my stay in China and helping put together this technical report. John Boyland Nanjing University, China University of Wisconsin-Milwaukee July 2007