WORKSHOP on SEMANTICS and VERIFICATION of HARDWARE and SOFTWARE SYSTEMS

MAY 20-22, Tel Aviv University, Israel

Organized by the Israeli Ministry of Science and the French Ministry of Foreign Affairs.

AIMS

The workshop aims to provide a forum for the presentation and discussion of new ideas and results, recent developments, new research directions, as well as surveys on existing knowledge in semantics and verification of hardware and software systems.

TENTATIVE PROGRAM

ORGANIZING COMMITTEE

Alexander Rabinovich (Tel Aviv University), Chair
Gideon Ariely (Israeli Ministry of Science)
Cindy Eisner (IBM Haifa)
Orna Grumberg (Technion)
Orna Kupferman (Hebrew University)
Mooly Sagiv (Tel Aviv University)
Becky Zangelovich (Israeli Ministry of Science)

REGISTRATION

LOCATION

LATEST INFORMATION and any FURTHER INFORMATION http://www.cs.tau.ac.il/~svhss/