Outline of Future Activities

Among the projects which are ready for a more technical consolidation of previous theoretical developments we consider the construction of a tool suit for various abstraction and deductive verification technique centered around a PVS-based temporal deductive systems and the components representing the TLV, TLV[P] tools and the CVT equality-logic solver. Another project in which we are ready to enter an implementation phase is the translation-validation of optimizing compilers in which we have accumulated various verification approaches but need an implementation effort to see how these approaches work in practice.

The only activity in which we are lagging behind is the organization of workshops, in particular workshops which will bring together Israeli and German scientists on topics which are of common interest to the scientific communities of both countries. A partial reason for this shortcoming is the current and completely unanticipated political situation which foiled our original plans to host such a workshop in Spring 2000. To correct the situation we will get into an intensive effort of organizing such a meeting in Germany, possibly cooperating with the plans for the coming workshops of FTRTFT'02 and the working conference of the IFIPS working group WG2.2 on ``Formal Concepts in Programming Languages''. In parallel, we will also explore other options for holding such a meeting in Germany, e.g. in Dagstuhl.

Dept. of Computer Science and Applied Math The Weizmann Institute of Science Rehovot 76100, Israel TelePhone: +972-8-934-3434 Telefax: +972-8-934-4122 To comment on this service, send feedback to the Nir Piterman