9th Workshop on
Everything you always wanted to know about the future combination of object-oriented programming, modeling, and verification
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:
If you wish to attend the workshop, but are not an author, PC member or organizer, please ask one of the organizer co-chairs (John Boyland or Erik Poll). You should also state your intention while registering for ECOOP.
We intend to invite selected papers for a special journal issue as a follow-up to the workshop, as has been done for some previous FTfJP workshops.
Last modified: July 5, email@example.com