Call for Contributions FTfJP 2008 10th Workshop on Formal Techniques for Java-like Programs in conjunction with ECOOP 2008 July 8, 2008 (Paphos, Cyprus) http://www-sop.inria.fr/everest/events/FTfJP08/ SCOPE Formal techniques can help analyze programs, precisely describe program behavior, and verify program properties. Newer languages such as Java and C# provide good platforms to bridge the gap between formal techniques and practical program development, because of their reasonably clear semantics and standardized libraries. Moreover, these languages are interesting targets for formal techniques, because the novel paradigm for program deployment introduced with Java, with its improved portability and mobility, opens up new possibilities for abuse and causes concern about security. Work on formal techniques and tools for programs and work on the formal underpinnings of programming languages themselves naturally complement each other. This workshop aims to bring together people working in both these fields, on topics such as: - specification techniques and interface specification languages, - specification of software components and library packages, - automated checking and verification of program properties, - verification logics, - language semantics, - type systems, - security. CONTRIBUTIONS Contributions are sought on open questions, new developments, or interesting new applications of formal techniques in the context of Java or similar languages, such as C#. Contributions should not merely present completely finished work, but also raise challenging open problems or propose speculative new approaches. We plan to have a special ``exciting ideas'' session during the workshop, where challenges, new ideas, open problems and speculative solutions will be presented, with extra room for discussion. Submissions must be in English and are limited to 10 pages using LNCS style (excluding bibliography). Notice that we explicitly also encourage the submission of short papers (of 4 - 6 pages, especially for the ``exciting ideas'' session). Papers must be submitted electronically via the workshop website: http://www-sop.inria.fr/everest/events/FTfJP08/ All contributions will be formally reviewed, for originality, relevance, focus of the workshop, and the potential to generate interesting discussions. PUBLICATION Informal proceedings will be made available to workshop participants. Papers will also be available from the workshop web page. There will be no formal publication of papers. Depending on the nature of the contributions, we may be organizing a special journal issue as a follow-up to the workshop, as has been done for some previous FTfJP workshops. IMPORTANT DATES April 23, 2008 Deadline for submission of abstract April 30, 2008 Deadline for submission of full paper May 26, 2008 Notification June 1, 2008 Deadline for early registration to ECOOP '08 June 9, 2008 Deadline for final version of paper for informal proceedings July 8, 2008 Workshop Workshop Web Site: http://www.cs.ru.nl/ftfjp PROGRAM COMMITTEE Elvira Albert, Complutense University of Madrid, Spain Cyrille Artho, RCIS/AIST, Japan Anindya Banerjee, Kansas State University, USA Mike Barnett, Microsoft Research, Redmond, USA Amy Felty, University of Ottawa, Canada Paola Giannini, University of Eastern Piedmont, Italy Rene Rydhof Hansen, Aalborg University, Denmark Marieke Huisman, INRIA Sophia Antipolis, France (chair) Atsushi Igarashi, Kyoto University, Japan Bart Jacobs, University of Leuven, Belgium Gerwin Klein, National ICT Australia, Australia Neelakantan R. Krishnaswami, Carnegie Mellon University, USA Matthew Parkinson, University of Cambridge, UK Arnd Poetzsch-Heffter, University of Kaiserslautern, Germany Tobias Wrigstad, Purdue University, USA Organizers Marieke Huisman, INRIA Sophia Antipolis, France (chair) Sophia Drossopoulou, Imperial College London, UK Susan Eisenbach, Imperial College London, UK Gary T. Leavens, University of Central Florida, USA Peter Mueller, Microsoft Research, Redmond, USA Arnd Poetzsch-Heffter, University of Kaiserslautern, Germany Erik Poll, Radboud University Nijmegen, Netherlands For more information, send email to Marieke Huisman: Marieke.Huisman@sophia.inria.fr