2nd International Workshop on Design and Implementation of Formal Tools and Systems, PortlandOR, Vereinigte Staaten

<pre>WORKSHOP SCOPE DIFTS (Design and Implementation of Formal Tools and Systems) workshop emphasizes insightful experiences in formal tools and systems design&#046; The first DIFTS workshop was held in 2011&#046; It provides a forum for sharing challenges and solutions that are original with ground breaking results&#046; Often the design and implementation of tools for formal analysis require non&#8211;trivial engineering decisions&#046; Many challenges are faced, which often can only be met with ingenious implementation techniques&#046; These techniques actually play a crucial role in making the idea work in practice&#046; The workshop provides an opportunity for discussing engineering aspects and various design decisions required to put such formal tools and systems into practical use&#046; TOPICS OF INTEREST DIFTS takes a broad view of the formal tools/systems area, and solicits contributions from domains including, but not restricted to, decision procedures, verification, testing, validation, diagnosis, debugging, and synthesis&#046; This workshop encourages and appreciates system development activities, and facilitates transparency in the experimentation&#046; It will also serve as a platform to discuss open problems and future challenges in practicing formal methods&#046;</pre>